Publisher
Springer International Publishing
Reference26 articles.
1. Althoff, M., Stursberg, O., Buss, M.: Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In: CDC, pp. 4042–4048 (2008)
2. Angeli, D.: A lyapunov approach to incremental stability properties. IEEE Trans. Autom. Control 47(3), 410–421 (2002)
3. Angeli, D., Sontag, E.D., Wang, Y.: A characterization of integral input-to-state stability. IEEE Trans. Autom. Control 45(6), 1082–1097 (2000)
4. Lecture Notes in Computer Science;Y Annpureddy,2011
5. Bak, S., Caccamo, M.: Computing reachability for nonlinear systems with hycreate. In: Demo and Poster Session, HSCC (2013)
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献