Diagnosability verification for hybrid automata and durational graphs.

Maria Domenica Di Benedetto Stefano Di Gennaro Alessandro D'Innocenzo

Published in: CDC (2007)

Keyphrases

hybrid automata
finite state automata
fault diagnosis
model checking
graph mining
discrete event systems
discrete event
verification method
directed graph
graph theory
graph structure
graph databases
undirected graph