{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T18:15:44Z","timestamp":1758824144091},"reference-count":44,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["International Journal of Control"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.1080\/00207170903062174","type":"journal-article","created":{"date-parts":[[2009,8,24]],"date-time":"2009-08-24T21:52:44Z","timestamp":1251150764000},"page":"1-39","source":"Crossref","is-referenced-by-count":11,"title":["A new method for centralised and modular supervisory control of real-time discrete event systems"],"prefix":"10.1080","volume":"83","author":[{"given":"Lucien","family":"Ou\u00e9draogo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Khoumsi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mustapha","family":"Nourelfath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2009,8,17]]},"reference":[{"key":"CIT0001","first-page":"55","volume-title":"Proceedings of IEEE Symposium on Logic in Computer Science","author":"Alur R","year":"1990"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"CIT0005","first-page":"469","volume-title":"IFAC Symposium on System Structure and Control","author":"Asarin E","year":"1998"},{"key":"CIT0006","doi-asserted-by":"crossref","first-page":"145","DOI":"10.3233\/FI-1998-36233","volume":"36","author":"B\u00e9rard B","year":"1998","journal-title":"Fundamenta Informaticae"},{"key":"CIT0007","doi-asserted-by":"crossref","first-page":"2230","DOI":"10.1109\/CDC.1993.325595","volume-title":"IEEE Conference on Decision and Control","author":"Brandin BA","year":"1993"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"CIT0010","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1109\/3477.875447","volume":"30","author":"Chen H","year":"2000","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part B"},{"key":"CIT0011","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1109\/REAL.1996.563702","volume-title":"Proceedings of the 17th IEEE Real-time Systems Symposium","author":"Daws C","year":"1996"},{"key":"CIT0012","first-page":"571","volume-title":"Proceedings of the 14th Annual Symposium on Theoretical Aspects of Computer Science (STACS) Lecture Notes in Computer Science (LNCS) 2285","author":"D'Souza D"},{"key":"CIT0013","volume-title":"Proceedings of the 6th Colloque Francophone de l'Ing\u00e9nierie des Protocoles (CFIP)","author":"En-Nouaary A","year":"1997"},{"key":"CIT0014","first-page":"220","volume-title":"IEEE Real-time Systems Symposium","author":"En-Nouaary A","year":"1998"},{"key":"CIT0015","doi-asserted-by":"crossref","first-page":"1023","DOI":"10.1109\/TSE.2002.1049402","volume":"28","author":"En-Nouaary A","year":"2002","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CIT0016","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1109\/3477.875441","volume":"30","author":"Gohari P","year":"2000","journal-title":"IEEE Transaction on Systems, MAN and Cybernetics, Part B"},{"key":"CIT0017","doi-asserted-by":"crossref","first-page":"1187","DOI":"10.1109\/TAC.2003.814101","volume":"48","author":"Gohari P","year":"2003","journal-title":"IEEE Transactions on Automatic Control"},{"key":"CIT0018","volume-title":"Proceedings of the European Control Conference ECC'99","author":"Gouin A","year":"1999"},{"key":"CIT0019","volume-title":"Conf\u00e9rence Internationale Francophone d'Automatique","author":"Gouin A","year":"2000"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1080\/002071700219515"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1080\/0020717031000088210"},{"key":"CIT0024","first-page":"1081","volume-title":"Proceedings of the 7th IEEE International Conference on Emerging Technologies and Factory Automation ETFA '99, Vol. 2","volume":"2","author":"Khatab A","year":"1999"},{"key":"CIT0025","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/978-0-387-35516-0_18","volume-title":"International Conference on Testing Communicating Systems (TestCom 2000)","author":"Khoumsi A","year":"2000"},{"key":"CIT0026","first-page":"105","volume-title":"6th IEEE International Workshop on Discrete Event Systems (WODES)","author":"Khoumsi A","year":"2002"},{"key":"CIT0027","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/3-540-45739-9_20","volume-title":"IEEE International Symposium on Formal Techniques in Real-time and Fault-Tolerant Systems (FTRTFT)","author":"Khoumsi A","year":"2002"},{"key":"CIT0028","volume-title":"Proceedings of the 8th International Conference on Real-time Computing Systems (RTCSA)","author":"Khoumsi A","year":"2002"},{"key":"CIT0029","first-page":"101","volume-title":"Proceedings of the Brazilian Symposium on Formal Methods (SBMF 04), Electronic Notes in Theoretical Computer Science, Vol. 13","volume":"130","author":"Khoumsi A","year":"2004"},{"key":"CIT0030","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/s10626-005-4059-x","volume":"15","author":"Khoumsi A","year":"2005","journal-title":"Journal of Discrete Event Dynamic Systems"},{"key":"CIT0031","volume-title":"IASTED International Conference on Intelligent Systems and Control (ISC)","author":"Khoumsi A","year":"2005"},{"key":"CIT0032","first-page":"350","volume-title":"Proceedings of DIMACS Workshop on Verification and Control of Hybrid Systems","author":"Kumar R","year":"1995"},{"key":"CIT0033","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1006\/inco.1997.2623","volume":"134","author":"Larsen KG","year":"1997","journal-title":"Information and Computation"},{"key":"CIT0035","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1016\/j.matcom.2005.11.009","volume":"70","author":"Nourelfath M","year":"2006","journal-title":"Mathematics and Computers in Simulation"},{"key":"CIT0036","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1109\/71.80145","volume":"1","author":"Ostroff JS","year":"1990","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"CIT0037","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/9.52290","volume":"35","author":"Ostroff JS","year":"1990","journal-title":"IEEE Transaction on Automatic Control"},{"key":"CIT0038","volume-title":"Conf\u00e9rence francophone de Mod\u00e9lisation et Simulation (MOSIM)","author":"Ou\u00e9draogo L","year":"2006"},{"key":"CIT0039","first-page":"168","volume-title":"IEEE International Workshop on Discrete Event Systems (WODES)","author":"Ou\u00e9draogo L","year":"2006"},{"key":"CIT0040","series-title":"Technical Report CIRRELT-2008-05","volume-title":"Setexp: A New Method of Transformation of Timed Automata into Finite State Automata","author":"Ou\u00e9draogo L","year":"2008"},{"key":"CIT0041","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cta:20040441"},{"key":"CIT0042","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"CIT0043","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"CIT0044","first-page":"16","volume-title":"Proceedings of IEEE Conference on Decision and Control","author":"Rohloff K","year":"2002"},{"key":"CIT0045","volume-title":"Proceedings of the ATPN Workshop on Discrete Event Systems Control","author":"Rohloff K","year":"2003"},{"key":"CIT0046","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/s10626-004-6210-5","volume":"15","author":"Rudie K","year":"2005","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"CIT0047","first-page":"863","volume-title":"Proceedings of the 9th IEEE International Conference on Methods and Models in Automation and Robotics","author":"Spathopoulos MP","year":"2003"},{"key":"CIT0048","first-page":"1527","volume-title":"Proceedings of 30th IEEE Conference on Decision and Control","author":"Wong-Toi H","year":"1991"},{"key":"CIT0049","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1137\/0325036","volume":"23","author":"Wonham WM","year":"1987","journal-title":"SIAM Journal of Control and Optimization"},{"key":"CIT0050","doi-asserted-by":"publisher","DOI":"10.1007\/BF02551233"}],"container-title":["International Journal of Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207170903062174","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,21]],"date-time":"2020-05-21T18:11:35Z","timestamp":1590084695000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/00207170903062174"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,17]]},"references-count":44,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2009,8,17]]},"published-print":{"date-parts":[[2010,1]]}},"alternative-id":["10.1080\/00207170903062174"],"URL":"https:\/\/doi.org\/10.1080\/00207170903062174","relation":{},"ISSN":["0020-7179","1366-5820"],"issn-type":[{"value":"0020-7179","type":"print"},{"value":"1366-5820","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,8,17]]}}}