Emilia Villani,
Paulo Eigi Miyagi,
Robert Valette
Springer London
0e druk, 2010
9781849966375
Modelling and Analysis of Hybrid Supervisory Systems
A Petri Net Approach
Specificaties
Paperback, 226 blz.
|
Engels
Springer London |
0e druk, 2010
ISBN13: 9781849966375
Rubricering
Onderdeel van serie
Advances in Industrial Control
Levertijd ongeveer 8 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9781849966375
Taal:Engels
Bindwijze:paperback
Aantal pagina's:226
Uitgever:Springer London
Druk:0
Inhoudsopgave
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.