Modelling and Analysis of Hybrid Supervisory Systems
Autor: | Miyagi, Paulo Eigi Valette, Robert Villani, Emilia |
---|---|
EAN: | 9781846286506 |
Sachgruppe: | Technik |
Sprache: | Englisch |
Seitenzahl: | 248 |
Produktart: | Gebunden |
Veröffentlichungsdatum: | 02.01.2007 |
Untertitel: | A Petri Net Approach |
Schlagworte: | Automation - Automatisierung Petri-Netz Steuerung (elektronisch) |
106,99 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
"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.