Modelling and Analysis of Hybrid Supervisory Systems
Produktnummer:
183cc26551be5943cf8ced636a60d56e3c
| Autor: | Miyagi, Paulo Eigi Valette, Robert Villani, Emilia |
|---|---|
| Themengebiete: | Automation Bridge Control Control Applications Control Engineering Hybrid Systems Information Networks Petri Nets Supervisory Control |
| Veröffentlichungsdatum: | 21.10.2010 |
| EAN: | 9781849966375 |
| Sprache: | Englisch |
| Seitenzahl: | 226 |
| Produktart: | Kartoniert / Broschiert |
| Verlag: | Springer London |
| Untertitel: | A Petri Net Approach |
Produktinformationen "Modelling and Analysis of Hybrid Supervisory Systems"
"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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen