{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T14:01:23Z","timestamp":1753884083984},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672593"},{"type":"electronic","value":"9783540464303"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46430-1_9","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T08:18:49Z","timestamp":1193473129000},"page":"59-72","source":"Crossref","is-referenced-by-count":6,"title":["Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications"],"prefix":"10.1007","author":[{"given":"Luca","family":"Berardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"De Santis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Domenica","family":"Di Benedetto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,1]]},"reference":[{"key":"9_CR1","volume-title":"Viability theory","author":"J.P. Aubin","year":"1991","unstructured":"Aubin, J.P. Viability theory, Birkhauser, Boston, (1991)."},{"key":"9_CR2","unstructured":"Balluchi, A., Di Benedetto, M.D., Pinello, C., Rossi, C., Sangiovanni-Vincentelli, A. \u201cHybrid Control in Automotive Applications: the Cut-off Control\u201d, Automatica, Special Issue on Hybrid Systems, vol. 35, March (1999)."},{"key":"9_CR3","unstructured":"Berardi, L., De Santis, E., Di Benedetto, M.D. \u201cInvariant sets and control synthesis for switching systems with safety specifications\u201d, Department of Electrical Engineering, University of L\u2019Aquila, Research Report no. 99-35, October 1999."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Berardi, L., De Santis, E., Di Benedetto, M.D. \u201cControl of switching systems under state and input constraints\u201d, European Control Conference 1999, August 31\u2013Sept. 3 (1999).","DOI":"10.23919\/ECC.1999.7099573"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Berardi, L., De Santis, E., Di Benedetto, M.D. \u201cControl of switching systems under state and input constraints\u201d, 38th IEEE Conference on Decision and Control, Phoenix, AZ, Dec. 7\u201310, (1999).","DOI":"10.23919\/ECC.1999.7099573"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1109\/9.272351","volume":"AC-39","author":"F. Blanchini","year":"1994","unstructured":"Blanchini, F. \u201cUltimate Boundedness Control for Uncertain Discrete-Time Systems via Set-Induced Lyapunov Functions\u201d, IEEE Trans. on Automatic Control, AC-39, pp. 428\u2013433, (1994).","journal-title":"IEEE Trans. on Automatic Control"},{"key":"9_CR7","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/0005-1098(94)00133-4","volume":"31","author":"F. Blanchini","year":"1995","unstructured":"Blanchini, F. \u201cNonquadratic Lyapunov functions for robust control\u201d, Automatica 31, pp. 451\u2013461, (1995).","journal-title":"Automatica"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0167-6911(98)00047-4","volume":"35","author":"F. Blanchini","year":"1998","unstructured":"Blanchini, F., Miani, S. \u201cConstrained stabilization via smooth Lyapunov functions\u201d, Systems and Control Letters, 35, pp. 155\u2013163, (1998).","journal-title":"Systems and Control Letters"},{"key":"9_CR9","unstructured":"d\u2019Alessandro, P., De Santis, E. \u201cGeneral Closed loop optimal solutions for linear dynamic systems with linear constraints\u201d, J. of Mathematical Systems, Estimation and Control, vol. 6, no. 2, (1996)."},{"key":"9_CR10","unstructured":"d\u2019Alessandro, P., A conical approach to linear programming, scalar and vector optimization problems, Gordon and Breach Science Publishers, 1997."},{"key":"9_CR11","unstructured":"De Santis, E. \u201cOn maximal invariant sets for discrete time linear systems with disturbances\u201d. Proc. 3rd IEEE Med. Symposium, Cyprus, 1995."},{"key":"9_CR12","unstructured":"Dorea, C. E. T., Hennet, J. C. \u201cComputation of Maximal Admissible Sets of Constrained Linear Systems\u201d, Proc. of 4th IEEE Med. Symposium, Krete, pp. 286\u2013291, (1996)."},{"key":"9_CR13","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0947-3580(99)70141-X","volume":"5","author":"C. E. T. Dorea","year":"1999","unstructured":"Dorea, C. E. T., Hennet, J. C. \u201c(A,B)-Invariance conditions of polyhedral domains for continuous-time systems\u201d, European J. of Control, vol.5, pp. 70\u201381, (1999).","journal-title":"European J. of Control"},{"key":"9_CR14","first-page":"233","volume":"15","author":"L. Farina","year":"1998","unstructured":"Farina, L., Benvenuti, L. \u201cInvariant polytopes of linear systems\u201d, IMA, vol.15, pp.233\u2013240, (1998).","journal-title":"IMA"},{"issue":"4","key":"9_CR15","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1109\/TAC.1986.1104270","volume":"AC-31","author":"P.O. Gutman","year":"1986","unstructured":"Gutman, P.O., Cwikel, M. \u201cAdmissible Sets and Feedback Control for Discrete-Time Linear Dynamical Systems with Bounded Controls and States\u201d, IEEE Transactions on Automatic Control, AC-31, No. 4, pp. 373\u2013376, (1986).","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"9_CR16","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1109\/TAC.1987.1104567","volume":"AC-32","author":"P.O. Gutman","year":"1987","unstructured":"Gutman, P.O., Cwikel M. \u201cAn Algorithm to Find Maximal State Constraint Sets for Discrete Time linear Dynamical Systems with Bounded Controls and States\u201d, IEEE Transactions on Automatic Control, AC-32, No. 3, pp. 251\u2013254, (1987).","journal-title":"IEEE Transactions on Automatic Control"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1109\/TAC.1987.1104625","volume":"AC-32","author":"S.S. Keerthi","year":"1987","unstructured":"Keerthi, S.S., Gilbert E.G. \u201cComputation of Minimum-Time Feedback Control Laws for Discrete-Time Systems with State-Control Constraints\u201d, IEEE Trans. on Automatic Control, AC-32, pp. 432\u2013435, (1987).","journal-title":"IEEE Trans. on Automatic Control"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Lygeros, J., Tomlin, C., Sastry, S. \u201cControllers for Reachability Specifications for Hybrid Systems\u201d, Automatica, Special Issue on Hybrid Systems, vol. 35, (1999).","DOI":"10.1016\/S0005-1098(98)00193-9"},{"key":"9_CR19","volume-title":"Linear Programming","author":"K.G. Murty","year":"1983","unstructured":"Murty, K.G. Linear Programming. New York: J. Wiley, (1983)."},{"key":"9_CR20","unstructured":"Shakernia, O., Pappas, J.P., Sastry, S. \u201cDecidable Controller Synthesis for a Class of Linear Systems\u201d, This Conference."},{"key":"9_CR21","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/3-540-64358-3_51","volume-title":"First International Workshop, HSCC\u201998, Hybrid Systems: Computation and Control","author":"C. Tomlin","year":"1998","unstructured":"Tomlin, C., Lygeros, J., Sastry, S. \u201cSynthesizing controllers for nonlinear hybrid systems\u201d, First International Workshop, HSCC\u201998, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, vol.1386, pp. 360\u2013373, (1998)."}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46430-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T02:09:52Z","timestamp":1556935792000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46430-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672593","9783540464303"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-46430-1_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}