Modelling and Analysis of Hybrid Supervisory Systems
by Emilia Villani
Wybierz format:
313.96 zł
Opis książki
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.
Szczegóły książki
Autor
Emilia Villani
Wydawnictwo
Springer London
Rok wydania
2007
ISBN
9781846286513
Dostępne formaty
eBook (PDF, EPUB)
Audiobook (MP3)
Język
Polski