Login / Signup
Verification of Bounded Discrete Horizon Hybrid Automata.
Vladimeros Vladimerou
Pavithra Prabhakar
Mahesh Viswanathan
Geir E. Dullerud
Published in:
IEEE Trans. Autom. Control. (2012)
Keyphrases
</>
hybrid automata
finite state automata
continuous functions
model checking
discrete version
neural network
face verification
discrete geometry
pattern matching
continuous variables
signature verification
asynchronous circuits