This book introduces a formalism for modeling complex and large-scale systems that merges Petri nets, differential equation systems, and object-oriented methods. It describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The book also presents a validation procedure that allows verification of the formal properties of the hybrid model.Sequence diagram for the use case a#39;Begin alarm procedurea#39; a HVAC System A The activity and sequence diagrams provide the identification of the methods and attributes of each class, which are presented in Fig. 5.8 for HVAC System A. Inanbsp;...
|Title||:||Modelling and Analysis of Hybrid Supervisory Systems|
|Author||:||Emilia Villani, Paulo Eigi Miyagi, Robert Valette|
|Publisher||:||Springer Science & Business Media - 2007-05-18|