Decoupling Abstractions of Non-linear Ordinary Differential Equations

Andrew T Sogokon; Khalil Ghorbal; Taylor T Johnson

doi:10.1007/978-3-319-48989-6_38

通信Dans Un Congrès Anneée:2016年

非线性常微分方程的解耦抽象

(1),(2),(1)

1
2

安德鲁·索戈孔（Andrew T Sogokon）

功能：奥特尔
人员ID:989835

范德比尔特大学[纳什维尔]

哈利尔·戈巴尔

功能：奥特尔
人员ID:10749
伊达尔：克霍巴尔
ORCID代码：0000-0003-4941-6632
ID参考号：160369223

现代化混合与概念对比使系统陷入多物理环境

个人简历

泰勒·T·约翰逊

功能：奥特尔
人员ID:989836

范德比尔特大学[纳什维尔]

Résumé

我们研究解耦抽象，通过解耦抽象，我们寻求用另一个具有完全独立（即未耦合）子系统的系统来模拟（即抽象）给定的常微分方程（ODE）系统，该子系统本身可视为独立系统。除了作为ODE定性分析工具的纯粹数学兴趣之外，解耦还可以应用于控制和混合系统领域中出现的验证问题。现有的验证技术通常在维度上伸缩性较差。因此，对于尺寸较小的系统，将一个验证问题简化为若干独立的验证问题可能会使人们能够证明那些在其他方面被视为过于困难的特性。我们展示了Darboux多项式与多项式ODE系统的解耦模拟抽象之间的一种有趣的对应关系，并给出了自动计算后者的构造过程。

Mots clés公司

解耦抽象常微分方程模拟达布多项式

与葡萄园

计算公式[cs.SC] 语言编程[cs.PL] 形式的语言和语言系统与控制[cs.SY]

菲奇尔校长

main.pdf（366.46千吨）

起源：菲奇尔斯制片人par l’（les）auteur（s）

哈利尔·戈巴尔 : Connectez-vous浇注接触器le contributer

https://hal.science/hal-01374899

Soumis le:lundi 2016年11月28日-13:17:52

Dernière修改le:vendredi 24 mars 2023-14:53:03

长期存档：mardi 21 mars 2017-03:18:28

日期和版本

hal-01374899，版本1 (02-10-2016)

hal-01374899，版本2 (28-11-2016)

执照

身份证明人

HAL Id： hal-01374899，版本2
内政部： 10.1007/978-3-319-48989-6_38

Citer公司

Andrew T Sogokon、Khalil Ghorbal、Taylor T Johnson。非线性常微分方程的解耦抽象。FM 2016-第21届形式方法国际研讨会2016年11月，塞浦路斯利马索尔。第628-644页，⟨10.1007/978-3-319-48989-6_38⟩.⟨hal-01374899v2⟩

出口商

BibTeX公司 XML-TEI公司都柏林核心元数据集 DC条款尾注数据引用

电信研究所 UNIV-RENNES1公司中国科学院印度 INSA-RENES公司 IRISA公司虹膜-D4 INRIA2公司 UR1-数学STIC UR1-UFR-ISTIC UNIV-RENNES公司 UR1-数学编号

573 磋商

262 交易费用