Linearization, Model Reduction and Reachability in Nonlinear odes-Reference-Cited by-同舟云学术

Linearization, Model Reduction and Reachability in Nonlinear odes

Published:2022 Issue: Volume: Page:49-66
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Boreale Michele,Collodi Luisa

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-19135-0_4

Reference33 articles.

1. Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In: Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (HSCC 2013), pp. 173–182. ACM (2013). https://doi.org/10.1145/2461328.2461358

2. Althoff, M.: An introduction to CORA 2015. In: Proceedings of the Workshop on Applied Verification for Continuous and Hybrid Systems, pp. 120–151 (2015)

3. Althoff, M., Frehse, G., Girard, A.: Set propagation techniques for reachability analysis. Ann. Rev. Control Robot. Auton. Syst. 4(1) (2021). https://doi.org/10.1146/annurev-control-071420-081941. hal-03048155

4. Amini, A., Sun, Q., Motee, N.: Error bounds for Carleman linearization of general nonlinear systems. In: 2021 Proceedings of the Conference on Control and Its Applications. SIAM (2021)

5. Bellman, R., Richardson, J.M.: On some questions arising in the approximate solution of nonlinear differential equations. Q. Appl. Math. 20(4), 333–339 (1963)

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation;Lecture Notes in Computer Science;2023