Note: This content is accessible to all versions of every browser. However, this browser does not seem to support current Web standards, preventing the display of our site's design details.

# Bisimilar finite abstractions of stochastic control systems

 Author(s):M. Zamani, P. Mohajerin Esfahani, R. Majumdar, A. Abate, J. Lygeros Conference/Journal:Conference on Decision and Control (CDC), Florence, Italy Abstract:Abstraction-based approaches to the design of complex control systems construct finite-state models that are formally related to the original control systems, then leverage symbolic techniques from finite-state synthesis to compute controllers satisfying specifications given in a temporal logic, and finally refine the obtained control schemes back to the given concrete complex models. While such approaches have been successfully used to perform synthesis over non-probabilistic control systems, there are only few results available for probabilistic models: hence the goal of this paper, which considers continuous-time controlled stochastic differential equations. We show that for every stochastic control system satisfying a stochastic version of incremental input-to-state stability, and for every $\varepsilon>0$, there exists a finite-state abstraction that is $\varepsilon$-approximate bisimilar to the stochastic control system (in the sense of moments). We demonstrate the effectiveness of the construction by synthesizing a controller for a stochastic control system with respect to linear temporal logic specifications. Since stochastic control systems are a common mathematical models for many complex, safety critical systems subject to uncertainty, our techniques promise to enable a new, automated, correct-by-construction controller synthesis approach for these systems. Year:2013 Type of Publication: (01)Article Supervisor: No Files for download available. % Autogenerated BibTeX entry @InProceedings { ZamEtal:2013:IFA_4488, author={M. Zamani and P. Mohajerin Esfahani and R. Majumdar and A. Abate and J. Lygeros}, title={{Bisimilar finite abstractions of stochastic control systems}}, booktitle={Conference on Decision and Control (CDC)}, pages={}, year={2013}, address={Florence, Italy}, month=dec, url={http://control.ee.ethz.ch/index.cgi?page=publications;action=details;id=4488} } Permanent link

 © 1999-2014 by ETH Zurich | Webmaster | Saturday, November 25, 2017