Modelling and Analysis of Hybrid Supervisory Systems
A Petri Net Approach
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
Fr. 240.90
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Modelling and Analysis of Hybrid Supervisory Systems “
Klappentext zu „Modelling and Analysis of Hybrid Supervisory Systems “
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.
Inhaltsverzeichnis zu „Modelling and Analysis of Hybrid Supervisory Systems “
Modelling of Hybrid Systems.- Development of the Supervisory System.- Hybrid System Analysis.- Application 1: HVAC System.- Application 2: Landing System.- Application 3: Cane Sugar Factory.- Conclusion and Research Topics.
Autoren-Porträt von Emilia Villani, Robert Valette, Paulo Eigi Miyagi
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.
Bibliographische Angaben
- Autoren: Emilia Villani , Robert Valette , Paulo Eigi Miyagi
- 2007, 248 Seiten, Masse: 16 x 24,1 cm, Gebunden, Englisch
- Verlag: Springer, London
- ISBN-10: 1846286506
- ISBN-13: 9781846286506
- Erscheinungsdatum: 02.01.2007
Sprache:
Englisch
Rezension zu „Modelling and Analysis of Hybrid Supervisory Systems “
From the reviews:
Kommentar zu "Modelling and Analysis of Hybrid Supervisory Systems"
0 Gebrauchte Artikel zu „Modelling and Analysis of Hybrid Supervisory Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Modelling and Analysis of Hybrid Supervisory Systems".
Kommentar verfassen