-
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
96.79 €
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: 2010
- Formát: Paperback
- Rozmer: 235 x 155 mm
- Jazyk: Anglický jazyk
- ISBN: 9781849966375
Nemecký jazyk 