安德烈亚斯·劳;约翰娜·米尼西尼;埃伯哈德·霍弗（Eberhard P.Hofer）。 不确定非线性动力系统灵敏度分析和控制器设计的验证技术。 （英语） Zbl 1217.93057号 Fitt，Alistair D.（编辑）等，《ECMI 2008年工业数学进展》。2008年6月30日至7月4日，英国伦敦，第15届欧洲工业数学会议记录。柏林：施普林格出版社（ISBN 978-3-642-12109-8/hbk；978-3-442-12110-4/电子书）。《工业数学》15，549-555（2010）。 摘要：非线性动力系统的控制器通常基于微分平坦度或精确输入输出以及输入-状态线性化能力等特性。然而，这些方法仅限于特定类别的系统模型。为了推广设计过程并考虑参数不确定性和建模误差，将用于常微分方程和微分代数方程验证仿真的区间算法扩展到开环和闭环控制器的综合和灵敏度分析。此外，使用自动微分实现了状态可达性和可观性准则评估的区间算法例程。关于整个系列，请参见[Zbl 1197.00055号]. 引用于三文件 MSC公司： 93亿B51 设计技术（稳健设计、计算机辅助设计等） 93立方厘米 控制理论中的非线性系统 93C73号 控制/观测系统中的扰动 93亿B50 合成问题 37号35 控制中的动态系统 关键词：非线性动力系统;输入-状态线性化能力;合成;敏感性分析;开环;闭环控制器 软件：FADBAD公司++;塔迪夫;ValEncIA-IVP公司 PDF格式BibTeX公司 XML格式引用 \textit{A.Rauh}等人，数学。Ind.15，549-555（2010；Zbl 1217.93057） 全文： 内政部 参考文献： [1] Bendsten，C.，Stauring，O.：FADBAD，使用正向和反向方法进行自动区分的灵活C++包。技术报告1996-x5-94，丹麦技术大学，林比，1996年 [2] Bendsten，C.，Stauring，O.：TADIFF，使用泰勒级数进行自动微分的灵活C++包。技术报告1997-x5-94，丹麦技术大学，林比，1997 [3] Nedialkov，N.S.：ODE和DAE的间隔工具。在CD-Proc中。第十二届GAMM-IMACS科学计算、计算机算术和验证数值SCAN 2006国际研讨会，德国杜伊斯堡，IEEE计算机学会（2007） [4] Rauh，A.，Auer，E.，Hofer，E.P.：ValEncIA-IVP：与其他初值问题求解器的比较。在CD-Proc中。第12届GAMM-IMAC科学计算、计算机算术和验证数字国际研讨会SCAN 2006，德国杜伊斯堡，IEEE计算机协会（2007） [5] A.劳赫。；奥尔，E。；Minisini，J。；Hofer，EP，ValEncIA-IVP的扩展，用于减少过度估计，用于微分代数系统的模拟，以及用于动态优化，PAMM，7，1，1023001-1023002（2007）·doi:10.1002/pamm.200700022 [6] Röbenack，K。；Zinober，A。；Owens，D.，《利用泰勒算法和Campbell-Baker-Hausdorff公式高效计算高阶映射ad_f^kg（x）》，非线性和自适应控制。《控制与信息科学讲义》，327-336（2002），柏林：施普林格，柏林 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。