• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Lazy Controller Synthesis using Three-valued Abstractions for Safety and Reachability Specifications.

Omar HussienPaulo Tabuada
Published in: CDC (2018)
Keyphrases
  • controller synthesis
  • autonomic computing systems
  • high level
  • closed loop
  • control system
  • control algorithm
  • state space
  • multi agent
  • neural network
  • learning algorithm
  • real time
  • pattern classification
  • control law