Deadlock-free piecewise-linear controlled hybrid automata.

Michael D. Lemmon

Published in: CDC (2000)

Keyphrases

piecewise linear
hybrid automata
deadlock free
concurrency control
finite state automata
dynamic programming
routing algorithm
chaotic map
database systems
data structure
transaction processing
similarity measure
nearest neighbor