State Equivalences for Rectangular Hybrid Automata.

Thomas A. Henzinger Peter W. Kopke

Published in: CONCUR (1996)

Keyphrases

hybrid automata
database
genetic algorithm
theoretical analysis
learning algorithm
metadata
computational complexity
state space
integrity constraints
relational algebra
packing problem
polar coordinates