A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems
dc.contributor.author
Drzajic, Dalibor
dc.contributor.author
Kariotoglou, Nikolaos
dc.contributor.author
Kamgarpour, Maryam
dc.contributor.author
Lygeros, John
dc.contributor.editor
Frehse, Goran
dc.contributor.editor
Althoff, Matthias
dc.date.accessioned
2017-06-12T19:11:02Z
dc.date.available
2017-06-12T19:11:02Z
dc.date.issued
2017
dc.identifier.uri
http://hdl.handle.net/20.500.11850/127133
dc.language.iso
en
dc.publisher
EPiC Series in Computing
dc.title
A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems
dc.type
Conference Paper
ethz.book.title
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
ethz.journal.title
EPiC Series in Computing
ethz.journal.volume
44
ethz.pages.start
134
ethz.pages.end
143
ethz.event
3rd International Workshop on Applied Verification for Continuous and Hybrid Sytems, ARCH16
ethz.event.location
Vienna, Austria
ethz.event.date
April 11-14, 2016
ethz.publication.place
S.l.
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::09578 - Kamgarpour, Maryam (ehemalig) / Kamgarpour, Maryam (former)
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::09578 - Kamgarpour, Maryam (ehemalig) / Kamgarpour, Maryam (former)
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-12T19:11:22Z
ethz.source
ECIT
ethz.identifier.importid
imp5936552b0fe6a35745
ethz.ecitpid
pub:189947
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T18:19:53Z
ethz.rosetta.lastUpdated
2022-03-28T15:31:04Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=A%20Semidefinite%20Programming%20Approach%20to%20Control%20Synthesis%20for%20Stochastic%20Reach-Avoid%20Problems&rft.jtitle=EPiC%20Series%20in%20Computing&rft.date=2017&rft.volume=44&rft.spage=134&rft.epage=143&rft.au=Drzajic,%20Dalibor&Kariotoglou,%20Nikolaos&Kamgarpour,%20Maryam&Lygeros,%20John&rft.genre=proceeding&rft.btitle=ARCH16.%203rd%20International%20Workshop%20on%20Applied%20Verification%20for%20Continuous%20and%20Hybrid%20Systems
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [36753]