Symbolic Reachability Computation of A Class of Nonlinear Systems

被引：1

作者：

Xu, Ming ^{[1
]}

Chen, Liangyu ^{[1
]}

Li, Zhi-bin ^{[1
]}

机构：

[1] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 200062, Peoples R China

来源：

PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE | 2009年

关键词：

D O I：

10.1109/ICIS.2009.146

中图分类号：

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

学科分类号：

0812 ;

摘要：

Reachability is recognized as a key problem in designing physical control systems (most are nonlinear systems) in formal method community. Issues related to stability and controllability of physical systems are well studied in control theory. However there are not many results on reachability of those systems and fewer on nonlinear systems in computer science yet. In this paper we present the first known family of nonlinear systems with the decidable symbolic computation problem of their reachable state spaces at the best of our knowledge. This is approached by reducing reachability computation to semi-algebraic system solving. Furthermore we illustrate the application of our method by performing the Maple package DISCOVERER.

引用

页码：706 / 710

页数：5

共 50 条

[31] A symbolic computation approach to constructing rogue waves with a controllable center in the nonlinear systems
Zhaqilao
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2018, 75 (09) : 3331 - 3342
[32] Symbolic Reachability Computation Using the Disjunctive Partitioning Technique in Supervisory Control Theory
Fei, Z.
Akesson, K.
Lennartson, B.
2011 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2011,
[33] Decomposing image computation for symbolic reachability analysis using control flow information
Ward, David
Somenzi, Fabio
IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, ICCAD, 2006, : 33 - +
[34] On the reachability of a class of continuous bilinear systems
Hwang, YR
JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2001, 24 (05) : 635 - 639
[35] On the computation of an upper bound on the gap metric for a class of nonlinear systems
Zahedzadeh, Vahid
Marquez, Horacio J.
Chen, Tongwen
2008 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2008, : 1917 - 1922
[36] Fast computation of frequency response functions for a class of nonlinear systems
Pavlov, A.
van de Wouw, N.
47TH IEEE CONFERENCE ON DECISION AND CONTROL, 2008 (CDC 2008), 2008, : 1180 - 1186
[37] Approximately symbolic models for a class of continuous-time nonlinear systems
Yu, Pian
Dimarogonas, Dimos V.
2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 4349 - 4354
[38] Reachability of Nonlinear Systems With Unknown Dynamics
Shafa, Taha
Ornik, Melkior
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (04) : 2407 - 2414
[39] Decomposed Reachability Analysis for Nonlinear Systems
Chen, Xin
Sankaranarayanan, Sriram
PROCEEDINGS OF 2016 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2016, : 13 - 24
[40] Symbolic computation of the potential in a nonlinear Schrodinger equation
Kacar, Ahmet
Terzioglu, Omer
NUMERICAL METHODS FOR PARTIAL DIFFERENTIAL EQUATIONS, 2007, 23 (02) : 475 - 483

← 1 2 3 4 5 →