Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach

By Emilia Villani, Robert Valette, Paulo Eigi Miyagi

Book Overview

"Modelling and Analysis of Hybrid Supervisory Systems" introduces a modelling formalism that merges Petri nets, differential equation systems and object-oriented methods; a formalism that is adequate for modelling complex and large-scale systems. To guide the designer and conduct hybrid modelling, the book describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The method is mainly based on UML diagrams, well-known tools in both academia and industry. In order to ensure that the supervisory system will behave as expected, a validation procedure that allows verification of the formal properties of the hybrid model is presented.

In building a bridge between what is developed in academic research and what is available to the industrial professional, this monograph places particular emphasis on the description of real-world examples; three of these - an HVAC management system, a landing system and a cane-sugar factory - are discussed at length.

• Format: Paperback
• Language: English
• ISBN: 1849966370
• ISBN13: 9781849966375
• Release Date: October 2010
• Publisher: Springer
• Length: 226 Pages
• Weight: 0.78 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"