Active Diagnosis for Switched Systems Using Mealy Machine Modeling

DOI10.1007/978-3-319-74962-4_6zbMath1455.93095OpenAlexW2793157690MaRDI QIDQ5117250

Jeremy Van Gorp, Alessandro Giua, Michael Defoort, Mohamed Djemai

Publication date: 20 August 2020

Published in: Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-74962-4_6

zbMATH Keywords

Mealy machinediagnosability conditionsactual diagnosiscontrol input sequenceMealy machine modeling

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Mathematical modeling or simulation for problems pertaining to systems and control theory (93-10)

Cites Work

• Unnamed Item
• Synchronizing sequences on a class of unbounded systems using synchronized Petri nets
• Invertibility of switched nonlinear systems
• Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy - a survey and some new results
• Switching in systems and control
• Hybrid sliding mode observer for switched linear systems with unknown inputs
• Model-based testing of reactive systems. Advanced lectures.
• Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
• Active diagnosis of discrete-event systems
• Hybrid system stability and robustness verification using linear matrix inequalities
• Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
• A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets