Login / Signup
Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis.
Robert P. Goldman
David J. Musliner
Michael J. S. Pelican
Published in:
HSCC (2002)
Keyphrases
</>
controller synthesis
finite state machines
autonomic computing systems
model checking
petri net
control system
linear time temporal logic
closed loop
autonomic systems
genetic algorithm