高维线性系统安全验证的降阶抽象
@第{条Tran2016OrderreductionAF, title={高维线性系统安全验证的序还原抽象}, author={Hoang-Dung-Tran、Luan Viet Nguyen、Weiming Xiang和Taylor T.Johnson}, journal={离散事件动态系统}, 年份={2016年}, 体积={27}, 页数={443-461}, url={https://api.semanticscholar.org/CorpusID:5895760} }
17引文
连续和混合系统应用验证国际研讨会——从降阶到大尺度线性系统(基准提案)
2017
基于仿真的高指数大线性微分代数方程可达性分析
2018
10000维以上线性系统的直接验证
2017
演示:HyST混合系统模型转换
2016
Krylov子空间中输入不确定的大型线性系统可达性分析
2020