Monitoring of dynamic processes by rectangular hybrid automata

DOI10.1016/j.nahs.2010.05.004zbMath1209.37012OpenAlexW2089589447MaRDI QIDQ608376

Abderrazak Chatti, Hassane Alla, Mohamed Fathi Karoui

Publication date: 25 November 2010

Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.nahs.2010.05.004

zbMATH Keywords

monitoringreachability analysisrectangular hybrid automata

Mathematics Subject Classification ID

Application models in control theory (93C95) Dynamical systems in control (37N35) Dynamical aspects of cellular automata (37B15)

Related Items (1)

Hybrid Automation Extended Model

Uses Software

• PHAVer
• HyTech
• UMDES

Cites Work

• Unnamed Item
• Timed Petri nets in hybrid systems: Stability and supervisory control
• What's decidable about hybrid automata?
• Introduction to Discrete Event Systems
• Discrete, Continuous, and Hybrid Petri Nets
• Uniformity for the decidability of hybrid automata
• Hybrid Systems: Computation and Control

This page was built for publication: Monitoring of dynamic processes by rectangular hybrid automata