{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,8]],"date-time":"2023-10-08T07:22:52Z","timestamp":1696749772826},"reference-count":22,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2011,7,1]],"date-time":"2011-07-01T00:00:00Z","timestamp":1309478400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/tac.2010.2089563","type":"journal-article","created":{"date-parts":[[2010,11,5]],"date-time":"2010-11-05T19:09:32Z","timestamp":1288984172000},"page":"1621-1635","source":"Crossref","is-referenced-by-count":6,"title":["On Tractable Instances of Modular Supervisory Control"],"prefix":"10.1109","volume":"56","author":[{"given":"Ramakrishna","family":"Gummadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikhil","family":"Singh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramavarapu S.","family":"Sreenivas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1137\/0325066"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref13","author":"cassandras","year":"2007","journal-title":"Introduction to Discrete Event Systems"},{"key":"ref14","author":"kumar","year":"1994","journal-title":"Modeling and Control of Logical Discrete Event Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.16"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/9781118033166"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BF02127974"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4493-7_10"},{"key":"ref19","author":"paliwal","year":"2007","journal-title":"Tractable Instances of Supervisory Control Theory"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90113-5"},{"key":"ref3","author":"papadimitriou","year":"1994","journal-title":"Computational Complexity"},{"key":"ref6","author":"garey","year":"1979","journal-title":"Computers and Intractability A Guide to the Theory of NP-Completeness"},{"key":"ref5","author":"landau","year":"1976","journal-title":"Course of Theoretical Physics Vol I Mechanics"},{"key":"ref8","author":"cormen","year":"1990","journal-title":"Introduction to Algorithms"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/122295.993136"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875441"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-004-6210-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/9.654883"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1996.572970"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/9.533677"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9\/5937467\/05608496.pdf?arnumber=5608496","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:47:05Z","timestamp":1633909625000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5608496\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":22,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tac.2010.2089563","relation":{},"ISSN":["0018-9286"],"issn-type":[{"value":"0018-9286","type":"print"}],"subject":[],"published":{"date-parts":[[2011,7]]}}}