OTHER
具有属性驱动时间步长自适应的线性连续系统可扩展可达性分析
Mikkel Bjørn, Daniel H. Hansen, Grace Melchiors, Kim Guldstrand Larsen, Christian Schilling
- 发表年份
- 2026
- 访问权限
- 开放获取
摘要
本文提出了一种基于安全属性自适应调整时间步长的可达性算法，通过优化矩阵指数计算和误差控制，在保证安全性的同时大幅减少计算步数。在大型SLICOT基准测试中验证了其有效性和可扩展性。
关键词
reachability analysissafety verificationlinear systemstime-step adaptationscalability
相关论文
OTHER
📊 26,957 引用
Statistical Learning Theory
Yuhai Wu, Vladimir Vapnik
1999
OTHER
开放获取📊 20,501 引用
Fractional Differential Equations
Igor Podlubný
2025
OTHER
📊 18,993 引用
Applied Nonlinear Control
Jean-Jacques Slotine, Weiping Li
1991
OTHER
📊 13,277 引用
Genetic Programming: On the Programming of Computers by Means of Natural Selection
John R. Koza
1992