Publisher
Springer International Publishing
Reference18 articles.
1. Abbaszadeh, M., Marquez, H.J.: Nonlinear observer design for one-sided lipschitz systems. In: IEEE Conference on Decision and Control (CDC) (2010)
2. Alexandre dit Sandretto, J., Chapoutot, A.: Validated simulation of differential algebraic equations with Runge-Kutta methods. Reliable Comput. 22, 56–77 (2016)
3. Lecture Notes in Computer Science;R Alur,2002
4. Asarin, E., Bournez, O., Dang, T., Maler, O., Pnueli, A.: Effective synthesis of switching controllers for linear systems. Proc. IEEE 88(7), 1011–1025 (2000)
5. Lecture Notes in Computer Science;E Asarin,2003