Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications
A structural procedure is proposed for solving the problem of maximal safe-set determination based on maximal controlled invari- ant sets. However, the procedure is not guaranteed to converge in a finite number of steps. The procedure is made computationally appealing first by linearizing and discretizing the dynamical systems and, second, by using an inner approximation of these sets that, together with the classical outer approximation, yields tight bounds for an error due to the truncation of the procedure after a finite number of steps. The theory is applied to idle-speed regulation in engine control.
KeywordsHybrid System Switching System Nite Number General Dynamical System Linear State Feedback
Unable to display preview. Download preview PDF.
- 2.Balluchi, A., Di Benedetto, M.D., Pinello, C., Rossi, C., Sangiovanni-Vincentelli, A. “Hybrid Control in Automotive Applications: the Cut-off Control”, Automatica, Special Issue on Hybrid Systems, vol. 35, March (1999).Google Scholar
- 3.Berardi, L., De Santis, E., Di Benedetto, M.D. “Invariant sets and control synthesis for switching systems with safety specifications”, Department of Electrical Engineering, University of L’Aquila, Research Report no. 99-35, October 1999.Google Scholar
- 4.Berardi, L., De Santis, E., Di Benedetto, M.D. “Control of switching systems under state and input constraints”, European Control Conference 1999, August 31–Sept. 3 (1999).Google Scholar
- 5.Berardi, L., De Santis, E., Di Benedetto, M.D. “Control of switching systems under state and input constraints”, 38th IEEE Conference on Decision and Control, Phoenix, AZ, Dec. 7–10, (1999).Google Scholar
- 9.d’Alessandro, P., De Santis, E. “General Closed loop optimal solutions for linear dynamic systems with linear constraints”, J. of Mathematical Systems, Estimation and Control, vol. 6, no. 2, (1996).Google Scholar
- 10.d’Alessandro, P., A conical approach to linear programming, scalar and vector optimization problems, Gordon and Breach Science Publishers, 1997.Google Scholar
- 11.De Santis, E. “On maximal invariant sets for discrete time linear systems with disturbances”. Proc. 3rd IEEE Med. Symposium, Cyprus, 1995.Google Scholar
- 12.Dorea, C. E. T., Hennet, J. C. “Computation of Maximal Admissible Sets of Constrained Linear Systems”, Proc. of 4th IEEE Med. Symposium, Krete, pp. 286–291, (1996).Google Scholar
- 18.Lygeros, J., Tomlin, C., Sastry, S. “Controllers for Reachability Specifications for Hybrid Systems”, Automatica, Special Issue on Hybrid Systems, vol. 35, (1999).Google Scholar
- 20.Shakernia, O., Pappas, J.P., Sastry, S. “Decidable Controller Synthesis for a Class of Linear Systems”, This Conference.Google Scholar
- 21.Tomlin, C., Lygeros, J., Sastry, S. “Synthesizing controllers for nonlinear hybrid systems”, First International Workshop, HSCC’98, Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, vol.1386, pp. 360–373, (1998).Google Scholar