On the complexity of bounded time and precision reachability for piecewise affine systems

被引：1
|
作者：
Bazille, Hugo [3 ,4 ]
Bournez, Olivier [1 ]
Gomaa, Walid [2 ,5 ]
Pouly, Amaury [1 ]
机构：
[1] Ecole Polytech, LIX, F-91128 Palaiseau, France
[2] Egypt Japan Univ Sci & Technol, CSE, Alexandria, Egypt
[3] ENS Cachan Bretagne, Rennes, France
[4] Univ Rennes 1, Rennes, France
[5] Alexandria Univ, Fac Engn, Alexandria, Egypt
来源：
THEORETICAL COMPUTER SCIENCE | 2018年 / 735卷
关键词：
Complexity; Reachability; Piecewise affine; DYNAMICAL-SYSTEMS;
D O I：
10.1016/j.tcs.2016.09.021
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Reachability for piecewise affine systems is known to be undecidable, starting from dimension 2. In this paper we investigate the exact complexity of several decidable variants of reachability and control questions for piecewise affine systems. We show in particular that the region-to-region bounded time versions leads to NP-complete or co-NP-complete problems, starting from dimension 2. We also prove that a bounded precision version leads to PSPACE-complete problems. (C) 2016 Elsevier B.V. All rights
引用
收藏
页码：132 / 146
页数：15
相关论文
共 50 条
  • [31] State feedback control of piecewise-affine systems with norm bounded noise
    Rodrigues, L
    ACC: PROCEEDINGS OF THE 2005 AMERICAN CONTROL CONFERENCE, VOLS 1-7, 2005, : 1793 - 1798
  • [32] Robust constrained control of piecewise affine systems through set-based reachability computations
    Desimini, Riccardo
    Prandini, Maria
    INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2020, 30 (15) : 5989 - 6020
  • [33] Reachability Problems for One-Dimensional Piecewise Affine Maps
    Bournez, Olivier
    Kurganskyy, Oleksiy
    Potapov, Igor
    INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, 2018, 29 (04) : 529 - 549
  • [34] Optimal Time-Bounded Reachability Analysis for Concurrent Systems
    Butkova, Yuliya
    Fox, Gereon
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, 2019, 11428 : 191 - 208
  • [35] Piecewise quadratic Lyapunov functions for piecewise affine time-delay systems
    Kulkarni, V
    Jun, M
    Hespanha, J
    PROCEEDINGS OF THE 2004 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2004, : 3885 - 3889
  • [36] Reachability Problems in Piecewise FIFO Systems
    Ghafari, Naghmeh
    Gurfinkel, Arie
    Klarlund, Nils
    Trefler, Richard
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2012, 13 (01)
  • [37] Necessary and Sufficient Conditions for Reachability of Discrete Time Affine Systems on Simplices
    Wu, Min
    Yan, Gangfeng
    Lin, Zhiyun
    PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 63 - 68
  • [38] OPTIMAL CONTROL OF PIECEWISE AFFINE SYSTEMS WITH PIECEWISE AFFINE STATE FEEDBACK
    Wu, Changzhi
    Teo, Kok Lay
    Rehbock, Volker
    JOURNAL OF INDUSTRIAL AND MANAGEMENT OPTIMIZATION, 2009, 5 (04) : 737 - 747
  • [39] Complexity Reduction of Robust Model Predictive Controller for Uncertain Piecewise Affine Systems
    Thomas, Jean
    2011 AMERICAN CONTROL CONFERENCE, 2011, : 857 - 862
  • [40] Event-triggered H∞ control for discrete-time piecewise affine systems with norm-bounded uncertainties
    Jiang Yonghao
    Wu Wei
    Lou Xuyang
    Cui Baotong
    INTERNATIONAL JOURNAL OF CONTROL, 2021, 94 (11) : 3171 - 3179
12345