Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Modelling and Analysis of Hybrid Supervisory Systems (eBook)

A Petri Net Approach
eBook Download: PDF
2007 | 2007
XXII, 226 Seiten
Springer London (Verlag)
978-1-84628-651-3 (ISBN)

Lese- und Medienproben

Modelling and Analysis of Hybrid Supervisory Systems - Emilia Villani, Paulo Eigi Miyagi, Robert Valette
Systemvoraussetzungen
96,29 inkl. MwSt
(CHF 93,95)
Der eBook-Verkauf erfolgt durch die Lehmanns Media GmbH (Berlin) zum Preis in Euro inkl. MwSt.
  • Download sofort lieferbar
  • Zahlungsarten anzeigen

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.



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.


"e;Modelling and Analysis of Hybrid Supervisory Systems"e; 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.

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.

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.

Erscheint lt. Verlag 18.5.2007
Reihe/Serie Advances in Industrial Control
Advances in Industrial Control
Zusatzinfo XXII, 226 p.
Verlagsort London
Sprache englisch
Themenwelt Mathematik / Informatik Informatik
Technik Elektrotechnik / Energietechnik
Technik Maschinenbau
Technik Nachrichtentechnik
Schlagworte Automation • Bridge • Communication • Control • Control Applications • control engineering • Hybrid Systems • Information • Networks • Petri Nets • supervisory control • Supervisory Systems • System Analysis
ISBN-10 1-84628-651-4 / 1846286514
ISBN-13 978-1-84628-651-3 / 9781846286513
Haben Sie eine Frage zum Produkt?
PDFPDF (Wasserzeichen)
Größe: 3,4 MB

DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasser­zeichen und ist damit für Sie persona­lisiert. Bei einer missbräuch­lichen Weiter­gabe des eBooks an Dritte ist eine Rück­ver­folgung an die Quelle möglich.

Dateiformat: PDF (Portable Document Format)
Mit einem festen Seiten­layout eignet sich die PDF besonders für Fach­bücher mit Spalten, Tabellen und Abbild­ungen. Eine PDF kann auf fast allen Geräten ange­zeigt werden, ist aber für kleine Displays (Smart­phone, eReader) nur einge­schränkt geeignet.

Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.

Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.

Mehr entdecken
aus dem Bereich
Konzepte, Methoden, Lösungen und Arbeitshilfen für die Praxis

von Ernst Tiemeyer

eBook Download (2023)
Carl Hanser Verlag GmbH & Co. KG
CHF 68,35
Konzepte, Methoden, Lösungen und Arbeitshilfen für die Praxis

von Ernst Tiemeyer

eBook Download (2023)
Carl Hanser Verlag GmbH & Co. KG
CHF 68,35
Der Weg zur professionellen Vektorgrafik

von Uwe Schöler

eBook Download (2024)
Carl Hanser Verlag GmbH & Co. KG
CHF 29,30