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

来源：

INFORMATION AND COMPUTATION | 2017年 / 257卷

关键词：

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

共 16 条

[1] Automatic symbolic verification of embedded systems
Alur, R
Henzinger, TA
Ho, PH
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (03) : 181 - 201
[2] ALUR R, 1993, REAL-TIME SYSTEMS SYMPOSIUM: PROCEEDINGS, P2, DOI 10.1109/REAL.1993.393520
[3] Not necessarily closed convex polyhedra and the double description method
Bagnara, R
Hill, PM
Zaffanella, E
[J]. FORMAL ASPECTS OF COMPUTING, 2005, 17 (02) : 222 - 257
[4] The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
Bagnara, Roberto
Hill, Patricia M.
Zaffanella, Enea
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2008, 72 (1-2) : 3 - 21
[5] Controller synthesis for hybrid systems with a lower bound on event separation
Balluchi, A
Benvenuti, L
Villa, T
Wong-Toi, H
Sangiovanni-Vincentelli, AL
[J]. INTERNATIONAL JOURNAL OF CONTROL, 2003, 76 (12) : 1171 - 1200
[6] Benerecetti M., 2011, ELECT P THEORETICAL, V54
[7] Benerecetti M, 2013, HSCC 13 HYBR SYST CO, P193
[8] Benerecetti M., 2011, P 50 IEEE C DEC CONT
[9] Automatic Synthesis of Switching Controllers for Linear Hybrid Systems: Reachability Control
Benerecetti, Massimo
Faella, Marco
[J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 16 (04)
[10] Automatic synthesis of switching controllers for linear hybrid systems: Safety control
Benerecetti, Massimo
Faella, Marco
Minopoli, Stefano
[J]. THEORETICAL COMPUTER SCIENCE, 2013, 493 : 116 - 138

← 1 2 →