1. Daniele Ahmed , Andrea Peruffo , and Alessandro Abate . 2020. Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers . In TACAS(LNCS, Vol. 12078) , Armin Biere and David Parker (Eds.). Springer , 97–114. https://doi.org/10.1007/978-3-030-45190-5_6 10.1007/978-3-030-45190-5_6 Daniele Ahmed, Andrea Peruffo, and Alessandro Abate. 2020. Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers. In TACAS(LNCS, Vol. 12078), Armin Biere and David Parker (Eds.). Springer, 97–114. https://doi.org/10.1007/978-3-030-45190-5_6
2. Stabilization and tracking in the nonholonomic integrator via sliding modes
3. Jacek Bochnak , Michel Coste , and Marie-Françoise Roy . 1998. Real Algebraic Geometry . Springer , Heidelberg . https://doi.org/10.1007/978-3-662-03718-8 10.1007/978-3-662-03718-8 Jacek Bochnak, Michel Coste, and Marie-Françoise Roy. 1998. Real Algebraic Geometry. Springer, Heidelberg. https://doi.org/10.1007/978-3-662-03718-8
4. Michael S. Branicky. 1994. Analyzing continuous switching systems: theory and examples. In ACC Vol. 3. 3110-3114. https://doi.org/10.1109/ACC.1994.735143 10.1109/ACC.1994.735143
5. Michael S. Branicky. 1994. Analyzing continuous switching systems: theory and examples. In ACC Vol. 3. 3110-3114. https://doi.org/10.1109/ACC.1994.735143