Modelling and analysis of hybrid supervisory systems : a petri net approach
Author(s)
Bibliographic Information
Modelling and analysis of hybrid supervisory systems : a petri net approach
（Advances in industrial control）
Springer-Verlag, c2007
- : hbk
- : [ebook]
Available at 3 libraries
Note
Includes bibliographical references (p. [213]-216) and index
Description and Table of Contents
Description
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.
Table of Contents
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.
by "Nielsen BookData"