Hybrid abstractions of affine systems

Nonlinear Analysis, Theory, Methods and Applications

Volumn 65, Issue 6, 2006, Pages 1150-1167

  Lefebvre, Marie Anne ^a   Guéguen, Hervé ^a  

^a IETR   (France)

Author keywords

Abstractions; Hybrid systems; Reachability

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL METHODS; EIGENVALUES AND EIGENFUNCTIONS; NONLINEAR SYSTEMS; VECTORS;

ABSTRACTIONS; HYBRID SYSTEMS; REACHABILITY;

ABSTRACTING;

EID: 33744806074     PISSN: 0362546X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.na.2005.12.016     Document Type: Article

References (22)

1. A. Tiwari, Approximate reachability for linear systems, in: HSCC2003: Hybrid Systems Computation and Control, Prague, The Czech Republic, 2003, pp. 514-525
2. S. Prajna, A. Jadbabaie, Safety verification of hybrid systems using barrier certificates, in: HSCC2004: Hybrid Systems: Computation and Control, Philadelphia, USA, 2004, pp. 477-492
3. Chutinan A., and Krogh B. Verification of infinite-state dynamics systems using approximate quotient transition systems. IEEE Transactions on Automatic Control 46 (2001) 1401-1410
4. R. Alur, T. Dang, F. Ivancic, Reachability of hybrid systems via predicate abstractions, in: HSCC2003: Hybrid Systems Computation and Control, Prague, 2003, pp. 35-48
5. Guéguen H., and Zaytoon J. On the formal verification of hybrid systems. Control Engineering Practice 12 (2004) 1253-1267
6. Henzinger T., Ho P., and Wong-Toi H. Algorithmic analysis of non-linear hybrid systems. IEEE Transactions on Automatic Control 43 (1998) 540-554
7. H. Yazarel, G. Pappas, Geometric programming relaxations for linear systems reachability, in: American Control Conference, Boston, USA, 2004, pp. 553-559
8. A. Kurzhanski, P. Varaiya, Ellipsoidal technique for reachability analysis, in: HSCC2000: Hybrid Systems Computation and Control, Pittsburgh, USA, 2000, pp. 202-214
9. T. Dang, O. Maler, Reachability analysis via face lifting, in: HSCC1998: Hybrid Systems Computation and Control, Berkeley, USA, 1998, pp. 96-109
10. T. Henzinger, B. Horowitz, R. Majumbar, H. Wong -Toy, Beyond HyTech: Hybrid systems analysis using interval numerical methods, in: HSCC2000: Hybrid Systems Computation and Control, Pittsburgh, USA, 2000, pp. 130-144
11. E. Asarin, T. Dang, Abstraction by projection and application to multi affine systems, in: HSCC2004: Hybrid Systems: Computation and Control, Philadelphia, USA, 2004, pp. 16-31
12. E. Asarin, T. Dang, A. Girard, Reachability analysis of nonlinear systems using conservative approximation, in: HSCC2003: Hybrid Systems Computation and Control, Prague, Czech Republic, 2003, pp. 20-35
13. Henzinger T., Ho P.-H., and Wong-Toi H. HyTech: A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer 1 (1997) 110-122
14. M.-A. Lefebvre, H. Guéguen, J. Buisson, Structured hybrid abstractions of continuous systems, in: IFAC World Congress B02, Barcelona, Spain, 2002
15. G. Frehse, Algorithmic verification of hybrid systems past HyTech, in: HSCC2005: Hybrid Systems Computation and Control, Zurich, Switzerland, 2005, pp. 258-273
16. T. Dang, Verification and synthesis of hybrid systems, Ph.D. Thesis, Verimag, INPG, Grenoble, France, 2000
17. M. Greenstreet, I. Mitchell, Reachability analysis using polygonal projections, in: HSCC1999: Hybrid Systems Computation and Control, Berg an Dal, The Netherlands, 1999, pp. 103-116
18. Pettit N. Analysis of Piecewise Linear Dynamical Systems (1995), Research Studio Press, Taunton, Somerset, England
19. G. Nenninger, V. Krebs, Hybrid regions of abstraction of piecewise affine hybrid systems, in: ADPM2000: Automation of Mixed Processes, Dortmund, Germany, 2000, pp. 87-97
20. Lunze J., Nixdorf B., and Schröder J. Deterministic discrete-event representation of linear continuous-variable systems. Automatica 35 (1999) 395-406
21. M.-A. Lefebvre, Abstractions pour la vérification de sûreté des systèmes hybrides, Ph.D. Thesis, IETR-Supélec, Univ Rennes 1, Rennes, France, 2004
22. D.K. Wilde, A library for doing polyhedral operations, IRISA, Rennes, France, 785, 1993