Tracking smooth trajectories in linear hybrid systems

被引:0
|
作者
Benerecetti, Massimo [1 ]
Faella, Marco [1 ]
机构
[1] Univ Napoli Federico II, Dept Elect Engn & Informat Technol, Via Claudio 21, I-80125 Naples, Italy
关键词
Hybrid automata; Reachability; Controller synthesis; VERIFICATION; POLYHEDRA;
D O I
10.1016/j.ic.2017.10.004
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We analyze the properties of smooth trajectories subject to a constant differential inclusion which constrains the first derivative to belong to a given convex polyhedron. We present the first exact symbolic algorithm that computes the set of points from which there is a trajectory that reaches a given polyhedron while avoiding another (possibly non-convex) polyhedron. We prove that this set of points remains the same if the smoothness constraint is replaced by a weaker differentiability constraint, but not if it is replaced by almost everywhere differentiability. We discuss the connection with (Linear) Hybrid Automata and in particular the relationship with the classical algorithm for reachability analysis for Linear Hybrid Automata. (C) 2017 Elsevier Inc. All rights reserved.
引用
收藏
页码:114 / 138
页数:25
相关论文
共 50 条
  • [1] Optimal Tracking for Periodic Linear Hybrid Systems
    Possieri, Corrado
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (06) : 3704 - 3711
  • [2] Tracking Control for Hybrid Systems via Embedding of Known Reference Trajectories
    Sanfelice, Ricardo G.
    Biemond, J. J. Benjamin
    van de Wouw, Nathan
    Heemels, W. P. Maurice H.
    2011 AMERICAN CONTROL CONFERENCE, 2011, : 869 - 874
  • [3] Robust tracking and disturbance rejection in linear hybrid systems
    Iftar, A
    PROCEEDINGS OF THE EIGHTH IASTED INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND CONTROL, 2005, : 483 - 487
  • [4] Tracking trajectories of feedforward systems
    Mazenc, F
    Bowong, S
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (08) : 1338 - 1342
  • [5] A Generative Statistical Model for Tracking Multiple Smooth Trajectories
    Brau, Ernesto
    Barnard, Kobus
    Palanivelu, Ravi
    Dunatunga, Damayanthi
    Tsukamoto, Tatsuya
    Lee, Philip
    2011 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR), 2011, : 1137 - 1144
  • [6] Design of smooth hybrid controllers for a class of non-linear systems
    Shamgah, Laya
    Getahun Tadewos, Tadewos
    Karimoddini, Ali
    IET CONTROL THEORY AND APPLICATIONS, 2020, 14 (19): : 3251 - 3259
  • [7] Trajectory tracking in linear hybrid systems: an internal model principle approach
    Galeani, S.
    Menini, L.
    Potini, A.
    2008 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2008, : 4627 - 4632
  • [8] Linear systems with locally integrable trajectories
    Akram, M. Saeed
    Lomadze, Vakhtang
    LINEAR ALGEBRA AND ITS APPLICATIONS, 2009, 430 (8-9) : 2277 - 2289
  • [9] Continuous selections of trajectories of hybrid systems
    Broucke, M
    Arapostathis, A
    SYSTEMS & CONTROL LETTERS, 2002, 47 (02) : 149 - 157
  • [10] Precise tracking of periodic trajectories for periodic systems
    Zhang, Youling
    Zhu, Qiuguo
    Xiong, Rong
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2019, 41 (05) : 1477 - 1485