Modelling and analysis of hybrid supervisory systems. A Petri net approach.

zbMath1132.93001MaRDI QIDQ859370

Emilia Villani, Robert Valette, Paulo Eigi Miyagi

Publication date: 15 January 2007

Published in: Advances in Industrial Control (Search for Journal in Brave)

zbMATH Keywords

hybrid systemsPetri netsobject oriented paradigm

Mathematics Subject Classification ID

Management decision making, including multiple objectives (90B50) Production models (90B30) Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Research exposition (monographs, survey articles) pertaining to systems and control theory (93-02) Applications of graph theory to circuits and networks (94C15) History of systems and control theory (93-03)

Related Items (1)

Probabilistic analysis of linear-quadratic logistic-type models with hybrid uncertainties via probability density functions

Uses Software

• Uppaal2k

This page was built for publication: Modelling and analysis of hybrid supervisory systems. A Petri net approach.