An integrated approach to the symbolic control design of nonlinear systems with infinite states specifications

被引：0
|
作者：
Borri, Alessandro [1 ]
Pola, Giordano [1 ]
Di Benedetto, M. Domenica [1 ]
机构：
[1] Univ Aquila, Ctr Excellence DEWS, Elect & Informat Engn Dept, I-67040 Laquila, Italy
来源：
49TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC) | 2010年
关键词：
DISCRETE; MODELS;
D O I：
10.1109/CDC.2010.5717222
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we address the problem of symbolic control design of nonlinear control systems with infinite states specifications, modelled by differential equations. An algorithm for the design of symbolic controllers is presented, which integrates the construction of the discrete abstractions of the plant and of the specification with the design of the controller. This integrated algorithm reduces the space complexity of the control design computations, as formally discussed in the paper and further illustrated through an illustrative example.
引用
收藏
页码：1528 / 1533
页数：6
相关论文
共 50 条
  • [1] On symbolic control design of nonlinear systems with dynamic regular language specifications
    Masciulli, Tommaso
    Pola, Giordano
    [J]. IFAC PAPERSONLINE, 2020, 53 (02): : 1844 - 1849
  • [2] A Symbolic Approach to the Design of Nonlinear Networked Control Systems
    Borri, Alessandro
    Pola, Giordano
    Di Benedetto, Maria D.
    [J]. HSCC 12: PROCEEDINGS OF THE 15TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2012, : 255 - 264
  • [3] Integrated Symbolic Design of Unstable Nonlinear Networked Control Systems
    Borri, Alessandro
    Pola, Giordano
    Di Benedetto, Maria Domenica
    [J]. 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2012, : 1374 - 1379
  • [4] Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
    Masciulli, Tommaso
    Pola, Giordano
    [J]. AUTOMATICA, 2021, 130
  • [5] Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications
    Masciulli, Tommaso
    Pola, Giordano
    [J]. Automatica, 2021, 130
  • [6] Symbolic control design for monotone systems with directed specifications
    Kim, Eric S.
    Arcak, Murat
    Seshia, Sanjit A.
    [J]. AUTOMATICA, 2017, 83 : 10 - 19
  • [7] Integrated Design of Symbolic Controllers for Nonlinear Systems
    Pola, Giordano
    Borri, Alessandro
    Di Benedetto, Maria Domenica
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (02) : 534 - 539
  • [8] Symbolic control design of nonlinear systems with outputs
    Pola, Giordano
    Di Benedetto, Maria Domenica
    Borri, Alessandro
    [J]. AUTOMATICA, 2019, 109
  • [9] Symbolic models for infinite networks of control systems: A compositional approach
    Liu, Siyuan
    Noroozi, Navid
    Zamani, Majid
    [J]. NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2021, 43 (43)
  • [10] Integrated modeling and design of nonlinear control systems
    Blankenship, GL
    Kwatny, HG
    LaVigna, C
    Polyakov, V
    [J]. PROCEEDINGS OF THE 1997 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 1997, : 1395 - 1399
12345