Verification of Hybrid Automata Diagnosability by Abstraction
From MaRDI portal
Publication:5347833
DOI10.1109/TAC.2011.2105738zbMath1368.68246MaRDI QIDQ5347833
Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Stefano Di Gennaro
Publication date: 25 August 2017
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (6)
Robust and nonlinear control literature survey (No. 27) ⋮ Transformations for Compositional Verification of Assumption-Commitment Properties ⋮ Diagnosability of fair transition systems ⋮ A game-theoretic approach to fault diagnosis and identification of hybrid systems ⋮ Secure Diagnosability of Hybrid Dynamical Systems ⋮ Adaptive control and signal processing literature survey (No. 27)
This page was built for publication: Verification of Hybrid Automata Diagnosability by Abstraction