{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T12:45:18Z","timestamp":1760100318335,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/cdc.2010.5717316","type":"proceedings-article","created":{"date-parts":[[2011,2,22]],"date-time":"2011-02-22T12:37:42Z","timestamp":1298378262000},"page":"4230-4235","source":"Crossref","is-referenced-by-count":22,"title":["A symbolic approach to controlling piecewise affine systems"],"prefix":"10.1109","author":[{"given":"Jana","family":"Tumova","sequence":"first","affiliation":[]},{"given":"Boyan","family":"Yordanov","sequence":"additional","affiliation":[]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[]},{"given":"Ivana","family":"Cerna","sequence":"additional","affiliation":[]},{"given":"Jiri","family":"Barnat","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Streett Games on Finite Graphs","author":"horn","year":"2005","journal-title":"In the2nd Workshop on Games in Design and Verification (GDV)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1137\/S0363012902409982"},{"key":"ref12","first-page":"354","article-title":"Comparison of four procedures for the identification of hybrid systems","author":"juloski","year":"2005","journal-title":"Proc HSCC Ser LNCS"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739370"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.07.022"},{"key":"ref15","first-page":"287","volume":"53","author":"kloetzer","year":"2008","journal-title":"A fully automated framework for control of linear systems from temporal logic specifications"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/M-RA.2007.914921"},{"journal-title":"Multi-Parametric Toolbox (MPT)","year":"2004","author":"kvasnica","key":"ref17"},{"key":"ref18","first-page":"287","article-title":"Dealing with non-determinism in symbolic control","author":"kloetzer","year":"2008","journal-title":"In Proc of HSCC ser LNCS Springer Berlin\/Heidelberg"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.07.003"},{"key":"ref4","first-page":"61","article-title":"Symbolic planning and control of robot motion","volume":"14","author":"belta","year":"2007","journal-title":"IEEE Robot Autom Mag special issue on grand challenges for robotics"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bti1048"},{"key":"ref6","first-page":"280","article-title":"Non deterministic temporal logics for general flow systems","author":"davoren","year":"2004","journal-title":"Proc HSCC Ser LNCS"},{"journal-title":"Model Checking The MIT Press","year":"1999","author":"clarke","key":"ref5"},{"key":"ref8","first-page":"187","article-title":"A counterexample-guided approach to parameter synthesis for linear hybrid automata","author":"frehse","year":"2008","journal-title":"Proc HSCC Ser LNCS"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15648-8_7"},{"key":"ref2","first-page":"116","article-title":"Foundations of a query and simulation system for the modeling of biochemical and biological processes","author":"antoniotti","year":"2003","journal-title":"Proc of PSB"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"1085","DOI":"10.1016\/S0005-1098(01)00059-0","article-title":"Equivalence of hybrid dynamical models","volume":"37","author":"heemels","year":"2001","journal-title":"Automatica"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1988.21948"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_5"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref24","first-page":"332","article-title":"An automata-theoretic approach to automatic program verification","author":"vardi","year":"1986","journal-title":"Proc of LICS Washington DC USA IEEE Computer Society"},{"key":"ref23","article-title":"A symbolic approach to controlling piecewise affine systems","author":"thomast\u00e5","year":"2010","journal-title":"Boston University Tech Rep CISE 2010-IR-0014"},{"key":"ref26","article-title":"Model checking discrete time piesewise affine systems: application to gene networks","author":"yordanov","year":"2007","journal-title":"Proc ECC"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5400657"}],"event":{"name":"2010 49th IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2010,12,15]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2010,12,17]]}},"container-title":["49th IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5707200\/5716927\/05717316.pdf?arnumber=5717316","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T16:05:07Z","timestamp":1497888307000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5717316\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/cdc.2010.5717316","relation":{},"subject":[],"published":{"date-parts":[[2010,12]]}}}