Authors:
- Provides the reader with a viable approach for modelling supervisory systems dealing with a mixture of discrete- and continuous-event systems
- Demonstrates in depth how a fusion of the ideas of Petri nets, differential equations and object orientation can be used to improve the performance of three real-world plant systems
- Includes supplementary material: sn.pub/extras
Part of the book series: Advances in Industrial Control (AIC)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (8 chapters)
-
Front Matter
-
Back Matter
About this book
"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.
Reviews
From the reviews:
"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. … is clearly written and may be directed to students, researchers and academic staff as well as to industrial professionals working in this area." (A. Šwierniak, Zentralblatt MATH, Vol. 1132 (10), 2008)
Authors and Affiliations
-
Divisão de Engenharia Mecânica-Aeronáutica, Instituto Tecnológico de Aeronáutica, São José dos Campos (SP), Brazil
Emilia Villani
-
Escola Politécnica, University of São Paulo, São Paulo (SP), Brazil
Paulo E. Miyagi
-
Laboratoire Analyse et Architecture des Systèmes (LAAS), CNRS, Toulouse Cedex 4, France
Robert Valette
About the authors
Emilia Villani received her PhD degree from the University of São Paulo, Brazil, in 2004. She is currently an Assistant Professor at Instituto Tecnologico de Aeronautica. Her area of work is Industrial Automation.
Paulo Eigi Miyagi received his Dr.Eng. degree from Tokyo Institute of Technology, Japan, in 1988 and L.Doc. degree from the University of Sao Paulo, Brazil, in 1993. He is currently a Professor at Escola Politécnica, the University of Sao Paulo, Brazil. His area of work is Mechatronics Systems and Industrial Automation.
Robert Valette received his PhD degree from LAAS-CNRS and Université Paul Sabatier, Toulouse, France, 1971. "Docteur d'État" from LAAS-CNRS and Université Paul Sabatier, Toulouse, France, 1976. Currently "Directeur de Recherche" (Chief senior researcher) at LAAS-CNRS and supervisor for real-time and critical embedded system training within the Doctoral School (École Doctorale) EDSYS, a common organization of Université Paul Sabatier, INSA and École Supérieure de l'Aéronautique et de l'Espace in Toulouse. After many years devoted to the study of Discrete Event Systems represented by Petri nets and their application to the local and supervisory control of manufacturing systems Robert Valette's interest currently focuses on critical embedded systems. This involves the formal verification of properties of discrete event systems with timeliness constraints and, when the behaviour of the physical system controlled by computer has to be taken into account, the formal verification of properties of hybrid systems.
Bibliographic Information
Book Title: Modelling and Analysis of Hybrid Supervisory Systems
Book Subtitle: A Petri Net Approach
Authors: Emilia Villani, Paulo E. Miyagi, Robert Valette
Series Title: Advances in Industrial Control
DOI: https://doi.org/10.1007/978-1-84628-651-3
Publisher: Springer London
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer-Verlag London 2007
Hardcover ISBN: 978-1-84628-650-6Published: 02 January 2007
Softcover ISBN: 978-1-84996-637-5Published: 21 October 2010
eBook ISBN: 978-1-84628-651-3Published: 18 May 2007
Series ISSN: 1430-9491
Series E-ISSN: 2193-1577
Edition Number: 1
Number of Pages: XXII, 226
Topics: Control and Systems Theory, Computer Systems Organization and Communication Networks, Communications Engineering, Networks, Control, Robotics, Mechatronics, Computer Communication Networks