Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation

被引：0

作者：

The Department of Computer Science, Technical University of Munich, Garching ^{[1
]}

85748, Germany

机构：

来源：

arXiv | 1600年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Continuous time systems - Formal verification - Invariance - Numerical methods - Time varying control systems

引用