Login / Signup
Verification of Hybrid Automata Diagnosability by Abstraction.
Maria Domenica Di Benedetto
Stefano Di Gennaro
Alessandro D'Innocenzo
Published in:
IEEE Trans. Autom. Control. (2011)
Keyphrases
</>
hybrid automata
finite state automata
hardware designs
bounded model checking
model checking
face verification
discrete event
discrete event systems
fault diagnosis
formal verification
high level
hidden markov models
verification method
expert systems
finite state machines
neural network
computational complexity