×

zbMATH — the first resource for mathematics

Modelling and analysis of hybrid supervisory systems. A Petri net approach. (English) Zbl 1132.93001
Advances in Industrial Control. London: Springer (ISBN 978-1-84628-650-6/hbk). xxi, 224 p. (2007).
The book presents a unified approach to analysis and modeling of hybrid systems understood as those dynamics of which should be described by state variables of both continuous and discrete nature. The continuous variables are used to model standard process dynamics while the discrete ones are modified by abrupt changes in the dynamics. These changes may have origin in discontinuities of the plant behavior, discontinuities in measured variables, discontinuities in actuator signals and discontinuities in the control laws. The time intervals related to permanence in the discrete states i.e. the time between sequential changes are usually functions of system parameters and variables. To model the hybrid systems the authors propose a new formalism called object oriented differential predicate transition nets which are based on the application of the object-oriented paradigm to the differential predicate transition nets. In other words the object oriented differential predicate transition nets incorporate system decomposition and subsystem interactions into the Petri-nets with places associated with sets of differential equations. The authors define hybrid supervisory systems as a special class of information systems and propose to use the unified modeling language diagrams for building the object oriented differential predicate transition net model for such systems. The efficiency of the proposed approach is demonstrated by three complex examples of hybrid systems: heating ventilation and air conditioning system, aircraft landing system and cane sugar production system. The book is clearly written and may be directed to students, researchers and academic staff as well as to industrial professionals working in this area.
MSC:
93-02 Research exposition (monographs, survey articles) pertaining to systems and control theory
93-03 History of systems and control theory
93C65 Discrete event control/observation systems
94C15 Applications of graph theory to circuits and networks
93A13 Hierarchical systems
90B30 Production models
90B50 Management decision making, including multiple objectives
Software:
Uppaal2k
PDF BibTeX XML Cite