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 条

[21] Structural identifiability of polynomial and rational systems
Nemcova, Jana
MATHEMATICAL BIOSCIENCES, 2010, 223 (02) : 83 - 96
[22] Polynomial and rational solutions of holonomic systems
Oaku, T
Takayama, N
Tsai, H
JOURNAL OF PURE AND APPLIED ALGEBRA, 2001, 164 (1-2) : 199 - 220
[23] Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems
Dreossi, Tommaso
PROCEEDINGS OF THE 20TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK) (HSCC' 17), 2017, : 29 - 34
[24] Model Checking as A Reachability Problem
Vardi, Moshe Y.
REACHABILITY PROBLEMS, PROCEEDINGS, 2009, 5797 : 35 - 35
[25] Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis
Lakshmi, K. Vasanta
Acharya, Aravind
Komondoor, Raghavan
FM 2014: FORMAL METHODS, 2014, 8442 : 335 - 350
[26] Observers for polynomial systems: algebraic design methods
Starkov, K.E.
Avtomatika i Telemekhanika, 1993, 11 (12): : 43 - 53
[27] DETERMINISTIC IDENTIFIABILITY AND ALGEBRAIC INVARIANTS FOR POLYNOMIAL SYSTEMS
VAJDA, S
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1987, 32 (02) : 182 - 184
[28] Invariant algebraic sets and symmetrization of polynomial systems
Hubert, Evelyne
JOURNAL OF SYMBOLIC COMPUTATION, 2019, 95 : 53 - 67
[29] Polynomial Hamiltonian systems with movable algebraic singularities
Thomas Kecker
Journal d'Analyse Mathématique, 2016, 129 : 197 - 218
[30] POLYNOMIAL HAMILTONIAN SYSTEMS WITH MOVABLE ALGEBRAIC SINGULARITIES
Kecker, Thomas
JOURNAL D ANALYSE MATHEMATIQUE, 2016, 129 : 197 - 218

← 1 2 3 4 5 →