Symbolic control of stochastic systems via approximately bisimilar finite abstractions
Mohajerin Esfahani, Peyman
- Journal Article
Journal / seriesIEEE Transactions on Automatic Control
Pages / Article No.
SubjectAutomated synthesis; Bisimulation; Incremental stability; Linear temporal logic; Stochastic systems
Organisational unit03751 - Lygeros, John
NotesManuscript received 15 February 2013, Revised 27 December 2013, 3 January 2014 and 1 May 2014, Accepted 18 May 2014, Date of publication 28 August 2014, Date of current version 18 November 2014. See also: http://e-citations.ethbib.ethz.ch/view/pub:149569.
MoreShow all metadata