托马斯·卡佩拉；彼得·兹格利钦斯基 控制系统和常微分包含的Lohner型算法。 （英语） Zbl 1185.65079号 离散Contin。动态。系统。，序列号。B类 第2号第11页，第365-385页（2009年）. 摘要：我们描述了一种Lohner型算法[罗纳（R.Lohner）'，封闭了一般初值和边值问题的解及其应用。博士论文（1988；Zbl 0663.65074号)]用于计算控制系统可达集的严格上界、常微分包含的解和常微分方程的扰动。 引用于21文件 MSC公司： 65G20个 具有自动结果验证的算法 34A60型 普通微分夹杂物 65升70 常微分方程数值方法的误差界 关键词：严格数学；差异包裹体；控制系统；洛纳算法 引文：Zbl 0663.65074号 PDF格式BibTeX公司 XML格式引用 \textit{T.Kapela}和\textit{P.Zgliczynski}，离散Contin。动态。系统。，序列号。B 11，编号2，365--385（2009；Zbl 1185.65079） 全文： 内政部 arXiv公司