{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:57:17Z","timestamp":1761487037632,"version":"3.41.2"},"reference-count":54,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2003,7,1]],"date-time":"2003-07-01T00:00:00Z","timestamp":1057017600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,7,1]],"date-time":"2003-07-01T00:00:00Z","timestamp":1057017600000},"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":[[2003,7]]},"DOI":"10.1023\/a:1024050108075","type":"journal-article","created":{"date-parts":[[2003,9,12]],"date-time":"2003-09-12T17:07:28Z","timestamp":1063386448000},"page":"203-243","source":"Crossref","is-referenced-by-count":17,"title":["Safety and Reachability of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions"],"prefix":"10.1007","volume":"13","author":[{"given":"Xenofon D.","family":"Koutsoukos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panos J.","family":"Antsaklis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5124355_CR1","first-page":"3","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger. T., Ho, P-H., Nicollin. X., Oliveiro, A., Sifalus, J., and Yovine, S. 1995. The algorithmic analysis of hybrid systems. Theoretical and onzpiiter Science 138: 3-34.","journal-title":"Theoretical and onzpiiter Science"},{"issue":"7","key":"5124355_CR2","doi-asserted-by":"crossref","first-page":"971","DOI":"10.1109\/5.871304","volume":"88","author":"R. Alur","year":"2000","unstructured":"Alur. R., Henzinger. T., Lafferriere. G., and Pappas, G. 2000. Discrete abstractions of hybrid systems. Proceedings of IEEE 88(7): 971-984.","journal-title":"Proceedings of IEEE"},{"key":"5124355_CR3","doi-asserted-by":"crossref","unstructured":"Antsaklis, P. (ed.) 2000. Proceedings of the IEEE, Special Issue on Hybrid Systems: Theory and Applications, volume 88.","DOI":"10.1109\/JPROC.2000.871299"},{"issue":"9-10","key":"5124355_CR4","first-page":"1023","volume":"32","author":"P. Antsaklis","year":"1998","unstructured":"Antsaklis, P., Koutsoukos, X., and Zaytoon. J. 1998. On hybrid control of complex systems: A survey. European Journal of Autoniation 32(9-10): 1023-1045.","journal-title":"European Journal of Autoniation"},{"key":"5124355_CR5","doi-asserted-by":"crossref","unstructured":"Asarin, E., Boumez. 0., Dang, T., and Maler, 0. 2000a. Approximate reachability analysis of piecewise-linear dynamical systems. In N. Lynch and B. Krogh (eds). Hybrid Svsrenis-'oniputation and Control, volume 1790 of Lecture Notes in Computer Science. Springer-Verlag, pp. 20-31.","DOI":"10.1007\/3-540-46430-1_6"},{"issue":"7","key":"5124355_CR6","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.1109\/5.871306","volume":"88","author":"E. Asarin","year":"2000","unstructured":"Asarin, E., Bournez, 0., Dang, T., Maler. 0., and Pnueli. A. 2000b. Effective synthesis of switching controllers for linear systems. Proceedings of IEEE 88(7): 1011-1025.","journal-title":"Proceedings of IEEE"},{"key":"5124355_CR7","doi-asserted-by":"crossref","unstructured":"Asarin, E., Maler, 0., and Pnueli, A. 1995. Symbolic controller synthesis for discrete and timed systems. In P. Antsaklis, W. Kohn. A. Nerode, and S. Sastry (eds). Hybrid Systems II, volume 999 of Lecture Notes in Computer Science. Springer, pp. 1-20.","DOI":"10.1007\/3-540-60472-3_1"},{"key":"5124355_CR8","volume-title":"Proceedings of the 5th European Control Conference, ECC99","author":"A. Balluchi","year":"1999","unstructured":"Balluchi. A., Benvenuti, L., Villa, T., Wong-Toi, H., and Sangiovanni-Vincentelli, A. 1999. A case study of hybrid controller synthesis of a heating system. In Proceedings of the 5th European Control Conference, ECC99, Germany: Carlsruhe."},{"issue":"3","key":"5124355_CR9","first-page":"407.","volume":"35","author":"A. Bemporad","year":"1999","unstructured":"Bemporad, A., and Morari. M. 1999a. Control of systems integrating logic, dynamics, and constraints. Autoniatica 35(3): 407.-427.","journal-title":"Autoniatica"},{"key":"5124355_CR10","doi-asserted-by":"crossref","unstructured":"Bemporacl, A., and Moran. M. 1999h. Verification of hybrid systems via mathematical programming. In F Vaandrager and J. van Schuppen (eds.). HSCC 99: Hybrid Systems-Computation and Control, volume 1569 of Lecture Notes in Computer Science. Springer-Verlag, pp. 31-45.","DOI":"10.1007\/3-540-48983-5_7"},{"key":"5124355_CR11","doi-asserted-by":"crossref","unstructured":"Bemporad, A., Torrisi, F, and Morari, M. 2000. Optimization-based verification and stability characterization of piecewise affine and hybrid systems. In N. Lynch and B. Krogh (eds), Hybrid Systems-Computation and Control, volume 1790 of Lecture Notes in Computer Science. Springer-Verlag, pp. 45-58.","DOI":"10.1007\/3-540-46430-1_8"},{"key":"5124355_CR12","doi-asserted-by":"crossref","unstructured":"Berardi, L., Santis, E. D., and Benedetto, M. D. 2000. Invariant sets and control synthesis for switching systems with safety specifications. In N. Lynch and B. Krogh (eds), HybridSystems-computation and Control, volume 1790 of Lecture Notes in Computer Science. Springer-Verlag, pp. 59-72.","DOI":"10.1007\/3-540-46430-1_9"},{"key":"5124355_CR13","doi-asserted-by":"crossref","unstructured":"Boumez, 0., Maler, 0., and Pnueli, A. 1999. Orthogonal polyhedra: Representation and comiiutation. In HSCC 99: Hybrid Systems-Computation and Control, volume 1569 of Lecture Notes in Coniputer Science. Springer-Verlag, pp. 46-60.","DOI":"10.1007\/3-540-48983-5_8"},{"key":"5124355_CR14","doi-asserted-by":"crossref","unstructured":"Broucke, M. 1999. A geometric approach to bisimulation and verification of hybrid systems. In F Vaandrager and J. van Schuppen (eds). HSCC 99: Hybrid Systems-Computation and Control, volume 1569 of Lecture Notes in Computer Science. Springer-Verlag, pp. 61-75.","DOI":"10.1007\/3-540-48983-5_9"},{"issue":"4","key":"5124355_CR15","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1109\/9.664153","volume":"43","author":"P. Caines","year":"1998","unstructured":"Caines, P., and Wei, Y.-J. 1998. Hierarchical hybrid control systems: A lattice formulation. IEEE Transactions an Automatic Control 43(4): 501-508.","journal-title":"IEEE Transactions an Automatic Control"},{"key":"5124355_CR16","unstructured":"Chang, C. 1990. Model Theory. Elsevier."},{"key":"5124355_CR17","unstructured":"Chutinan, A., and Krogh, B. 1999a. Computing approximated aytomata for a class of linear hybrid systems. In P. Antsaklis, W. Kohn. M. Lemmon, A. Nerode, and S. Sastry (eds). Hybrid Systems V volume 1567 of Lecture Notes in Computer Science. Springer. pp. 16-37."},{"key":"5124355_CR18","doi-asserted-by":"crossref","unstructured":"Chutinan, A., and Krogh, B. 1999b. Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations. In E Vaandrager and J. van Schuppen (eds), HSCC 99: Hybrid Systems-Computation and Control, volume 1569 of Lecture Notes in Computer Science. Spnnger-Verlag, pp. 76-90.","DOI":"10.1007\/3-540-48983-5_10"},{"issue":"4","key":"5124355_CR19","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1109\/9.664159","volume":"43","author":"J. Cury","year":"1998","unstructured":"Cury, J., Krogh, B., and Niinomi. T. 1998. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Transactions on Automatic Control 43(4): 564-568.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"5124355_CR20","doi-asserted-by":"crossref","unstructured":"Duffin, R. 1974. On Fourier's analysis of linear inequality systems. Mathematical Programming Study 171-95.","DOI":"10.1007\/BFb0121242"},{"key":"5124355_CR21","doi-asserted-by":"crossref","unstructured":"Henzinger, T. 1995. Hybrid automata with finite bisimulations. In Z. Fulop and G. G\u00e9cgeg (eds). IfJ'ALP'95: Autontata. Languages, and Programming. Springer-Verlag.","DOI":"10.1007\/3-540-60084-1_85"},{"key":"5124355_CR22","unstructured":"Johansson, M. 1999. Piecewise Linear Control Systems. PhD thesis, Sweden: Lund University."},{"key":"5124355_CR23","unstructured":"Koutsoukos. X. 2000. Analysis and Design of Piecewise Linear Hybrid Dynamical Systems. PhD thesis, Department of Electrical Engineering, Noire Dame, IN: University of Notre Dame."},{"key":"5124355_CR24","doi-asserted-by":"crossref","unstructured":"Koutsoukos, X., and Antsaklis, P. 1999a. Design of hybrid system regulators. In Proceedings oft\/ic 38th iEEE Conference on Decision and Control. Phoenix. AZ, pp. 3990-3995.","DOI":"10.1109\/CDC.1999.827984"},{"key":"5124355_CR25","first-page":"144","volume-title":"Proceedings oft\/ic7th IEEE Mediterranean Conference on Control and Automation","author":"X. Koutsoukos","year":"1999","unstructured":"Koutsoukos, X. and Antsaklis, P. 1999b. Hybrid control of a robotic manufacturing system. In Proceedings oft\/ic7th IEEE Mediterranean Conference on Control and Automation. Israel: Haifa, pp. 144-159."},{"key":"5124355_CR26","doi-asserted-by":"crossref","unstructured":"Koutsoukos, X., and Antsaklis, P. 2000. A hybrid feedback regulator approach to control an automotive suspension system. In N. Lynch and B. Krogh (eds). Hybrid Systems-Computation and Control, volume 1790 of Lecture Notes in Computer Science. Springer-Verlag. pp. 188-201.","DOI":"10.1007\/3-540-46430-1_18"},{"issue":"7","key":"5124355_CR27","doi-asserted-by":"crossref","first-page":"1026","DOI":"10.1109\/5.871307","volume":"88","author":"X. Koutsoukos","year":"2000","unstructured":"Koutsoukos. X., Antsaklis, P., Stiver, J., and Lemmon, M. 2000. Supervisory control of hybrid systems. Proceedings of IEEE 88(7): 1026-1049.","journal-title":"Proceedings of IEEE"},{"key":"5124355_CR28","doi-asserted-by":"crossref","unstructured":"Lafferriere. 0., Pappas, 0., and Sastry, S. 1999. Hybrid systems with finite bisimulations. In P. Antsaklis, W. Kohn. M. Lemmon, A. Nerode, and S. Sastry (eds). Hybrid Systems V. volume 1567 of Lecture Notes in Computer Science. Springer, pp. 186-203.","DOI":"10.1007\/3-540-49163-5_10"},{"key":"5124355_CR29","doi-asserted-by":"crossref","unstructured":"Leenaerts. D., and van Bokhoven, W. 1998. Piecewise Linear Modeling and Analysis. Kluwer.","DOI":"10.1007\/978-1-4757-6190-0"},{"key":"5124355_CR30","doi-asserted-by":"crossref","unstructured":"Lemmon, M. 2000. On the existence of solutions to controlled hybrid automata. In N. Lynch and B. Krogh (eds). Hybrid Systems-Computation and Control, volume 1790 of Lecture Notes in Computer Science. Springer-Verlag, pp. 229-242.","DOI":"10.1007\/3-540-46430-1_21"},{"issue":"3","key":"5124355_CR31","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1016\/S0005-1098(98)00176-9","volume":"35","author":"J. Lunze","year":"1999","unstructured":"Lunze, J., Nixdorf, B., and Schroder, J. 1999. Deterministic discrete-event representations of linear contmuousvariable systems. Automatica 35(3): 396-406.","journal-title":"Automatica"},{"issue":"3","key":"5124355_CR32","first-page":"349","volume":"35","author":"J. Lygeros","year":"1999","unstructured":"Lygeros, J., Tomlin. C., and Sastry, S. 1999. Controllers for reachability specifications for hybrid systems. Autoniatica 35(3): 349-370.","journal-title":"Autoniatica"},{"key":"5124355_CR33","doi-asserted-by":"crossref","unstructured":"Lynch, N., Segala, R., Vaandrager, F., and Weinberg, H. 1996. Hybrid I\/O automata. In R. Alur. T. A. Henzinger, and E. D. Sontag (eds), Hybrid Systems II!, Verification and Control, volume 1066 of Lecture Notes in Computer Science. Springer. pp. 496-510.","DOI":"10.1007\/BFb0020971"},{"key":"5124355_CR34","doi-asserted-by":"crossref","unstructured":"Maler, 0., Pnueli, A., and Sifakis, J. 1995. On the synthesis of discrete controllers for timed systems. In E. Mayr and C. Puech (eds). STACS 95: Theoretical Aspects of Computer Science, volume 900 of Lecture Notes in Computer Science. Springer-Verlag, pp. 229-242.","DOI":"10.1007\/3-540-59042-0_76"},{"key":"5124355_CR35","doi-asserted-by":"crossref","first-page":"1413","DOI":"10.1109\/9.539424","volume":"41","author":"A. Morse","year":"1996","unstructured":"Morse, A. 1996. Supervisory control of families of linear set-point controllers-Part 1: Exact matching. IEEE Transactions on Automatic Control 41: 1413-1431.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"5124355_CR36","unstructured":"Morse, A. ed. 1997. Control using logic-based switching, volume 222 of Lecture Notes in Control and Information Sciences. Springer."},{"key":"5124355_CR37","volume-title":"The Theory of Linear Inequalities","author":"T. Motzkin","year":"1952","unstructured":"Motzkin, T. 1952. The Theory of Linear Inequalities. Santa Monica, CA: Rand Corp."},{"key":"5124355_CR38","unstructured":"Nash, S., and Sofer. A. 1996. Linear and Nonlinear Programming. McGraw-Hill."},{"key":"5124355_CR39","doi-asserted-by":"crossref","unstructured":"Nerode, A., and Kohn, W. 1993. Models for hybrid systems: Automata, topologies, controllability, observability. Itt R. L. Grossman. A. Nerode, A. P. Ravn, and H. Rischel (eds), Hybrid Systems, volume 736 of Lecture Notes in Computer Science. Springer-Verlag, pp. 317-356.","DOI":"10.1007\/3-540-57318-6_35"},{"key":"5124355_CR40","doi-asserted-by":"crossref","unstructured":"Nerode, A., and Shore, R. 1993. Logic for Applications. Texts and Monographs in Computer Science, Springer-Verlag.","DOI":"10.1007\/978-1-4684-0211-7"},{"issue":"4","key":"5124355_CR41","doi-asserted-by":"crossref","first-page":"568","DOI":"10.1109\/9.664160","volume":"43","author":"J. Raisch","year":"1998","unstructured":"Raisch, J. and O'Young, S. 1998. Discrete approximation and supervisory control of continuous systems. IEEE Transactions on Automatic Control 43(4): 568-573.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"7","key":"5124355_CR42","doi-asserted-by":"crossref","first-page":"807","DOI":"10.1109\/9.57019","volume":"35","author":"P. Ramadge","year":"1990","unstructured":"Ramadge, P. 1990. On the periodicity of symbolic observations of piecewise smooth discrete-time systems. IEEE Transactions on Automatic Control 35(7): 807-813.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"5124355_CR43","unstructured":"Sam, M. 1981. Introduction to Algebraic System Theory. Academic Press."},{"issue":"2","key":"5124355_CR44","doi-asserted-by":"crossref","first-page":"346","DOI":"10.1109\/TAC.1981.1102596","volume":"26","author":"E. Sontag","year":"1981","unstructured":"Sontag, E. 1981. Nonlinear regulation: The piecewise linear approach. IEEE Transactions on Automatic Control 26(2): 346-358.","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"5124355_CR45","doi-asserted-by":"crossref","first-page":"183","DOI":"10.2140\/pjm.1982.98.183","volume":"92","author":"E. Sontag","year":"1982","unstructured":"Sontag. E. 1982. Remarks on piecewise-linear algebra. Pacific Journal of Mathematics 92 (1): 183-210.","journal-title":"Pacific Journal of Mathematics"},{"key":"5124355_CR46","doi-asserted-by":"crossref","unstructured":"Sontag, E. 1996. Interconnected automata and linear systems: A theoretical framework in discrete-time. In R. Alur, T. Henzinger, and E. Sontag (eds.), Hybrid Systems III, Verification and Control, volume 1066 of Lecture Notes in Computer Science. Springer, pp. 436-448.","DOI":"10.1007\/BFb0020966"},{"key":"5124355_CR47","volume-title":"Analysis and design of hybrid control systems","author":"J. Stiver","year":"1995","unstructured":"Stiver, J. 1995. Analysis and design of hybrid control systems. PhD thesis, Department of Electrical Engineering. Notre Dame, IN: University of Notre Dame."},{"key":"5124355_CR48","unstructured":"Stiver, J., Antsaklis. P., and Lemmon. M. 1996a. An invariant based approach to the design of hybrid control systems. In IF,4C 13th Triennial World Congress, volume J. San Francisco, CA, pp. 467-472."},{"issue":"11\/12","key":"5124355_CR49","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0895-7177(96)00064-7","volume":"23","author":"J. Stiver","year":"1996","unstructured":"Stiver, J., Antsaklis, P., and Lemmon, M. 1996b. A logical DES approach to the design of hybrid control systems. Mat\/il. Comput. Modelling 23(11\/12): 55-76.","journal-title":"Comput. Modelling"},{"issue":"5","key":"5124355_CR50","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1002\/rnc.593","volume":"11","author":"J. Stiver","year":"2001","unstructured":"Stiver. J., Koutsoukos. X., and Antsaklis, P. 2001. An invariant based approach to the design of hybrid control systems. International Journal of Robust and Nonlinear Control 11(5): 453-478.","journal-title":"International Journal of Robust and Nonlinear Control"},{"key":"5124355_CR51","doi-asserted-by":"crossref","unstructured":"Tomlin. C., Lygeros, J., and Sastry. S. 1998. Synthesizing controllers for nonlinear hybnd systems. In T. Henzinger and S. Sastry (eds), HSCC 98: Hybrid Systents-Computation and Control, Lecture Notes in Computer Science 1386. Springer-Verlag, pp. 360-373.","DOI":"10.1007\/3-540-64358-3_51"},{"key":"5124355_CR52","doi-asserted-by":"crossref","unstructured":"Vidal, R., Schaffert. S., Lygeros, 3., and Sastry, S. 2000. Controlled invariance of discrete time systems. In N. Lynch and B. Krogh (eds), Hybrid Svstems.-Computation and Control, volume 1790 of Lecture Notes in Computer Science. Springer-Verlag, pp. 437-450.","DOI":"10.1007\/3-540-46430-1_36"},{"key":"5124355_CR53","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1080\/00029890.1986.11971923","volume":"93","author":"H. Williams","year":"1986","unstructured":"Williams, H. 1986. Fourier's method of linear programming and its dual. American Mathematical Monthly 93: 681-695.","journal-title":"American Mathematical Monthly"},{"key":"5124355_CR54","doi-asserted-by":"crossref","unstructured":"Wong-Toi, H. 1997. The synthesis of controllers for linear hybrid automata. In Proceedings of the 36th IEEE Conference on Decision and Control. San Diego, CA, pp. 4607-4612.","DOI":"10.1109\/CDC.1997.649708"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1024050108075.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1024050108075\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1024050108075.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,29]],"date-time":"2025-07-29T04:13:56Z","timestamp":1753762436000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1024050108075"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,7]]},"references-count":54,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,7]]}},"alternative-id":["5124355"],"URL":"https:\/\/doi.org\/10.1023\/a:1024050108075","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"type":"print","value":"0924-6703"},{"type":"electronic","value":"1573-7594"}],"subject":[],"published":{"date-parts":[[2003,7]]}}}