Diagnosability Verification for Hybrid Automata.

Maria Domenica Di Benedetto Stefano Di Gennaro Alessandro D'Innocenzo

Published in: HSCC (2007)

Keyphrases

hybrid automata
finite state automata
model checking
discrete event systems
fault diagnosis
formal verification
face verification
discrete event
database systems
active learning