Formal Synthesis of Stochastic Systems via Control Barrier Certificates.

Pushpak Jagtap Sadegh Soudjani Majid Zamani

Published in: CoRR (2019)

Keyphrases

stochastic systems
stochastic models
conservation laws
optimal control
sample path
sufficient conditions
chaotic systems