Author:
Goubault Eric,Putot Sylvie,Sahlmann Lorenz
Publisher
Springer International Publishing
Reference32 articles.
1. Sandretto, J.A.D., Chapoutot, A.: DynIBEX: a differential constraint library for studying dynamical systems. In: HSCC, April 2016. Poster
2. Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In: HSCC 2013, pp. 173–182. ACM (2013)
3. Althoff, M.: An introduction to CORA 2015. In: ARCH 2014 and ARCH 2015, pp. 120–151 (2015)
4. Althoff, M., Stursberg, O., Buss, M.: Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In: Proceedings of CDC, pp. 4042–4048 (2008)
5. Lecture Notes in Computer Science;O Bouissou,2013
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献