{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:51:18Z","timestamp":1761486678042,"version":"3.41.2"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"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":[[1998,6]]},"DOI":"10.1023\/a:1008285600895","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T08:47:34Z","timestamp":1040546854000},"page":"105-135","source":"Crossref","is-referenced-by-count":32,"title":["Synthesis and Viability of Minimally Interventive Legal Controllers for Hybrid Systems"],"prefix":"10.1007","volume":"8","author":[{"given":"Michael","family":"Heymann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"164020_CR1","doi-asserted-by":"crossref","unstructured":"Abrial, J.\u2013R. 1995. Steam\u2013boiler control specification problem. Dagstuhl Meeting: Method for Semantics and Specification.","DOI":"10.1007\/BFb0027252"},{"key":"164020_CR2","doi-asserted-by":"crossref","unstructured":"Alur, R., and Dill, D. 1990. Automata for modeling real\u2013time systems. Proc. of the 17th International Colloquium on Automata, Languages and Programming, pp. 322\u2013336.","DOI":"10.1007\/BFb0032042"},{"key":"164020_CR3","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","volume":"736","author":"R. Alur","year":"1993","unstructured":"Alur, R., Courcoubetis, C., Henzinger, T. A., and Ho, P.\u2013H. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems, Lecture Notes in Computer Science, 736, Springer\u2013Verlag, pp. 209\u2013229.","journal-title":"Hybrid Systems, Lecture Notes in Computer Science"},{"key":"164020_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T. A., Ho, P.\u2013H., Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science 138: 3\u201334.","journal-title":"Theoretical Computer Science"},{"key":"164020_CR5","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T. A., and Sontag, E. (eds.). 1996. Hybrid Systems III, Verification and Control, Lecture Notes in Computer Science, 1066, Springer\u2013Verlag.","DOI":"10.1007\/BFb0020931"},{"key":"164020_CR6","doi-asserted-by":"crossref","unstructured":"Alur, R., and Henzinger, T. A. 1997. Modularity of timed and hybrid systems. Preprint.","DOI":"10.1007\/BFb0020931"},{"key":"164020_CR7","doi-asserted-by":"crossref","unstructured":"Antsaklis, P., Kohn, W., Nerode, A., and Sastry, S. (eds.). 1995. Hybrid Systems II, Lecture Notes in Computer Science, 999, Springer\u2013Verlag.","DOI":"10.1007\/3-540-60472-3"},{"key":"164020_CR8","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/3-540-57318-6_37","volume":"736","author":"P. J. Antsaklis","year":"1993","unstructured":"Antsaklis, P. J., Stiver, J. A., and Lemmon, M. 1993. Hybrid system modeling and autonomous control systems. Hybrid Systems, Lecture Notes in Computer Science, 736, Springer\u2013Verlag, pp. 366\u2013392.","journal-title":"Hybrid Systems, Lecture Notes in Computer Science"},{"key":"164020_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-60472-3_1","volume":"999","author":"E. Azarin","year":"1995","unstructured":"Azarin, E., Maler, O., and Pnueli, A. 1995. Symbolic controller synthesis for discrete and timed systems. Hybrid Systems II, Lecture Notes in Computer Science, 999, Springer\u2013Verlag, pp. 1\u201320.","journal-title":"Hybrid Systems II, Lecture Notes in Computer Science"},{"key":"164020_CR10","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0304-3975(94)00147-B","volume":"138","author":"M. S. Branicky","year":"1995","unstructured":"Branicky, M. S. 1995. Universal computation and other capabilities of hybrid and continuous dynamical systems. Theoretical Computer Science 138: 67\u2013100.","journal-title":"Theoretical Computer Science"},{"key":"164020_CR11","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/978-1-4612-0313-1_2","volume-title":"Essays in Control: Perspectives in the Theory and Its Application","author":"R. W. Brockett","year":"1993","unstructured":"Brockett, R. W. 1993. Hybrid models for motion control systems. Essays in Control: Perspectives in the Theory and Its Application. Boston: Birkhauser, pp. 29\u201353."},{"issue":"12","key":"164020_CR12","doi-asserted-by":"crossref","first-page":"1921","DOI":"10.1109\/9.182478","volume":"38","author":"S. L. Chung","year":"1992","unstructured":"Chung, S. L., Lafortune, S., and Lin, F. 1992. Limited lookahead policies in supervisory control of discrete event systems. IEEE Transactions on Automatic Control 38(12): 1921\u20131935.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"164020_CR13","doi-asserted-by":"crossref","unstructured":"Grossman, R. L., Nerode, A., Rischel, Raven. (eds.). 1993. Hybrid Systems, Lecture Notes in\nComputer Science, 736, Springer\u2013Verlag.","DOI":"10.1007\/3-540-57318-6"},{"key":"164020_CR14","doi-asserted-by":"crossref","unstructured":"Henzinger, T., Kopke, P., Puri, A., and Varaiya, P. 1995. What's decidable about hybrid automata. Proc. of the 27th Annual ACM Symposium on the Theory of Computing.","DOI":"10.1145\/225058.225162"},{"key":"164020_CR15","doi-asserted-by":"crossref","unstructured":"Henzinger, T. A., and Kopke, P. W. 1997. Discrete time control for rectangular hybrid automata. Proceedings, 24th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science, Springer\u2013Verlag.","DOI":"10.1007\/3-540-63165-8_213"},{"issue":"4","key":"164020_CR16","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1109\/37.56284","volume":"10","author":"M. Heymann","year":"1990","unstructured":"Heymann, M. 1990. Concurrency and discrete event control. IEEE Control Systems Magazine 10(4): 103\u2013112.","journal-title":"IEEE Control Systems Magazine"},{"issue":"3","key":"164020_CR17","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF01438708","volume":"4","author":"M. Heymann","year":"1994","unstructured":"Heymann, M., and Lin, F. 1994. On\u2013line control of partially observed discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 4(3): 221\u2013236.","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"164020_CR18","unstructured":"Heymann, M., and Lin, F. 1996a. Discrete event control of nondeterministic systems. Technion, Israel, CIS Report 9601."},{"key":"164020_CR19","doi-asserted-by":"crossref","unstructured":"Heymann, M., and Lin, F. 1996b. Nonblocking supervisory control of nondeterministic systems. Technion, Israel, CIS Report 9620.","DOI":"10.1007\/978-3-663-09823-2_9"},{"key":"164020_CR20","doi-asserted-by":"crossref","unstructured":"Heymann, M., Lin, F., and Meyer, G. 1997. Control synthesis for a class of hybrid systems subject to configuration based safety constraints. In O. Maler (ed.), Hybrid and Real\u2013Time Systems, HART'97, Lecture Notes in Computer Science, 1201, Springer\u2013Verlag, pp. 376\u2013390.","DOI":"10.1007\/BFb0014739"},{"key":"164020_CR21","doi-asserted-by":"crossref","unstructured":"Heymann, M., Lin, F., and Meyer, G. 1997. Synthesis of minimally restrictive controllers for a class of hybrid systems. In P. Antsaklis, W. Kohn, A. Nerode and S. Sastry (eds.), Hybrid Systems IV, Lecture Notes in Computer Science, 1273, Springer\u2013Verlag, pp. 134\u2013159.","DOI":"10.1007\/BFb0031559"},{"key":"164020_CR22","doi-asserted-by":"crossref","unstructured":"Heymann, M., Lin, F., and Meyer, G. 1997. Control synthesis for a class of hybrid systems subject to configuration based safety constraints. NASA Technical Memorandum 112196.","DOI":"10.1007\/BFb0014739"},{"key":"164020_CR23","doi-asserted-by":"crossref","unstructured":"Kapur, D., and Shyamasundar, R. K. 1997. Synthesizing controllers for hybrid systems. In O. Maler, (ed.), Hybrid and Real Time Systems, HART'97\n, Lecture Notes in Computer Science, 1201, Springer\u2013Verlag, pp. 361\u2013375.","DOI":"10.1007\/BFb0014738"},{"issue":"3","key":"164020_CR24","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F. Lin","year":"1988","unstructured":"Lin, F., and Wonham, W. M. 1988. On observability of discrete event systems. Information Sciences 44(3): 173\u2013198.","journal-title":"Information Sciences"},{"issue":"12","key":"164020_CR25","doi-asserted-by":"crossref","first-page":"1330","DOI":"10.1109\/9.61009","volume":"35","author":"F. Lin","year":"1990","unstructured":"Lin, F., and Wonham, W. H. 1990. Decentralized control and coordination of discrete event systems with partial observation. IEEE Transactions on Automatic Control 35(12): 1330\u20131337.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"164020_CR26","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1109\/9.376081","volume":"40","author":"F. Lin","year":"1994","unstructured":"Lin, F., and Wonham, W. H. 1994. Supervisory control of timed discrete event systems under partial observation. IEEE Transactions on Automatic Control 40(3): 558\u2013562.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"164020_CR27","doi-asserted-by":"crossref","unstructured":"Lygeros, J., Godbole, D., and Sastry, S. 1996. Multiagent hybrid system design using game theory and optimal control. Proceedings 1996 Conference on Decision and Control, Kobe, Japan, Dec. 11\u201313, pp. 1190\u20131195.","DOI":"10.1109\/CDC.1996.572647"},{"key":"164020_CR28","doi-asserted-by":"crossref","unstructured":"Maler, O., Manna, Z., and Pnueli, A. 1991. From timed to hybrid systems. In Real Time: Theory in Practice, Lecture Notes in Computer Science, 600, Springer\u2013Verlag, pp. 447\u2013484.","DOI":"10.1007\/BFb0032003"},{"key":"164020_CR29","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","volume":"900","author":"O. Maler","year":"1995","unstructured":"Maler, O., Pnueli, A., and Sifakis, J. 1995. On the synthesis of discrete controllers for timed systems. Lecture Notes in Computer Science, 900, Springer\u2013Verlag, pp. 229\u2013242.","journal-title":"Lecture Notes in Computer Science"},{"key":"164020_CR30","doi-asserted-by":"crossref","unstructured":"Maler, O. (ed.). 1997. Hybrid and Real\u2013Time Systems, HART'97, Lecture Notes in Computer Science, 1201, Springer\u2013Verlag.","DOI":"10.1007\/BFb0014706"},{"key":"164020_CR31","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/3-540-57318-6_22","volume":"736","author":"Z. Manna","year":"1993","unstructured":"Manna, Z., and Pnueli, A. 1993. Verifying hybrid systems. Hybrid Systems, Lecture Notes in Computer Science, 736, Springer\u2013Verlag, pp. 4\u201335.","journal-title":"Hybrid Systems, Lecture Notes in Computer Science"},{"key":"164020_CR32","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/3-540-57318-6_35","volume":"736","author":"A. Nerode","year":"1993","unstructured":"Nerode, A., and Kohn, W. 1993. Models for hybrid systems: automata, topologies, controllability, observability. Hybrid Systems, Lecture Notes in Computer Science, 736, Springer\u2013Verlag, pp. 317\u2013356.","journal-title":"Hybrid Systems, Lecture Notes in Computer Science"},{"key":"164020_CR33","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/3-540-57318-6_28","volume":"736","author":"X. Nicollin","year":"1993","unstructured":"Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S. 1993. An approach to the description and analysis of hybrid systems. Hybrid Systems, Lecture Notes in Computer Science, 736, Springer\u2013Verlag, pp. 149\u2013178.","journal-title":"Hybrid Systems, Lecture Notes in Computer Science"},{"key":"164020_CR34","first-page":"549","volume":"600","author":"X. Nicollin","year":"1991","unstructured":"Nicollin, X., Sifakis, J., and Yovine, S. 1991. From ATP to timed graphs and hybrid systems. Real Time: Theory in Practice, Lecture Notes in Computer Science, 600, Springer\u2013Verlag, pp. 549\u2013572.","journal-title":"Real Time: Theory in Practice, Lecture Notes in Computer Science"},{"issue":"1","key":"164020_CR35","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"R. J. Ramadge","year":"1987","unstructured":"Ramadge, R. 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"},{"issue":"1","key":"164020_CR36","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 IEEE 77(1): 81\u201398.","journal-title":"Proceedings of IEEE"},{"key":"164020_CR37","first-page":"1527","volume-title":"Proceedings 1991 Conference on Decision and Control","author":"H. Wong\u2013Toi","year":"1991","unstructured":"Wong\u2013Toi, H., and Hoffmann, G. 1991. The control of dense real\u2013time systems. Proceedings 1991 Conference on Decision and Control, Brighton, England, pp. 1527\u20131528."},{"key":"164020_CR38","unstructured":"Wong\u2013Toi, H. 1997. Synthesis of controllers for linear hybrid automata. Proceedings 1997 Conference on Decision and Control, San Diego, December 10\u201312."}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008285600895.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008285600895\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008285600895.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T04:07:40Z","timestamp":1753762060000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008285600895"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,6]]}},"alternative-id":["164020"],"URL":"https:\/\/doi.org\/10.1023\/a:1008285600895","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}