Checking Algebraic Reachability of Polynomial and Rational Systems

被引：0

作者：

Nemcova, Jana ^{[1
]}

van Schuppen, Jan H. ^{[2
]}

机构：

[1] Univ Chem & Technol Prague, Dept Math, Tech 5, Prague 16628, Czech Republic

[2] Van Schuppen Control Res, Gouden Leeuw 143, NL-1103 KB Amsterdam, Netherlands

来源：

IFAC PAPERSONLINE | 2017年 / 50卷 / 01期

关键词：

Polynomial systems; rational systems; algebraic reachability; 1ST INTEGRALS; CONTROLLABILITY;

D O I：

10.1016/j.ifacol.2017.08.2144

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The overview of possible approaches to check algebraic reachability of polynomial and rational systems is provided. The respective methods are demonstrated on a number of examples chosen with the emphasis on tutorial presentation of the results and on applications. (C) 2017, IFAC (International Federation of Automatic Control) Hosting by Elsevier Ltd. All rights reserved.

引用

页码：12119 / 12124

页数：6

共 50 条

[31] Decidability of classes of algebraic systems in polynomial time
Anokhin, MI
SBORNIK MATHEMATICS, 2002, 193 (1-2) : 157 - 186
[32] Invariant Algebraic Curves of Polynomial Dynamical Systems
M. V. Dolovand
Yu. V. Pavlyuk
Differential Equations, 2003, 39 : 1091 - 1097
[33] Invariant algebraic curves of polynomial dynamical systems
Dolov, MV
Pavlyuk, YV
DIFFERENTIAL EQUATIONS, 2003, 39 (08) : 1091 - 1097
[34] Algebraic criteria of global observability of polynomial systems
Bartosiewicz, Zbigniew
AUTOMATICA, 2016, 69 : 210 - 213
[35] ALGEBRAIC INVARIANT CURVES AND THE INTEGRABILITY OF POLYNOMIAL SYSTEMS
KOOIJ, RE
CHRISTOPHER, CJ
APPLIED MATHEMATICS LETTERS, 1993, 6 (04) : 51 - 53
[36] ALGEBRAIC ASPECTS OF INTEGRABILITY FOR POLYNOMIAL DIFFERENTIAL SYSTEMS
Pan, Yangyou
Zhang, Xiang
JOURNAL OF APPLIED ANALYSIS AND COMPUTATION, 2013, 3 (01): : 51 - 69
[37] OBSERVERS FOR POLYNOMIAL SYSTEMS - ALGEBRAIC METHODS OF CONSTRUCTION
STARKOV, KE
AUTOMATION AND REMOTE CONTROL, 1993, 54 (12) : 1760 - 1768
[38] Algebraic Model Checking for Discrete Linear Dynamical Systems
Luca, Florian
Ouaknine, Joel
Worrell, James
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2022, 2022, 13465 : 3 - 15
[39] Algorithmic algebraic model checking II: Decidability of semi-algebraic model checking and its applications to systems biology
Mysore, V
Piazza, C
Mishra, B
AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2005, 3707 : 217 - 233
[40] On the algebraic structure of rational discrete dynamical systems
Viallet, C-M
JOURNAL OF PHYSICS A-MATHEMATICAL AND THEORETICAL, 2015, 48 (16)

← 1 2 3 4 5 →