Symbolic control of stochastic systems via approximately bisimilar finite abstractions

Thumbnail
Metadata only
Author
Zamani, Majid
Mohajerin Esfahani, Peyman
Majumdar, Rupak
Abate, Alessandro
Lygeros, John
Show all
Date
2014-12
Type
    Journal Article
Publication status
published
External links
Search via SFX
Journal / series
IEEE Transactions on Automatic Control
Volume
59(12)
Pages / Article No.
3135 - 3150
Publisher
IEEE
Subject
Automated synthesis; Bisimulation; Incremental stability; Linear temporal logic; Stochastic systems
Organisational unit
03751 - Lygeros, John / Lygeros, John  
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
Citations
Cited 43 times in Web of Science
ETH Bibliography
yes
Altmetrics