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.
CITATION STYLE
Modelling and Analysis of Hybrid Supervisory Systems. (2007). Modelling and Analysis of Hybrid Supervisory Systems. Springer London. https://doi.org/10.1007/978-1-84628-651-3
Mendeley helps you to discover research relevant for your work.