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

Controller Synthesis for Probabilistic Safety Specifications using Observers.

Kendra LesserAlessandro Abate
Published in: ADHS (2015)
Keyphrases
  • controller synthesis
  • autonomic computing systems
  • control system
  • closed loop
  • degrees of freedom
  • control algorithm