{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:27:55Z","timestamp":1729625275769,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cdc.2003.1273027","type":"proceedings-article","created":{"date-parts":[[2004,7,8]],"date-time":"2004-07-08T16:05:44Z","timestamp":1089302744000},"page":"2673-2679","source":"Crossref","is-referenced-by-count":2,"title":["The control and verifcation of similar agents operating in a broadcast network environment"],"prefix":"10.1109","volume":"3","author":[{"given":"K.","family":"Rohloff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90001-1"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/9.61009"},{"key":"ref12","first-page":"223","article-title":"Veri£cation of nonblocking in decentralized supervision","volume":"7","author":"lin","year":"1991","journal-title":"Control-Theory and Advanced Technology"},{"key":"ref13","article-title":"Modular control of composed systems","author":"queiroz","year":"2000","journal-title":"Proc of 2000 American Control Conference"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/9.8645"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.1109\/CDC.2002.1184460","article-title":"On the computational complexity of the veri£cation of modular discrete-event systems","author":"rohloff","year":"2002","journal-title":"Proc 41st IEEE Conf on Decision and Control"},{"key":"ref17","article-title":"Recent results on computational issues in supervisory control","author":"rohloff","year":"2003","journal-title":"Proc ATPN-workshop on Discrete Event Systems Control"},{"key":"ref18","article-title":"Supervisor existence for modular discrete-event systems","author":"rohloff","year":"2003","journal-title":"Proc IFAC Conf Control Syst Design"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/9.173140"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2920"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875441"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/333979.333987"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/3477.875442"},{"key":"ref8","article-title":"Hierarchical interface based supervisory control: AIP example","author":"leduc","year":"2001","journal-title":"39th Allerton Conf on Comm Contr and Comp"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2001.980825"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/9.847723"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(88)90002-3"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1092"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008210519960"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1080\/00207179108934202"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551233"}],"event":{"name":"42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)","acronym":"CDC-03","location":"Maui, Hawaii, USA"},"container-title":["42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8969\/28482\/01273027.pdf?arnumber=1273027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T13:50:35Z","timestamp":1585835435000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1273027\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/cdc.2003.1273027","relation":{},"subject":[]}}