Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach by Em
122,08 €
Many barriers that restrained the evolution of supervisory systems in the past have been removed by the recent popularisation of the open-system paradigm. 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.
Jetzt bei Ebay:
