Active diagnosis for switched systems using Mealy machine modeling

DOI10.1007/978-3-319-74962-4_6MaRDI QIDQ5117250zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Fault Diagnosis of Linear Switched Systems Based on Hybrid Observer
• Active diagnosis of discrete-event systems
• Active mode recognition of switched nonlinear systems: application to fault detection and isolation
• Multimode diagnosis for switched affine systems with noisy measurement
• scientific article; zbMATH DE number 1976855

Cites work

• scientific article; zbMATH DE number 744045 (Why is no real title available?)
• A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
• Active diagnosis of discrete-event systems
• 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
• Hybrid system stability and robustness verification using linear matrix inequalities
• Invertibility of switched nonlinear systems
• Model-based testing of reactive systems. Advanced lectures.
• Multiple Lyapunov functions and other analysis tools for switched and hybrid systems
• Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results
• Switching in systems and control
• Synchronizing sequences on a class of unbounded systems using synchronized Petri nets

Cited in

(2)

• Passive diagnosis of hidden-mode switched affine models with detection guarantees via model invalidation
• Multimode diagnosis for switched affine systems with noisy measurement

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)