Symbolic control of stochastic systems via approximately bisimilar finite abstractions
Publication status
publishedExternal links
Journal / series
IEEE Transactions on Automatic ControlVolume
Pages / Article No.
Publisher
IEEESubject
Automated synthesis; Bisimulation; Incremental stability; Linear temporal logic; Stochastic systemsOrganisational unit
03751 - Lygeros, John / Lygeros, John
Related publications and datasets
Is new version of: http://hdl.handle.net/20.500.11850/95358
Notes
Manuscript 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.More
Show all metadata