Controller Synthesis for Probabilistic Safety Specifications using Observers.

Kendra Lesser Alessandro Abate

Published in: ADHS (2015)

Keyphrases

controller synthesis
autonomic computing systems
control system
closed loop
degrees of freedom
control algorithm