Modeling and Verifying a Lego Car Using Hybrid I/O Automata.

Ansgar Fehnker Frits W. Vaandrager Miaomiao Zhang

Published in: QSIC (2003)

Keyphrases

input output
modeling method
data sets
real time
data mining
search engine
database systems
multi dimensional
cellular automata
main memory
finite state machines
hybrid learning
hybrid models