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 条
  • [21] Low complexity control of piecewise affine systems with stability guarantee
    Grieder, P
    Kvasnica, M
    Baotic, M
    Morari, M
    PROCEEDINGS OF THE 2004 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2004, : 1196 - 1201
  • [22] A method for detecting relevant inputs while satisfying a reachability specification for piecewise affine systems
    Vignali, Riccardo
    Prandini, Maria
    2016 IEEE CONFERENCE ON CONTROL APPLICATIONS (CCA), 2016,
  • [23] Reachability analysis of continuous-time Piecewise Linear Systems
    Hamadeh, Abdullah O.
    Goncalves, Jorge M.
    2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, 2005, : 4169 - 4174
  • [24] Reachability of affine systems on polytopes
    Wu, Min
    Yan, Gang-Feng
    Lin, Zhi-Yun
    Zidonghua Xuebao/ Acta Automatica Sinica, 2009, 35 (12): : 1528 - 1533
  • [25] On the complexity of piecewise affine system identification
    Lauer, Fabien
    AUTOMATICA, 2015, 62 : 148 - 153
  • [26] Reachability and stabilization of discrete-time affine systems with disturbances
    Lin, Zhiyun
    Wu, Min
    Yan, Gangfeng
    AUTOMATICA, 2011, 47 (12) : 2720 - 2727
  • [27] Stabilizing low complexity feedback control of constrained piecewise affine systems
    Grieder, P
    Kvasnica, M
    Baotic, M
    Morati, M
    AUTOMATICA, 2005, 41 (10) : 1683 - 1694
  • [28] Model predictive control for perturbed continuous piecewise affine systems with bounded disturbances
    Necoara, I
    De Schutter, B
    van den Boom, TJJ
    Hellendoorn, J
    2004 43RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), VOLS 1-5, 2004, : 1848 - 1853
  • [29] Piecewise affine approximations for functions of bounded variation
    Kristensen, Jan
    Rindler, Filip
    NUMERISCHE MATHEMATIK, 2016, 132 (02) : 329 - 346
  • [30] Piecewise affine approximations for functions of bounded variation
    Jan Kristensen
    Filip Rindler
    Numerische Mathematik, 2016, 132 : 329 - 346
12345