Approximate timed abstractions of hybrid automata.

Alessandro D'Innocenzo A. Agung Julius Maria Domenica Di Benedetto George J. Pappas

Published in: CDC (2007)

Keyphrases

hybrid automata
finite state automata
petri net
high level
neural network
decision makers
logic programs
exact solution