{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:04:31Z","timestamp":1761487471095},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2005,10,13]],"date-time":"2005-10-13T00:00:00Z","timestamp":1129161600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2005,12]]},"DOI":"10.1007\/s10626-005-4059-x","type":"journal-article","created":{"date-parts":[[2005,10,7]],"date-time":"2005-10-07T02:47:50Z","timestamp":1128653270000},"page":"397-431","source":"Crossref","is-referenced-by-count":9,"title":["A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems"],"prefix":"10.1007","volume":"15","author":[{"given":"Ahmed","family":"Khoumsi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,10,13]]},"reference":[{"key":"4059_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., and Dill, D. 1994. A theory of timed automata. Theoretical Computer Science 126: 183\u2013235.","journal-title":"Theoretical Computer Science"},{"key":"4059_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., and Dill, D. 1990. Model checking for real-time systems. In Proc. IEEE Sympos. on Logic in Computer Science.","DOI":"10.1109\/LICS.1990.113766"},{"key":"4059_CR3","doi-asserted-by":"crossref","unstructured":"Asarin, E., Maler, O., and Pnueli, A. 1995. Symbolic controller synthesis for discrete and timed systems. In Hybrid Syst. II, Lecture Notes in Computer Science (LNCS) 999, pp. 1\u201320. Springer-Verlag, London, UK.","DOI":"10.1007\/3-540-60472-3_1"},{"key":"4059_CR4","doi-asserted-by":"crossref","unstructured":"Asarin, E., Maler, O., Pnueli, A., and Sifakis, J. 1998. Controller synthesis for timed automata. In Proc. IFAC Symposium on System Structure and Control, pp. 469\u2013474. Elsevier.","DOI":"10.1016\/S1474-6670(17)42032-5"},{"key":"4059_CR5","doi-asserted-by":"crossref","first-page":"1543","DOI":"10.1109\/9.728871","volume":"43","author":"M. Barbeau","year":"1998","unstructured":"Barbeau, M., Kabanza, F., and St-Denis, R. 1998. A method for the synthesis of controllers to handle safety, liveness, and real-time constraints. IEEE Transactions on Automatic Control 43: 1543\u20131559.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"4059_CR6","doi-asserted-by":"crossref","unstructured":"Bouyer, P., D'Souza, D., Madhusudan, P., and Petit, A. 2003. Timed control with partial observability. In Proc. Intern. Works. Comp.-Aided Verif. (CAV), LNCS 2725, pp. 180\u2013192. Springer-Verlag, Boulder, Colorado, USA.","DOI":"10.1007\/978-3-540-45069-6_18"},{"issue":"2","key":"4059_CR7","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1109\/9.272327","volume":"39","author":"B. Brandin","year":"1994","unstructured":"Brandin, B., and Wonham, W. M. 1994. Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control 39(2): 329\u2013342.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"4059_CR8","doi-asserted-by":"crossref","unstructured":"Daws, C., and Yovine, S. 1995. Two examples of verification of multirate timed automata with KRONOS. In Proc. 16th IEEE Real-Time Sympos (RTSS), Italy.","DOI":"10.1109\/REAL.1995.495197"},{"key":"4059_CR9","doi-asserted-by":"crossref","unstructured":"D'Souza, D., and Madhusudan, P. 2002. Timed control synthesis for external specifications. In Proc. 14th Annual Symp. on Theoret. Aspects of Comp. Sc. (STACS), Lecture Notes in Computer Science 2285. Springer-Verlag, Antibes-Juan les Pins, France.","DOI":"10.1007\/3-540-45841-7_47"},{"key":"4059_CR10","unstructured":"Gouin, A. 1999. Contribution \u00e0 la commande de syst\u00e8mes \u00e0 \u00e9v\u00e9nements discrets temporis\u00e9s: synth\u00e8se de superviseur dans le cadre de mod\u00e8le automate, PhD thesis, Laboratoire d'Ing\u00e9nierie des Syst\u00e8mes Automatis\u00e8s, University of Angers, Angers, France."},{"key":"4059_CR11","unstructured":"Gouin, A., and Ferrier, J. L. 2000. Commande supervis\u00e9e de syst\u00e8mes \u00e0 \u00e9v\u00e9nements discrets temporis\u00e9s: synth\u00e8se bas\u00e9e sur les automates de r\u00e9gions. In 1re Conf. Int. Francophone d'Automatique (CIFA), pp. 594\u2013599, Lille, France, July."},{"key":"4059_CR12","doi-asserted-by":"crossref","unstructured":"Hoffman, G., and Wong-Toi, H. 1992. The input\u2013output control of real-time discrete event systems. In Proc. 13th IEEE Real-Time Systems Sympos. (RTSS), pp. 256\u2013265.","DOI":"10.1109\/REAL.1992.242655"},{"key":"4059_CR13","doi-asserted-by":"crossref","unstructured":"Jard, C., J\u00e9ron, T., Tanguy, L., and Viho, C. 1999. Remote testing can be as powerful as local testing. In Proc. PSTV\/FORTE, Beijing, China, October.","DOI":"10.1007\/978-0-387-35578-8_2"},{"key":"4059_CR14","doi-asserted-by":"crossref","unstructured":"J\u00e9ron, T., Marchand, H., Rusu, V., and Tschaen, V. 2003. Ensuring the conformance of reactive discrete-event systems using supervisory control. In 42nd CDC, Hawaii, USA, December.","DOI":"10.1080\/00207540410001705202"},{"key":"4059_CR15","unstructured":"Khoumsi, A. 2002. Supervisory control of dense real-time discrete-event systems with partial observation. In Proc. 6th Intern. Workshop on Discrete Event Systems (WODES), Zaragoza, Spain, October. http:\/\/www.gel.usherb.ca\/khoumsi\/Research\/Public\/WODES02.ps."},{"key":"4059_CR16","unstructured":"Khoumsi, A. 2004. Supervisory control for the conformance of real-time discrete-event systems. In Proc. 7th Intern. Workshop on Discrete Event Systems (WODES), Reims, France, September. http:\/\/www.gel.usherb.ca\/khoumsi\/Research\/Public\/WODES04.ps."},{"key":"4059_CR17","unstructured":"Khoumsi, A., and Ouedraogo, L. 2004. A new method for transforming timed automata. In Proc. Brazilian Symposium of Formal Methods (SBMF), Recife, Brazil, November. http:\/\/www.gel.usherb.ca\/khoumsi\/Research\/Public\/SBMF04-SetExp.pdf."},{"key":"4059_CR18","doi-asserted-by":"crossref","unstructured":"Larsen, K. G. 1995. Compositional and symbolic model-checking of real-time systems. In Proc. 16th IEEE Real-Time Systems Sympos. (RTSS), Italy.","DOI":"10.1109\/REAL.1995.495198"},{"key":"4059_CR19","doi-asserted-by":"crossref","unstructured":"Maler, O., Pnueli, A., and Sifakis, J. 1995. On the synthesis of discrete controllers for timed systems. In Proc. 12th Annual Sympos. on Theoretical Aspects of Computer Science (STACS), pp. 229\u2013242. Springer-Verlag LNCS 900.","DOI":"10.1007\/3-540-59042-0_76"},{"issue":"2","key":"4059_CR20","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1109\/71.80145","volume":"1","author":"J. S. Ostroff","year":"1990","unstructured":"Ostroff, J. S. 1990. Deciding properties of timed transitions models. IEEE Transactions on Parallel and Distributed Systems 1(2): 170\u2013183.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"issue":"1","key":"4059_CR21","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P. J. Ramadge","year":"1987","unstructured":"Ramadge, P. J., and Wonham, W. M. 1987. Supervisory control of a class of discrete event processes. SIAM J. Control and Optimization 25(1): 206\u2013230.","journal-title":"SIAM J. Control and Optimization"},{"key":"4059_CR22","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"P. J. Ramadge","year":"1989","unstructured":"Ramadge, P. J., and Wonham, W. M. 1989. The control of discrete event systems. Proc. IEEE, 77:81\u201398, January.","journal-title":"Proc. IEEE"},{"issue":"3","key":"4059_CR23","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J. 1996. Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools. 17(3): 103\u2013120.","journal-title":"Software-Concepts and Tools"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-005-4059-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-005-4059-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-005-4059-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T05:56:59Z","timestamp":1586498219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-005-4059-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,10,13]]},"references-count":23,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["4059"],"URL":"https:\/\/doi.org\/10.1007\/s10626-005-4059-x","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,10,13]]}}}