Local analysis of hybrid systems on polyhedral sets with state-dependent switching

Ames, A. and Sastry, S. (2005). A homology theory for hybrid systems: Hybrid homology, in M. Morari and L. Thiele (Eds.), Hybrid Systems: Computation and Control, Lecture Notes in Computer Science, Vol. 3414, Springer-Verlag, Berlin/Heidelberg, pp. 86–102.10.1007/978-3-540-31954-2_6Search in Google Scholar

Balluchi, A., Benvenuti, L. and Sangiovanni-Vincentelli, A. (2005). Hybrid systems in automotive electronics design, 44th IEEE Conference on Decision and Control & 2005/2005 European Control Conference, CDC-ECC ’05, Seville, Spain, pp. 5618–5623.Search in Google Scholar

Blanchini, F. and Miani, S. (2008). Set-theoretic Methods in Control, Systems & Control: Foundations & Applications, Birkh¨auser, Boston, MA.10.1007/978-0-8176-4606-6Search in Google Scholar

Bredon, G.E. (1993). Topology and Geometry, Graduate Texts in Mathematics, Vol. 139, Springer-Verlag, New York, NY.Search in Google Scholar

Bujorianu, M.L. and Lygeros, J. (2006). Toward a general theory of stochastic hybrid systems, in H. Bloom and J. Lygeros (Eds.), Stochastic Hybrid Systems, Lecture Notes in Control and Information Sciences, Vol. 337, Springer, Berlin, pp. 3–30.10.1007/11587392_1Search in Google Scholar

Ding, J., Gillulay, J.H., Huang, H., Vitus, M.P., Zhang, W. and Tomlin, C. (2011). Hybrid systems in robotics, IEEE Robotics & Automation Magazine 18(3): 33–43.10.1109/MRA.2011.942113Search in Google Scholar

Goebel, R., Sanfelice, R.G. and Teel, A.R. (2009). Hybrid dynamical systems: Robust stability and control for systems that combine continuous-time and discrete-time dynamics, IEEE Control Systems Magazine 29(2): 28–93.10.1109/MCS.2008.931718Search in Google Scholar

Goebel, R. and Teel, A. R. (2006). Solutions to hybrid inclusions via set and graphical convergence with stability theory applications, Automatica 42(4): 573–587.10.1016/j.automatica.2005.12.019Search in Google Scholar

Gr¨unbaum, B. (2003). Convex Polytopes, 2nd Edn., Graduate Texts in Mathematics, Vol. 221, Springer-Verlag, New York, NY.Search in Google Scholar

Habets, L.C.G.J.M. and van Schuppen J.H. (2005). Control to facet problems for affine systems on simplices and polytopes—with applications to control of hybrid systems, Proceedings of the 44th IEEE Conference on Decision and Control, Seville, Spain, pp. 4175–4180.Search in Google Scholar

Haddad, W.M., Chellaboina, V. and Nersesov, S.G. (2006). Impulsive and Hybrid Dynamical Systems, Princeton Series in Applied Mathematics, Princeton University Press, Princeton, NJ.10.1515/9781400865246Search in Google Scholar

Heemels, W.P.M.H., De Schutter, B. and Bemporad, A. (2001). Equivalence of hybrid dynamical models, Automatica 37(7): 1085–1091.10.1016/S0005-1098(01)00059-0Search in Google Scholar

Hudson, J.F.P. (1969). Piecewise Linear Topology, University of Chicago Lecture Notes, W.A. Benjamin, Inc., New York, NY/Amsterdam.Search in Google Scholar

Johansson, M. and Rantzer, A. (1998). Computation of piecewise quadratic Lyapunov functions for hybrid systems, IEEE Transactions on Automatic Control 43(4): 555–559.10.1109/9.664157Search in Google Scholar

Kunze, M. (2000). Non-smooth Dynamical Systems, Lecture Notes in Mathematics, Vol. 1744, Springer-Verlag, Berlin.Search in Google Scholar

Lang, S. (1999). Fundamentals of Differential Geometry, Graduate Texts in Mathematics, Vol. 191, Springer-Verlag, New York, NY.Search in Google Scholar

Leine, R.I. and Nijmeijer, H. (2004). Dynamics and Bifurcations of Non-smooth Mechanical Systems, Lecture Notes in Applied and Computational Mechanics, Vol. 18, Springer-Verlag, Berlin.Search in Google Scholar

Leth, J. and Wisniewski, R. (2012). On formalism and stability of switched systems, Journal of Control Theory and Applications10(2): 176–183.10.1007/s11768-012-0138-3Search in Google Scholar

Liberzon, D. (2003). Switching in Systems and Control, Systems & Control: Foundations & Applications, Birkh¨auser, Boston, MA.10.1007/978-1-4612-0017-8Search in Google Scholar

Lygeros, J., Johansson, K.H., Simi´c, S.N., Zhang, J. and Sastry, S.S. (2003). Dynamical properties of hybrid automata, IEEE Transactions on Automatic Control48(1): 2–17.10.1109/TAC.2002.806650Search in Google Scholar

Munkres, J.R. (1975). Topology: A First Course, Prentice-Hall, Englewood Cliffs, NJ.Search in Google Scholar

Pettersson, S. and Lennartson, B. (2002). Hybrid system stability and robustness verification using linear matrix inequalities, International Journal of Control75(16): 1335–1355.10.1080/0020717021000023762Search in Google Scholar

Rantzer, A. and Johansson, M. (2000). Piecewise linear quadratic optimal control, IEEE Transactions on Automatic Control45(4): 629–637.10.1109/9.847100Search in Google Scholar

Rienm¨uller, T., Hofbaur, M., Trav´e-Massuyès, L. and Bayoudh, M. (2013). Mode set focused hybrid estimation, International Journal of Applied Mathematics and Computer Science23(1): 131–144, DOI: 10.2478/amcs-2013-0011.10.2478/amcs-2013-0011Search in Google Scholar

Simi´c, S.N., Johansson, K.H., Lygeros, J. and Sastry, S. (2005). Towards a geometric theory of hybrid systems, Dynamics of Continuous, Discrete & Impulsive Systems B: Applications & Algorithms12(5–6): 649–687.Search in Google Scholar

Sontag, E.D. (1981). Nonlinear regulation: The piecewise linear approach, IEEE Transactions on Automatic Control26(2): 346–358.10.1109/TAC.1981.1102596Search in Google Scholar

Tabuada, P. (2009). Verification and Control of Hybrid Systems, Springer, New York, NY.10.1007/978-1-4419-0224-5Search in Google Scholar

Tomlin, C., Pappas, G.J. and Sastry, S. (1998). Conflict resolution for air traffic management: A study in multiagent hybrid systems, IEEE Transactions on Automatic Control43(4): 509–521.10.1109/9.664154Search in Google Scholar

van der Schaft, A. and Schumacher, H. (2000). An Introduction to Hybrid Dynamical Systems, Lecture Notes in Control and Information Sciences, Vol. 251, Springer-Verlag, London.Search in Google Scholar

Wisniewski, R. (2006). Towards modelling of hybrid systems, 45th IEEE Conference on Decision and Control, San Diego, CA, USA, pp. 911–916.Search in Google Scholar

Wisniewski, R. and Leth, J. (2011). Convenient model for systems with hystereses-control, Proceedings of the 50th IEEE Conference on Decision and Control, Orlando, FL, USA.10.1109/CDC.2011.6161090Search in Google Scholar

Yang, H., Jiang, B., Cocquempot, V. and Chen, M. (2013). Spacecraft formation stabilization and fault tolerance: A state-varying switched system approach, System & Control Letters62(9): 715–722.10.1016/j.sysconle.2013.05.007Search in Google Scholar

Yang, H., Jiang, B., Cocquempot, V. and Zang, H. (2011). Stabilization of switched nonlinear systems with all unstable modes: Application to multi-agent systems, IEEE Transactions on Automatic Control56(9): 2230–2235.10.1109/TAC.2011.2157413Search in Google Scholar

Yordanov, B., T˚umov´Cern´a, J., ^ˇa, I., Barnat, J. and Belta, C. (2012). Temporal logic control of discrete-time piecewise affine systems, IEEE Transactions on Automatic Control57(6): 1491–1504.10.1109/TAC.2011.2178328Search in Google Scholar