Bounded error flowpipe computation of parameterized linear systems
Bounded error flowpipe computation of parameterized linear systems
复制标题
参数化线性系统的有界误差流管计算
DOI：
10.1109/emsoft.2015.7318279
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
P. Prabhakar
中科院分区：
文献类型：
--
作者：
Ratan Lal;P. Prabhakar
我们考虑一类参数化线性系统x(T)=Ax(T)的解在有界时间[0，T]上的有界误差逼近问题，其中A由紧多面体Ω约束。我们的方法包括对时间域[0，T]和参数空间Ω进行采样，并构造一个连续的分段双线性函数，该函数在这些采样点上对参数系统的解进行插补。更准确地说，给定一个ε&>0，我们计算一个采样间隔δ&>0，使得从采样点获得的分段双线性函数在原始轨迹的ε内。我们给出的实验结果表明，我们的方法是可扩展的。
We consider the problem of computing a bounded error approximation of the solution over a bounded time [0,T], of a parameterized linear system, x(t) = Ax(t), where A is constrained by a compact polyhedron Ω. Our method consists of sampling the time domain [0,T] as well as the parameter space Ω and constructing a continuous piecewise bilinear function which interpolates the solution of the parameterized system at these sample points. More precisely, given an ε > 0, we compute a sampling interval δ > 0, such that the piecewise bilinear function obtained from the sample points is within ε of the original trajectory. We present experimental results which suggest that our method is scalable.