Login / Signup
Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints.
Nima Roohi
Mahesh Viswanathan
Published in:
FORMATS (2014)
Keyphrases
</>
hybrid automata
linear constraints
constraint satisfaction
finite state automata
equality constraints
database systems
active learning
state space
upper bound
closed form solutions
transitive closure
chance constraints