Login / Signup
Compiling Real-Time Scenarios into a Timed Automaton.
Aziz Salah
Rachida Dssouli
Guy Lapalme
Published in:
FORTE (2001)
Keyphrases
</>
real time
low cost
finite state machines
genetic algorithm
control system
vision system
multiscale
high speed
application scenarios
finite state automata
information retrieval
decision making
petri net
data acquisition
timed automata