-
Anglický jazyk
Modelling and Analysis of Hybrid Supervisory Systems
Autor: Emilia Villani
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... Viac o knihe
Na objednávku, dodanie 2-4 týždne
98.99 €
bežná cena: 109.99 €
O knihe
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.
- Vydavateľstvo: Springer London
- Rok vydania: 2007
- Formát: Hardback
- Rozmer: 241 x 160 mm
- Jazyk: Anglický jazyk
- ISBN: 9781846286506
Nemecký jazyk 