Monitoring of dynamic processes by rectangular hybrid automata

DOI10.1016/J.NAHS.2010.05.004MaRDI QIDQ608376zbMATH OpenOpenAlexFDO

Authors Mohamed Fathi Karoui, Hassane Alla, Abderrazak Chatti

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

reachability analysismonitoringrectangular hybrid automata

Mathematics Subject Classification ID

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

Recommendations

• Mode detection and fault diagnosis in hybrid systems
• Introduction to hybrid automata
• Timely monitoring of partially observable stochastic systems
• scientific article; zbMATH DE number 67859
• Intellectual technologies of monitoring and controlling the dynamics of complex technical objects

Cites work

• scientific article; zbMATH DE number 1444356 (Why is no real title available?)
• Discrete, Continuous, and Hybrid Petri Nets
• Hybrid Systems: Computation and Control
• Introduction to Discrete Event Systems
• Timed Petri nets in hybrid systems: Stability and supervisory control
• Uniformity for the decidability of hybrid automata
• What's decidable about hybrid automata?

Cited in

(2)

• Timely monitoring of partially observable stochastic systems
• Hybrid automation extended model

Describes a project that uses

Uses Software

• UMDES
• HyTech
• PHAVer

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q608376)