Verification of Hybrid Automata Diagnosability With Measurement Uncertainty

DOI10.1109/TAC.2015.2455111MaRDI QIDQ2980603zbMATH OpenOpenAlexFDO

Authors Yi Deng, Alessandro D'Innocenzo, Maria D. Di Benedetto, Stefano Di Gennaro, Agung Julius

Publication date 3 May 2017

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tac.2015.2455111

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Observability (93B07) Discrete event control/observation systems (93C65)

Cited in

(4)

• Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach
• Secure diagnosability of hybrid dynamical systems
• Abstractions Refinement for Hybrid Systems Diagnosability Analysis
• Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions

This page was built for publication: Verification of Hybrid Automata Diagnosability With Measurement Uncertainty

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