{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:27:52Z","timestamp":1761488872641,"version":"3.40.2"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/cdc.2011.6160424","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T21:18:31Z","timestamp":1331155111000},"page":"520-525","source":"Crossref","is-referenced-by-count":17,"title":["Safety controller synthesis for switched systems using multi-scale symbolic models"],"prefix":"10.1109","author":[{"given":"Javier","family":"Camara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antoine","family":"Girard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregor","family":"Gossler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"crossref","DOI":"10.1145\/1967701.1967730","article-title":"Synthesis of switching controllers using approximately bisimilar multiscale abstractions","author":"camara","year":"2011","journal-title":"Hybrid Systems Computation and Control"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042980"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2010.5530730"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/9.989067"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"5","article-title":"Synthesis using approximately bisimilar abstractions: Statefeedback controllers for safety specifications","author":"girard","year":"2010","journal-title":"Hybrid Systems Computation and Control"},{"journal-title":"Introduction to Discrete Event Systems - Second Edition","year":"2007","author":"cassandras","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.02.021"},{"key":"11","first-page":"67","article-title":"The self triggered task model for real-time control systems","author":"velasco","year":"2003","journal-title":"19th IEEE Real-Time Systems Symposium"}],"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\/06160424.pdf?arnumber=6160424","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T16:14:09Z","timestamp":1742660049000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6160424\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/cdc.2011.6160424","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}