Active diagnosis for switched systems using Mealy machine modeling

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

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

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

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

• 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
• Title not available (Why is that?)

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)