Reachability Analysis via Face Lifting
Reachability Analysis via Face Lifting
复制标题
通过面部提升进行可达性分析
DOI:
--
复制
发表时间:
1998
期刊:
影响因子:
--
通讯作者:
O. Maler
中科院分区:
文献类型:
--
作者:
T. Dang;O. Maler
In this paper we discuss the problem of calculating the reachable states of a dynamical system defined by ordinary differential equations or inclusions. We present a prototype system for approximating this set and demonstrate some experimental results.