Login / Signup

Controller synthesis for dynamic hierarchical real-time plants using timed automata.

Md Tawhid Bin WaezAndrzej WasowskiJuergen DingelKaren Rudie
Published in: Discret. Event Dyn. Syst. (2017)
Keyphrases
  • real time
  • timed automata
  • controller synthesis
  • real time systems
  • model checking
  • autonomic computing systems
  • reachability analysis
  • control system
  • low cost
  • knowledge base
  • distributed systems