{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:08:17Z","timestamp":1761487697457,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2005.1582704","type":"proceedings-article","created":{"date-parts":[[2006,10,4]],"date-time":"2006-10-04T14:20:03Z","timestamp":1159971603000},"page":"3499-3506","source":"Crossref","is-referenced-by-count":4,"title":["Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems Under Partial Observation"],"prefix":"10.1109","author":[{"given":"H.","family":"Bherer","sequence":"first","affiliation":[]},{"given":"J.","family":"Desharnais","sequence":"additional","affiliation":[]},{"given":"R.","family":"St-Denis","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/271510.271519"},{"key":"17","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/S0005-1098(97)00164-7","article-title":"Formulae relating controllability, observability, and co-observability","volume":"34","author":"kumar","year":"1998","journal-title":"Automatica"},{"journal-title":"Introduction to Lattices and Order","year":"1990","author":"davey","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3837-7"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00256-I"},{"key":"13","first-page":"8803","author":"li","year":"1988","journal-title":"Controllability and observability in the state-feedback control of discrete-event systems"},{"year":"0","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1080\/002071797224072"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/9.471222"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6911(90)90004-E"},{"key":"20","first-page":"740","article-title":"Supervisor synthesis for approximating maximally-allowable behaviors","volume":"2","author":"presser","year":"1994","journal-title":"Proc 1994 Conf Inform Sci Syst"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45654-6_33"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(01)00083-8"},{"key":"24","first-page":"553","article-title":"Inte?gration d'une technique de ve?rification dans une proce?dure de synthe?se de contro?leurs de syste?mes parame?tre?s","author":"bherer","year":"2003","journal-title":"Mode?lisation des syste?mes re?actifs (MSR 2003)"},{"key":"25","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1007\/3-540-45319-9_7","article-title":"Automatic deductive verification with invisible invariants","volume":"2031","author":"pnueli","year":"2001","journal-title":"ser Lecture Notes in Computer Science"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008271916548"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/9.182478"},{"article-title":"Control of vector discrete-event systems","year":"1991","author":"li","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1137\/0325066"},{"year":"0","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/9.948486"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008371814442"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008301317459"},{"key":"9","first-page":"203","article-title":"Controllability and observability in the state-feedback control of discrete-event systems","author":"li","year":"1988","journal-title":"Proceedings of 27th IEEE Conference on Decision and Control"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/9.728885"}],"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\/01582704.pdf?arnumber=1582704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T09:51:30Z","timestamp":1497693090000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1582704\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/cdc.2005.1582704","relation":{},"subject":[]}}