Weitere Formate
Autorenfreundlich Bücher kaufen?!
Beschreibung
"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.
A Petri Net Approach
A Petri Net Approach
Details
| Verlag | Springer London |
| Ersterscheinung | 21. Oktober 2010 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 382 Gramm |
| Format | Softcover |
| ISBN-13 | 9781849966375 |
| Auflage | Softcover reprint of hardcover 1st ed. 2007 |
| Seiten | 226 |
Schlagwörter
Herstellerinformationen
Bekannt durch
