Modelling and Analysis of Hybrid Supervisory Systems A Petri Net Approach |
|
| Author:
| Villani, Emilia
Miyagi, Paulo Eigi
Valette, Robert |
| Series title: | Advances in Industrial Control Ser. |
| ISBN: | 978-1-84628-650-6 |
| Publication Date: | Jan 2007 |
| Publisher: | Springer
|
| Book Format: | Hardback |
| List Price: | AUD $377.95 |
Book 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.
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.