Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction.

Sumit Kumar Jha Bruce H. Krogh James E. Weimer Edmund M. Clarke

Published in: HSCC (2007)

Keyphrases

hybrid automata
gauss seidel
semidefinite
finite state automata
objective function
database
relational databases
state space
transitive closure
iterative methods