Verification of Hybrid Automata Diagnosability With Measurement Uncertainty

DOI10.1109/TAC.2015.2455111zbMath1359.68163OpenAlexW2311017383MaRDI QIDQ2980603

Yi Deng, Maria Domenica Di Benedetto, Alessandro D'Innocenzo, Stefano Di Gennaro, A. 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) Discrete event control/observation systems (93C65) Observability (93B07)

Related Items (3)

Secure Diagnosability of Hybrid Dynamical Systems ⋮ Abstractions Refinement for Hybrid Systems Diagnosability Analysis ⋮ Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach

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