Login / Signup

Exploiting Implicit Representations in Timed Automaton Verification for Controller Synthesis.

Robert P. GoldmanDavid J. MuslinerMichael 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