Show simple item record

dc.contributor.author
Zamani, Majid
dc.contributor.author
Mohajerin Esfahani, Peyman
dc.contributor.author
Majumdar, Rupak
dc.contributor.author
Abate, Alessandro
dc.contributor.author
Lygeros, John
dc.date.accessioned
2017-06-11T14:54:26Z
dc.date.available
2017-06-11T14:54:26Z
dc.date.issued
2014-12
dc.identifier.issn
0018-9286
dc.identifier.issn
1558-2523
dc.identifier.other
10.1109/TAC.2014.2351652
dc.identifier.uri
http://hdl.handle.net/20.500.11850/95030
dc.language.iso
en
dc.publisher
IEEE
dc.subject
Automated synthesis
dc.subject
Bisimulation
dc.subject
Incremental stability
dc.subject
Linear temporal logic
dc.subject
Stochastic systems
dc.title
Symbolic control of stochastic systems via approximately bisimilar finite abstractions
dc.type
Journal Article
ethz.journal.title
IEEE Transactions on Automatic Control
ethz.journal.volume
59
ethz.journal.issue
12
ethz.journal.abbreviated
IEEE trans. automat. contr
ethz.pages.start
3135
ethz.pages.end
3150
ethz.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.
ethz.identifier.wos
ethz.identifier.nebis
000037341
ethz.publication.place
New York, NY
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02650 - Institut für Automatik / Automatic Control Laboratory::03751 - Lygeros, John / Lygeros, John
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02650 - Institut für Automatik / Automatic Control Laboratory::03751 - Lygeros, John / Lygeros, John
ethz.date.deposited
2017-06-11T14:54:33Z
ethz.source
ECIT
ethz.identifier.importid
imp593652b6de8e429685
ethz.ecitpid
pub:149175
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-13T15:10:42Z
ethz.rosetta.lastUpdated
2018-11-02T17:26:50Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Symbolic%20control%20of%20stochastic%20systems%20via%20approximately%20bisimilar%20finite%20abstractions&rft.jtitle=IEEE%20Transactions%20on%20Automatic%20Control&rft.date=2014-12&rft.volume=59&rft.issue=12&rft.spage=3135&rft.epage=3150&rft.issn=0018-9286&1558-2523&rft.au=Zamani,%20Majid&Mohajerin%20Esfahani,%20Peyman&Majumdar,%20Rupak&Abate,%20Alessandro&Lygeros,%20John&rft.genre=article&
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record