{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:08:50Z","timestamp":1742389730076,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2005.1582126","type":"proceedings-article","created":{"date-parts":[[2006,10,4]],"date-time":"2006-10-04T10:20:03Z","timestamp":1159957203000},"page":"30-35","source":"Crossref","is-referenced-by-count":19,"title":["Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation"],"prefix":"10.1109","author":[{"given":"T.","family":"Le Gall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Jeannet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Marchand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"article-title":"Control of discrete and hybrid symbolic systems (in french)","year":"2005","author":"le gall","key":"17"},{"year":"0","key":"18"},{"key":"15","article-title":"Symbolic Test Selection based on Approximate Analysis","volume":"3340","author":"jeannet","year":"2005","journal-title":"LNCS"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2004.829432"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45789-5_7"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1023\/A:1024480913162"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"1979","author":"hopcroft","key":"12"},{"key":"21","first-page":"209","article-title":"Finding bad states during symbolic supervisor synthesis","author":"ziller","year":"2002","journal-title":"GI\/ITG\/GMM-Workshop Methoden Beschreibungssprachen Modellierung Verifikation von Schaltungen Systemen"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"20","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/3-540-48119-2_15","article-title":"On-the-fly controller synthesis for discrete and dense-time systems","volume":"1708","author":"tripakis","year":"1999","journal-title":"Lecture Notes in Computer Science"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/9.231459"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015346419267"},{"key":"10","article-title":"Symbolic synthesis of supervisory controllers","author":"huffman","year":"1992","journal-title":"Proceedings of the American Control Conference"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008678014487"},{"key":"6","first-page":"314","article-title":"Priority systems","author":"goessler","year":"2003","journal-title":"Proc of FM'03"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039704"},{"key":"9","article-title":"HYTECH: A Model Checker for Hybrid Systems","volume":"1254","author":"henzinger","year":"1997","journal-title":"LNCS"},{"key":"8","article-title":"Proof-checking a data link protocol","volume":"806","author":"helmink","year":"1993","journal-title":"LNCS"}],"event":{"name":"44th IEEE Conference on Decision and Control","location":"Seville, Spain"},"container-title":["Proceedings of the 44th IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10559\/33412\/01582126.pdf?arnumber=1582126","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T05:51:08Z","timestamp":1497678668000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1582126\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/cdc.2005.1582126","relation":{},"subject":[]}}