{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:57:23Z","timestamp":1762459043859,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/cdc.2012.6426260","type":"proceedings-article","created":{"date-parts":[[2013,2,8]],"date-time":"2013-02-08T22:05:08Z","timestamp":1360361108000},"page":"6120-6125","source":"Crossref","is-referenced-by-count":8,"title":["Automatic control software synthesis for quantized discrete time hybrid systems"],"prefix":"10.1109","author":[{"given":"Vadim","family":"Alimguzhin","sequence":"first","affiliation":[]},{"given":"Federico","family":"Mari","sequence":"additional","affiliation":[]},{"given":"Igor","family":"Melatti","sequence":"additional","affiliation":[]},{"given":"Ivano","family":"Salvo","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Tronci","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"180","article-title":"Synthesis of quantized feedback control software for discrete time linear hybrid systems","author":"mari","year":"2010","journal-title":"CAV"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434911"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/9.273337"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"18","first-page":"243","article-title":"Undecidability of quantized state feedback control for discrete time linear hybrid systems","author":"mari","year":"2012","journal-title":"Proc ICTAC"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1997.649708"},{"key":"15","first-page":"582","article-title":"Discrete-time control for rectangular hybrid automata","author":"henzinger","year":"1997","journal-title":"ICALP"},{"key":"16","first-page":"1","article-title":"The embedded systems design challenge","author":"henzinger","year":"2006","journal-title":"FM"},{"key":"13","first-page":"225","article-title":"Algorithmic analysis of nonlinear hybrid systems","author":"henzinger","year":"1995","journal-title":"CAV"},{"key":"14","first-page":"130","article-title":"Beyond hytech: Hybrid systems analysis using interval numerical methods","author":"henzinger","year":"2000","journal-title":"HSCC"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2011.02.002"},{"journal-title":"Hybrid toolbox","year":"2004","author":"bemporad","key":"3"},{"key":"20","first-page":"566","article-title":"Pessoa: A tool for embedded controller synthesis","author":"mazo","year":"2010","journal-title":"CAV"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/32.489079"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"10","first-page":"5893","article-title":"Synthesis using approximately bisimilar abstractions: Timeoptimal control problems","author":"girard","year":"2010","journal-title":"CDC 2010"},{"journal-title":"Automated Generation of Optimal Controllers Through Model Checking Techniques","year":"2008","author":"della penna","key":"7"},{"journal-title":"Modern control theory (3rd ed )","year":"1991","author":"brogan","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161190"},{"key":"4","first-page":"126","article-title":"A sat-based hybrid solver for optimal control of hybrid systems","author":"bemporad","year":"2004","journal-title":"HSCC"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.858689"},{"key":"8","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s10009-007-0062-x","article-title":"Phaver: Algorithmic verification of hybrid systems past hytech","volume":"10","author":"frehse","year":"2008","journal-title":"Int J Softw Tools Technol Transf"}],"event":{"name":"2012 IEEE 51st Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2012,12,10]]},"location":"Maui, HI, USA","end":{"date-parts":[[2012,12,13]]}},"container-title":["2012 IEEE 51st IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6416474\/6425800\/06426260.pdf?arnumber=6426260","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T07:14:04Z","timestamp":1498029244000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6426260\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/cdc.2012.6426260","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}