تفاصيل الكتاب

NoIMG

Modelling and Analysis of Hybrid Supervisory Systems

Publication Date: 2007

ISBN: 978-1-84628-651-3

Internet Resource: Please Login to download book


Modelling and Analysis of Hybrid Supervisory Systems 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 Unified Modelling Language diagrams, well-known tools in both academia and industry. In order to ensure that the supervisory system will behave as expected under any operational circumstances, a validation procedure that allows verification of the formal properties of the hybrid model is presented.


Subject: Engineering, Automation, Bridge, Control, Control Applications, Control Engineering, Hybrid Systems, Information, Networks, Petri Nets, Supervisory Control, Supervisory Systems, communication, system analysis