Reachability analysis of continuous-time piecewise affine systems

Automatica

Volumn 44, Issue 12, 2008, Pages 3189-3194

  Hamadeh, Abdullah ^a   Goncalves, Jorge ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

Hybrid systems; Piecewise affine systems; Reachability

Indexed keywords

CONTROL THEORY; LINEAR CONTROL SYSTEMS;

CONTINUOUS TIMES; HYBRID SYSTEMS; INITIAL STATES; LMI APPROACHES; PERFORMANCE RESULTS; PIECEWISE AFFINE SYSTEMS; REACHABILITY; REACHABILITY ANALYSES; REACHABLE SETS; SWITCHING SURFACES; UPPER AND LOWER BOUNDS;

CONTINUOUS TIME SYSTEMS;

EID: 56349144705     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.automatica.2008.05.023     Document Type: Article

References (10)

1. Asarin, E., Dang, T., & Maler, O. (2001). d / d t: A tool for reachability analysis of continuous and hybrid systems. In Proc. IFAC nonlinear control systems
2. Asarin E., Dang T., and Maler O. The d / d t tool for verification of hybrid systems. CAV'2002. LNCS Vol. 2404 (2002), Springer-Verlag Postscript 365-370
3. Botchkarev O., and Tripakis S. Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations. HSCC (2000) 73-88
4. Boyd S., El Ghaoui L., Feron E., and Balakrishnan V. Linear matrix inequalities in system and control theory (1994), SIAM, Philadelphia
5. Dang T., and Maler O. Reachability analysis via face lifting. Hybrid systems: Computation and control, first international workshop, Proceedings. Lecture notes in computer science (1998), Springer 96-109
6. Goncalves, J. M. (2003). Regions of stability for limit cycles of piecewise linear systems. In CDC
7. Goncalves J.M., Megretski A., and Dahleh M.A. Global analysis of piecewise linear systems using impact maps and surface lyapunov functions. IEEE Transactions on Automatic Control 48 12 (2003) 2089-2106
8. Izaias Silva, B., Stursberg, O., Krogh, B., & Engell, S. (2001). An assessment of the current status of algorithmic approaches to the verification of hybrid systems. In IEEE conference on decision and control
9. Kapinski, J., & Krogh, B. H. (2002). Verifying switched-mode computer controlled systems. In IEEE international symposium on computer aided control system design
10. Kurzhanski A., and Varaiya P. On ellipsoidal techniques for reachability analysis. Optimization Methods and Software 17 (2000) 177-237