Active Diagnosis for Switched Systems Using Mealy Machine Modeling

DOI10.1007/978-3-319-74962-4_6zbMATH Open1455.93095OpenAlexW2793157690MaRDI QIDQ5117250FDOQ5117250

Jeremy Van Gorp, Alessandro Giua, Michael Defoort, M. 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

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

This page was built for publication: Active Diagnosis for Switched Systems Using Mealy Machine Modeling

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