{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T15:21:02Z","timestamp":1764688862453,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/cdc.2011.6161218","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T16:18:31Z","timestamp":1331137111000},"page":"6122-6127","source":"Crossref","is-referenced-by-count":19,"title":["Discrete time stochastic hybrid dynamical games: Verification & controller synthesis"],"prefix":"10.1109","author":[{"given":"Maryam","family":"Kamgarpour","sequence":"first","affiliation":[]},{"given":"Jerry","family":"Ding","sequence":"additional","affiliation":[]},{"given":"Sean","family":"Summers","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Abate","sequence":"additional","affiliation":[]},{"given":"John","family":"Lygeros","sequence":"additional","affiliation":[]},{"given":"Claire","family":"Tomlin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967738"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.08.006"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377091"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.03.027"},{"journal-title":"Stochastic Optimal Control The Discrete-Time Case","year":"2007","author":"bertsekas","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.2011011"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"11","doi-asserted-by":"crossref","first-page":"234","DOI":"10.1007\/978-3-540-24743-2_16","article-title":"Extended stochastic hybrid systems and their reachability problem","volume":"2993","author":"bujorianu","year":"2004","journal-title":"Hybrid Systems Computation and Control"},{"key":"12","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/11730637_29","article-title":"Computational methods for reachability analysis of stochastic hybrid systems","author":"koutsoukos","year":"2006","journal-title":"Hybrid Systems Computation and Control"},{"journal-title":"Dynamic Noncooperative Game Theory","year":"1999","author":"bas?ar","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00602-9_3"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1137\/0319039"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1214\/aop\/1176993080"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-3760-7_15"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/s001820050071"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012901383837"},{"key":"27","article-title":"A dynamic game framework for verification and control of stochastic hybrid systems","author":"ding","year":"2011","journal-title":"University of California Berkeley Tech Rep UCBIEECS-2011-101"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1214\/aos\/1176342510"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.16.624-641"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.2514\/1.47458"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/9.664154"},{"key":"10","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1007\/3-540-46430-1_16","article-title":"Towards a theory of stochastic hybrid systems","volume":"1790","author":"hu","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1995.480311"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2011.16"},{"key":"7","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/978-3-642-00602-9_2","article-title":"Three-dimensional kneed bipedal walking: A hybrid geometric approach","author":"ames","year":"2009","journal-title":"Hybrid Systems Computation and Control"},{"key":"6","first-page":"147","article-title":"Symbolic systems biology: Hybrid modeling and analysis of biological networks","author":"lincoln","year":"2004","journal-title":"Hybrid Systems Computation and Control"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.2514\/6.2007-6461"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1049\/sb:20045019"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980268"},{"key":"4","first-page":"47","article-title":"Stochastic hybrid systems: Application to communication networks","volume":"2993","author":"hespanha","year":"2004","journal-title":"Hybrid Systems Computation and Control"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2000.912871"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910387173"}],"event":{"name":"2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011)","start":{"date-parts":[[2011,12,12]]},"location":"Orlando, FL, USA","end":{"date-parts":[[2011,12,15]]}},"container-title":["IEEE Conference on Decision and Control and European Control Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6149620\/6159299\/06161218.pdf?arnumber=6161218","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,24]],"date-time":"2019-06-24T22:01:45Z","timestamp":1561413705000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6161218\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/cdc.2011.6161218","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}