Inner and outer reachability for the verification of control systems-Reference-Cited by-同舟云学术

Inner and outer reachability for the verification of control systems

Published:2019-04-16 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Goubault Eric¹,Putot Sylvie¹

Affiliation:

1. CNRS, Palaiseau, France

Funder

Direction Générale de lðArmement

Direction Générale de lðArmement, Thalès, Dassault Aviation, Naval Group

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3302504.3311794

Reference40 articles.

1. M. Althoff. 2013. Reachability Analysis of Nonlinear Systems Using Conservative Polynomialization and Non-convex Sets. In HSCC. ACM publishers 173--182. 10.1145/2461328.2461358 M. Althoff. 2013. Reachability Analysis of Nonlinear Systems Using Conservative Polynomialization and Non-convex Sets. In HSCC. ACM publishers 173--182. 10.1145/2461328.2461358

2. J.-P. Aubin. 2001. Viability Kernels and Capture Basins of Sets Under Differential Inclusions. SIAM Journal on Control and Optimization (2001). 10.1137/S036301290036968X J.-P. Aubin. 2001. Viability Kernels and Capture Basins of Sets Under Differential Inclusions. SIAM Journal on Control and Optimization (2001). 10.1137/S036301290036968X

3. S. Bansal M. Chen S. L. Herbert and C. J. Tomlin. 2017. Hamilton-Jacobi reachability: A brief overview and recent advances. In CDC. S. Bansal M. Chen S. L. Herbert and C. J. Tomlin. 2017. Hamilton-Jacobi reachability: A brief overview and recent advances. In CDC.

4. P. Cardaliaguet M. Quincampoix and P. Saint-Pierre. 1999. Set-Valued Numerical Analysis for Optimal Control and Differential Games. Birkhäuser. P. Cardaliaguet M. Quincampoix and P. Saint-Pierre. 1999. Set-Valued Numerical Analysis for Optimal Control and Differential Games. Birkhäuser.

5. X. Chen E. Ábrahám and S. Sankaranarayanan. 2012. Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. In RTSS. 10.1109/RTSS.2012.70 X. Chen E. Ábrahám and S. Sankaranarayanan. 2012. Taylor Model Flowpipe Construction for Non-linear Hybrid Systems. In RTSS. 10.1109/RTSS.2012.70

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

1. Inner and outer approximate quantifier elimination for general reachability problems;Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control;2024-05-14

2. Online Guaranteed Reachable Set Approximation for Systems With Changed Dynamics and Control Authority;IEEE Transactions on Automatic Control;2024-02

3. Inner Approximations of Reachable Sets for Nonlinear Systems Using the Minkowski Difference;IEEE Control Systems Letters;2024

4. Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts;Engineering Applications of Artificial Intelligence;2024-01

5. Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis;Lecture Notes in Computer Science;2024