Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations-Reference-Cited by-同舟云学术

Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations

Published:2017 Issue: Volume: Page:281-299
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Xue Bai,Mosaad Peter Nazier,Fränzle Martin,Chen Mingshuai,Li Yangjia,Zhan Naijun

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-65765-3_16

Reference31 articles.

1. Althoff, M.: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets. In: Belta, C., Ivancic, F. (eds.) Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control (HSCC 2013), Philadelphia, 8–11 April 2013, pp. 173–182. ACM (2013)

2. Althoff, M.: CORA 2016 Manual (2016). http://www6.in.tum.de/Main/SoftwareCORA

3. Althoff, M., Stursberg, O., Buss, M.: Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In: Proceedings of the 47th IEEE Conference on Decision and Control (CDC 2008), Cancún, 9–11 December 2008, pp. 4042–4048. IEEE (2008)

4. Bellman, R., Cooke, K.L.: Differential-difference equations. Technical report R-374-PR, The RAND Corporation, Santa Monica, California, January 1963

5. Bellman, R., et al.: The stability of solutions of linear differential equations. Duke Math. J. 10(4), 643–647 (1943)

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

1. Safety guarantee for time-delay systems with disturbances;Science China Information Sciences;2023-01-18

2. Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances;2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE);2022-10-13

3. Reach-Avoid Analysis for Delay Differential Equations;2021 60th IEEE Conference on Decision and Control (CDC);2021-12-14

4. A sampling-based approach for handling delays in continuous and hybrid systems;it - Information Technology;2021-09-23

5. Computation of controlled invariant sets for discrete-time switched nonlinear systems with time-delay;Journal of the Franklin Institute;2021-09