Control of rectangular multi-affine hybrid systems

被引：0
|
作者：
Habets, L. C. G. J. M. [1 ]
Kloetzer, M. [1 ]
Belta, C. [1 ]
机构：
[1] Tech Univ Eindhoven, Dept Math & Comp Sci, POB 513, NL-5600 MB Eindhoven, Netherlands
来源：
PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14 | 2006年
基金：
美国国家科学基金会;
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We study the problem of feedback control for a class of non-linear hybrid systems characterized by rectangular invariants and multi-affine dynamics, which we call Rectangular Multi-Affine Hybrid Systems. The goal is to find initial states and feedback control strategies so that all trajectories of the closed loop system satisfy arbitrary specifications given as temporal logic formulas over the set of discrete states of the system. Sufficient conditions for solvability are obtained in terms of sets of linear inequalities. If these conditions are satisfied, a control strategy is automatically constructed. The computation consists of polyhedral set operations, construction of Buchi automata from linear temporal logic formulas, and searches on graphs.
引用
收藏
页码：2623 / +
页数：2
相关论文
共 50 条
  • [1] Control of multi-affine systems on rectangles with applications to hybrid biomolecular networks
    Belta, C
    Habets, LCGJM
    Kumar, V
    [J]. PROCEEDINGS OF THE 41ST IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 2002, : 534 - 539
  • [2] Reachability analysis of multi-affine systems
    Kloetzer, Marius
    Belta, Calin
    [J]. TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2010, 32 (05) : 445 - 467
  • [3] Reachability analysis of multi-affine systems
    Kloetzer, Marius
    Belta, Calin
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2006, 3927 : 348 - 362
  • [4] Abstraction by projection and application to multi-affine systems
    Asarin, E
    Dang, T
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2004, 2993 : 32 - 47
  • [5] Time-constrained temporal logic control of multi-affine systems
    Gol, Ebru Aydin
    Belta, Calin
    [J]. NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2013, 10 : 21 - 33
  • [6] MARCO:: A reachability algorithm for multi-affine systems with applications to biological systems
    Berman, Spring
    Halasz, Adam
    Kumar, Vijay
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, PROCEEDINGS, 2007, 4416 : 76 - +
  • [7] A novel control-oriented multi-affine qLPV modeling framework
    Szabo, Z.
    Gaspar, P.
    Bokor, J.
    [J]. 18TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION, 2010, : 1019 - 1024
  • [8] A Multi-Affine Model for Tensor Decomposition
    Yang, Yiqing
    Zhang, Li
    Wang, Sen
    Jiang, Hongrui
    Murphy, Chris J.
    Hoeve, Jim Ver
    [J]. 2011 IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION WORKSHOPS (ICCV WORKSHOPS), 2011,
  • [9] MULTIFRACTAL SPECTRA OF MULTI-AFFINE FUNCTIONS
    BARABASI, AL
    SZEPFALUSY, P
    VICSEK, T
    [J]. PHYSICA A, 1991, 178 (01): : 17 - 28
  • [10] LMI-Based Stability Analysis for Piecewise Multi-affine Systems
    Nguyen, Anh-Tu
    Sugeno, Michio
    Campos, Victor
    Dambrine, Michel
    [J]. IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2017, 25 (03) : 707 - 714
12345