{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,14]],"date-time":"2026-01-14T00:12:12Z","timestamp":1768349532130,"version":"3.49.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1109\/cdc.2009.5400629","type":"proceedings-article","created":{"date-parts":[[2010,2,2]],"date-time":"2010-02-02T15:27:26Z","timestamp":1265124446000},"page":"2236-2241","source":"Crossref","is-referenced-by-count":29,"title":["A probabilistic approach for control of a stochastic system from LTL specifications"],"prefix":"10.1109","author":[{"given":"M.","family":"Lahijanian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S. B.","family":"Andersson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Belta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"221","article-title":"Approximate abstractions of discrete-time controlled stochastic hybrid Sys","author":"d'innocenzo","year":"2008","journal-title":"Proc IEEE Conf on Decision and Control"},{"key":"ref11","article-title":"Model checking","author":"clarke","year":"1999"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/M-RA.2007.914921"},{"key":"ref15","first-page":"498","article-title":"Model checking LTL over controllable linear Sys. is decidable","volume":"2623","author":"tabuada","year":"2003","journal-title":"Hybrid Sys Compo and Control 6th Int Workshop ser Lee Notes in Compo Sci"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.878280"},{"key":"ref17","article-title":"On algorithmic verification methods for probabilistic Sys","author":"baier","year":"1998"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1007\/3-540-60692-0_70","article-title":"Model checking of probabilistic and nondeterministic Sys","volume":"1026","author":"bianco","year":"1995","journal-title":"FST TCS 95 Foundations of Software Technology and Theoretical Compo Sci"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/3-540-60045-0_48","article-title":"It usually works: the temporal logic of stochastic Sys","volume":"939","author":"aziz","year":"1995","journal-title":"Compo Aided Verification ser Lee Notes in Compo Sci"},{"key":"ref4","first-page":"542","article-title":"Parameter synthesis for piecewise affine Sys. from temporal logic specifications","volume":"4981","author":"yordanov","year":"2008","journal-title":"Hybrid Sys Compo and Control 11th Int Workshop ser Lee Notes in Compo Sci"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.07.003"},{"key":"ref6","first-page":"348","article-title":"Reachability analysis of multi-affine Sys","volume":"3927","author":"kloetzer","year":"2006","journal-title":"Hybrid Sys Compo and Control 9th Int Workshop ser Lee Notes in Compo Sci"},{"key":"ref5","first-page":"425","article-title":"Series of abstractions for hybrid automata","volume":"2289","author":"tiwari","year":"2002","journal-title":"Hybrid Sys Compo and Control 5th Int Workshop ser Lee Notes in Compo Sci"},{"key":"ref8","first-page":"231","article-title":"Approximately bisimilar finite abstractions of stable linear Sys","volume":"4416","author":"girard","year":"2007","journal-title":"Hybrid Sys Compo and Control 10th Int Workshop ser Lee Notes in Compo Sci"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876946"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref9","first-page":"1","article-title":"Markov set-chains as abstractions of stochastic hybrid Sys","volume":"4981","author":"abate","year":"2008","journal-title":"Hybrid Sys Compo and Control ser Lee Notes in Compo Sci"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1109\/QEST.2005.14","article-title":"iLTLChecker: a probabilistic model checker for multiple DTMCs","author":"kwon","year":"2005","journal-title":"Proc IEEE Int Conf on the Quantitative Evaluation of Sys"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0_6"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205180"},{"key":"ref24","first-page":"199","article-title":"Languages, behaviors, hybrid architectures, and motion control","author":"manikonda","year":"1998"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1090\/psapm\/041\/1079568"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2007.893250"}],"event":{"name":"2009 Joint 48th IEEE Conference on Decision and Control (CDC) and 28th Chinese Control Conference (CCC)","location":"Shanghai, China","start":{"date-parts":[[2009,12,15]]},"end":{"date-parts":[[2009,12,18]]}},"container-title":["Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5379695\/5399469\/05400629.pdf?arnumber=5400629","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T14:35:12Z","timestamp":1558794912000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5400629\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/cdc.2009.5400629","relation":{},"subject":[],"published":{"date-parts":[[2009,12]]}}}