Sign in

Formal Synthesis of Stochastic Systems via Control Barrier Certificates.

Pushpak JagtapSadegh SoudjaniMajid Zamani
Published in: IEEE Trans. Autom. Control. (2021)
Keyphrases
  • stochastic systems
  • control system
  • stochastic models
  • control method
  • dynamic programming
  • markov random field
  • optimal control
  • reverse engineering
  • confidence intervals
  • chaotic systems