{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T17:51:11Z","timestamp":1787507471835,"version":"build-2736575974"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dynamic Systems"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1023\/a:1013339920783","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T16:46:14Z","timestamp":1040661974000},"page":"83-107","source":"Crossref","is-referenced-by-count":68,"title":["Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations"],"prefix":"10.1007","volume":"12","author":[{"given":"Thomas","family":"Moor","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J\u00f6rg","family":"Raisch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Siu","family":"O'Young","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"390400_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T. A., and Ho, P.-H. 1993. Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems. In Grossman et al. Hybird Systems IV, Lecture Notes in Computer Sciences, pp. 209\u2013229.","DOI":"10.1007\/3-540-57318-6_30"},{"key":"390400_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T. A., and Sontag, E. D., editors. 1996. Hybrid Systems III, Lecture Notes in Computer Sciences, vol. 1066, Springer-Verlag.","DOI":"10.1007\/BFb0020931"},{"key":"390400_CR3","doi-asserted-by":"crossref","unstructured":"Antsaklis, P. J., Stiver, J. A., and Lemmon, M. 1993. Hybrid system modeling and autonomous control systems. In Grossman et al., Hybird Systems IV, Lecture Notes in Computer Sciences, pp. 366\u2013392.","DOI":"10.1007\/3-540-57318-6_37"},{"key":"390400_CR4","doi-asserted-by":"crossref","unstructured":"Antsaklis, P. J., Kohn, W., Nerode, A., and Sastry, S., editors. 1995. Hybrid Systems II, Lecture Notes in Computer Sciences, vol. 999, Springer-Verlag.","DOI":"10.1007\/3-540-60472-3"},{"key":"390400_CR5","doi-asserted-by":"crossref","unstructured":"Antsaklis, P. J., Kohn, W., Nerode, A., and Sastry, S., editors. 1997. Hybrid Systems IV, Lecture Notes in Computer Sciences, vol. 1273, Springer-Verlag.","DOI":"10.1007\/BFb0031551"},{"key":"390400_CR6","doi-asserted-by":"crossref","unstructured":"Antsaklis, P. J., Kohn, W., Lemmon, M., Nerode, A., and Sastry, S., editors. 1999. Hybrid Systems V, Lecture Notes in Computer Sciences, vol. 1567, Springer-Verlag.","DOI":"10.1007\/3-540-49163-5"},{"issue":"4","key":"390400_CR7","volume":"43","year":"1998","unstructured":"Antsaklis, P. J., and Nerode, A., editors. 1998. IEEE Transactions on Automatic Control, 43(4), Special issue on hybrid systems.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"390400_CR8","unstructured":"Chutinan, A., and Krogh, B. H. 1998. Computing polyhedral approximations to flow pipes for dynamic systems. Proceedings of the 37rd IEEE Conference on Decision and Control."},{"key":"390400_CR9","doi-asserted-by":"crossref","unstructured":"Chutinan, A., and Krogh, B. H. 1999. Computing Approximating Automata for a Class of Linear Hybrid Systems. In Antsaklis et al., Hybird Systems V, Lecture Notes in Computer Sciences, pp. 16\u201338.","DOI":"10.1007\/3-540-49163-5_2"},{"key":"390400_CR10","doi-asserted-by":"crossref","unstructured":"Cury, J. E. R., Krogh, B. A., and Niinomi, T. 1998. Synthesis of supervisory controllers for hybrid systems based on approximating automata. In Antsaklis and Nerode, 1998, IEEE Transactions on Automatic Control, pp. 564\u2013568.","DOI":"10.1109\/9.664159"},{"key":"390400_CR11","doi-asserted-by":"crossref","unstructured":"Dang, T., and Maler, O. 1998. Reachability analysis via face lifting. In Henzinger, T. A. and Sastry, S., editors, Hybrid Systems: Computation and Control, Lecture Notes in Computer Sciences, Springer-Verlag, 1386, pp. 96\u2013109","DOI":"10.1007\/3-540-64358-3_34"},{"issue":"3","key":"390400_CR12","volume":"38","year":"1999","unstructured":"Evans, R. J., and Savkin, A. V., editors. 1999. Systems and Control Letters, 38(3), Special issue on hybrid control systems.","journal-title":"Systems and Control Letters"},{"key":"390400_CR13","first-page":"630","volume-title":"Proc. CESA98","author":"D. Franke","year":"1998","unstructured":"Franke, D., and Moor, T. 1998. Combined rule-and model-based design of a hybrid thermal process. In Proc. CESA98, Nabeul-Hammamet, Tunesia, pp. 630\u2013634."},{"key":"390400_CR14","doi-asserted-by":"crossref","unstructured":"Grossman, R. L., Nerode, A., Ravn, A. P., and Rischel, H., editors. 1993. Hybrid Systems IV, Lecture Notes in Computer Sciences, Springer-Verlag, 736.","DOI":"10.1007\/3-540-57318-6"},{"key":"390400_CR15","unstructured":"Klein, E., and Raisch, J. 1998a. Safety enforcement in process control cystems\u2014a batch evaporator example. Proc. WODES'98\u2014International Workshop on Discrete Event Systems, IEEE, pp. 327\u2013333."},{"key":"390400_CR16","unstructured":"Klein, E., Kienle, A., and Raisch, J. 1998b. Synthesizing a supervisory control scheme for the start-up procedure of a distillation column\u2014An approach based on approximating continuous dynamics by DES models. Proc. LSS'98\u20148th IFAC Colloquium on Large Scale Systems, pp. 716\u2013721."},{"key":"390400_CR17","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1080\/00207179508921535","volume":"62","author":"J. Lunze","year":"1995","unstructured":"Lunze, J. 1995. Stabilization of nonlinear systems by qualitative feedback controllers. International Journal of Control 62, 109\u2013128.","journal-title":"International Journal of Control"},{"key":"390400_CR18","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/0005-1098(94)90119-8","volume":"30","author":"J. Lunze","year":"1994","unstructured":"Lunze, J. 1994. Qualitative modeling of linear dynamical systems with quantized state measurements. Automatica 30, 417\u2013431.","journal-title":"Automatica"},{"key":"390400_CR19","unstructured":"Moor, T. 1998a. Event driven control of switched-integrator-systems. 3rd International Conference ADPM'98, Automation of Mixed Processes: Dynamic Hybrid Systems, Reims, France, pp. 271\u2013277."},{"key":"390400_CR20","unstructured":"Moor, T., Raisch, J., and O'Young, S. D. 1998b. Supervisory control of hybrid systems via l-complete approximations. In Giua, A., Smedinga, R. and Spathopoulos, M., editors, Proc. WODES'98\u2014International Workshop on Discrete Event Systems, IEEE, pp. 426\u2013431."},{"key":"390400_CR21","unstructured":"Moor, T., and Raisch, J. 1998c. Estimating reachable states of hybrid systems via l-complete approximations. In Bajic, V. B., editor, Proc. SSCC'98\u2014Advances in Systems, Signals Control and Computers, IAAMSAD and the South African Branch of the Academy of Nonlinear Sciences, 3, 30\u201334."},{"key":"390400_CR22","doi-asserted-by":"crossref","unstructured":"Moor, T., and Raisch, J. 1999a. Discrete control of switched linear systems. Proceedings of the European Control Conference 1999.","DOI":"10.23919\/ECC.1999.7099846"},{"key":"390400_CR23","doi-asserted-by":"crossref","unstructured":"Moor, T., and Raisch, J. 1999b. Supervisory control of hybrid systems within a behavioral framework. In Evans and Savkin, Systems and Control Letters, pp. 157\u2013166.","DOI":"10.1016\/S0167-6911(99)00061-4"},{"key":"390400_CR24","unstructured":"O'Young, S. D. 1998. Hybrid RTSS. Faculty of Engineering, Memorial University of Newfoundland, Internal Report."},{"key":"390400_CR25","doi-asserted-by":"crossref","unstructured":"Puri, A., Varaiya, P., and Borkar, V. 1996. Epsilon approximations of differential inclusions. In Alur et al., Hybird Systems III, Lecture Notes in Computer Sciences, pp. 362\u2013376.","DOI":"10.1007\/BFb0020960"},{"key":"390400_CR26","doi-asserted-by":"crossref","unstructured":"Raisch, J., and O'Young, S. D. 1997. A totally ordered set of discrete abstractions for a given hybrid or continuous system. In Antsaklis et al., Hybird Systems IV, Lecture Notes in Computer Sciences, pp. 342\u2013360.","DOI":"10.1007\/BFb0031568"},{"key":"390400_CR27","unstructured":"Raisch, J. 1998a. A hierarchy of discrete abstractions for a given hybrid plant. In 3rd International Conference ADPM'98, Automation of Mixed Processes: Dynamic Hybrid Systems, Reims, France, pp. 55\u201362."},{"key":"390400_CR28","doi-asserted-by":"crossref","unstructured":"Raisch, J., and O'Young, S. D. 1998b. Discrete approximation and supervisory control of continuous systems. In Antsaklis and Nerode, IEEE Systems on Automatic Control, pp. 569\u2013573.","DOI":"10.1109\/9.664160"},{"key":"390400_CR29","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 systems. SIAM J. Control and Optimization 25, 206\u2013230.","journal-title":"SIAM J. Control and Optimization"},{"key":"390400_CR30","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. Proceedings of the IEEE, 77, 81\u201398.","journal-title":"Proceedings of the IEEE"},{"key":"390400_CR31","doi-asserted-by":"crossref","unstructured":"Tittus, M., and Egardt, B. 1994. Control-law synthesis for linear hybrid systems. Proceedings of the 33rd IEEE Conference on Decision and Control, pp. 961\u2013966.","DOI":"10.1109\/CDC.1994.410931"},{"key":"390400_CR32","first-page":"172","volume":"2","author":"J. C. Willems","year":"1989","unstructured":"Willems, J. C. 1989. Models for dynamics. Dynamics Reported 2, 172\u2013269.","journal-title":"Dynamics Reported"},{"issue":"3","key":"390400_CR33","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1109\/9.73561","volume":"36","author":"J. C. Willems","year":"1991","unstructured":"Willems, J. C. 1991. Paradigms and puzzles in the theory of dynamic systems. IEEE Transactions on Automatic Control 36(3), 258\u2013294.","journal-title":"IEEE Transactions on Automatic Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013339920783.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1013339920783\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1013339920783.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T04:18:52Z","timestamp":1753762732000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1013339920783"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["390400"],"URL":"https:\/\/doi.org\/10.1023\/a:1013339920783","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}