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 条

[41] Superintegrable Systems with Algebraic and Rational Integrals of Motion
A. V. Tsiganov
Theoretical and Mathematical Physics, 2019, 199 : 659 - 674
[42] Superintegrable Systems with Algebraic and Rational Integrals of Motion
Tsiganov, A. V.
THEORETICAL AND MATHEMATICAL PHYSICS, 2019, 199 (02) : 659 - 674
[43] Polynomial logical zonotope: A set representation for reachability analysis of logical systems☆
Alanwar, Amr
Jiang, Frank J.
Johansson, Karl H.
AUTOMATICA, 2025, 171
[44] Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
Huang, Yushen
Luo, Ertai
Bak, Stanley
Sun, Yifan
arXiv,
[45] Simple Sufficient Conditions for Reachability of Discrete-Time Polynomial Systems
Kawano, Yu
Ohtsuka, Toshiyuki
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2013, 58 (12) : 3203 - 3206
[46] Checking Reachability using Matching Logic
Rosu, Grigore
Stefanescu, Andrei
ACM SIGPLAN NOTICES, 2012, 47 (10) : 555 - 574
[47] Reachability analysis for linear systems with uncertain parameters using polynomial zonotopes
Huang, Yushen
Luo, Ertai
Bak, Stanley
Sun, Yifan
NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2025, 56
[48] Parallelotope Bundles for Polynomial Reachability
Dreossi, Tommaso
Dang, Thao
Piazza, Carla
HSCC'16: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2016, : 297 - 306
[49] Decision-diagram-based techniques for bounded reachability checking of asynchronous systems
Yu A.J.
Ciardo G.
Lüttgen G.
International Journal on Software Tools for Technology Transfer, 2009, 11 (02) : 117 - 131
[50] Verifying Cyber-Physical Systems by Combining Software Model Checking with Hybrid Systems Reachability
Bak, Stanley
Chaki, Sagar
2016 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2016,

← 1 2 3 4 5 →