Symbolic control of stochastic systems via approximately bisimilar finite abstractions

Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar +2

Symbolic approaches to the control design over complex systems employ the construction of finite-state models that are related to the original control systems, then use techniques…