Verification of discrete time stochastic hybrid systems A stochastic reach-avoid decision problem
Metadata only
Datum
2010-12Typ
- Journal Article
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Zeitschrift / Serie
AutomaticaBand
Seiten / Artikelnummer
Verlag
ElsevierThema
Hybrid systems; Stochastic systems; Reachability; Safety; Target hitting; Optimal control; Dynamic programmingOrganisationseinheit
03751 - Lygeros, John / Lygeros, John
Anmerkungen
Received 16 August 2009, Revised 27 March 2010, Accepted 15 July 2010, Available online 16 September 2010.ETH Bibliographie
yes
Altmetrics