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.


Symbolic Models for Stochastic Control Systems without Stability Assumptions


M. Zamani, P. Mohajerin Esfahani, A. Abate, J. Lygeros

European Control Conference (ECC), Zurich, Switzerland

Symbolic approaches provide a mechanism to construct discrete and possibly finite abstractions of continuous control systems. Discrete abstractions are in turn amenable to automata-theoretic techniques targeted to the construction of controllers abiding by complex specifications, which would otherwise be difficult to enforce over continuous models with conventional control design methods. Although construction of discrete abstractions has been extensively studied for deterministic continuous-time control systems, it has received scant attention on stochastic continuous-time non-autonomous models. In this paper, we propose an abstraction technique that is applicable to any stochastic continuous-time control system, as long as we are only interested in its behavior over a compact set. The effectiveness of the proposed results is illustrated with the synthesis of a controller for a jet engine model, which is not stable, affected by noise, and subject to a schedulability constraint expressed by a finite automaton.


Type of Publication:


File Download:

Request a copy of this publication.
(Uses JavaScript)
% Autogenerated BibTeX entry
@InProceedings { ZamEtal:2013:IFA_4490,
    author={M. Zamani and P. Mohajerin Esfahani and A. Abate and J. Lygeros},
    title={{Symbolic Models for Stochastic Control Systems without
	  Stability Assumptions}},
    booktitle={European Control Conference (ECC)},
    address={Zurich, Switzerland},
Permanent link