Approximate reachability analysis of piecewise-linear dynamical systems?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1790, Issue , 2000, Pages 20-31

  Asarin, Eugene ^a   Bournez, Olivier ^b   Dang, Thao ^a   Maler, Oded ^a  

^a VERIMAG   (France)

^b LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION ALGORITHMS; DIFFERENTIAL EQUATIONS; LINEAR CONTROL SYSTEMS; PIECEWISE LINEAR TECHNIQUES;

CONTINUOUS DYNAMICS; CONTINUOUS SYSTEM; CONTROLLER SYNTHESIS; DIFFERENTIAL INCLUSIONS; EXPERIMENTAL SYSTEM; LINEAR DIFFERENTIAL EQUATION; PIECEWISE LINEAR DYNAMICAL SYSTEMS; REACHABILITY ANALYSIS;

HYBRID SYSTEMS;

EID: 84974731232     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46430-1_6     Document Type: Conference Paper

References (20)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis and S. Yovine, The Algorithmic Analysis of Hybrid Systems, Theoretical Computer Science 138, 3-34, 1995.
2. R. Alur and D.L. Dill, A Theory of Timed Automata, Theoretical Computer Science 126, 183-235, 1994.
3. E. Asarin, O. Bournez, T. Dang, A. Pnueli and O. Maler, Effective Synthesis of Switching Controllers for Linear Systems, submitted for publication, 2000.
4. O. Bournez, O. Maler and A. Pnueli, Orthogonal Polyhedra: Representation and Computation, in [VS99], 46-60.
5. K. Cerans and J. Viksna, Deciding Reachability of Planar Multipolynomial systems, in R. Alur, T.A. Henzinger and E.D. Sontag (Eds.), Hybrid Systems III, 389-400, LNCS 1066, Springer, 1996.
6. A. Chutinan and B.H. Krogh, Verification of Polyhedral Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations, in [VS99] 76-90.
7. P. Cousot and R. Cousot, Abstract Interpretation and Application to Logic Programs, Journal of Logic Programming, 103-179, 1992.
8. T. Dang, O. Maler, Reachability Analysis via Face Lifting, in T.A. Henzinger and S. Sastry (Eds), Hybrid Systems: Computation and Control, LNCS 1386, 96-109, Springer, 1998.
9. C. Daws, A. Olivero, S. Tripakis, and S. Yovine, The Tool KRONOS, in R. Alur, T.A. Henzinger and E. Sontag (Eds.), Hybrid Systems III, LNCS 1066, 208-219, Springer, 1996.
10. M.R. Greenstreet, Verifying Safety Properties of Differential Equations, in R. Alur and T.A. Henzinger (Eds.), Proc. CAV’96, LNCS 1102, 277-287, 1996.
11. M.R. Greenstreet and I. Mitchell, Integrating Projections, in T.A. Henzinger and S. Sastry (Eds), Hybrid Systems: Computation and Control, LNCS 1386, 159-174, Springer, 1998.
12. M.R. Greenstreet and I. Mitchell, Reachability Analysis Using Polygonal Projections, in [VS99] 76-90.
13. T.A. Henzinger, B. Horowitz, R. Majumdar, and H. Wong-Toi, Beyond HyTech: Hybrid System Analysis Using Interval Numerical Methods, AAAI Spring Symposium on Hybrid Systems, Stanford University, 1999.
14. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi, HyTech: A Model Checker for Hybrid Systems, Software Tools for Technology Transfer 1, 110-122, 1997.
15. A. Kurzhanski and I. Valyi, Ellipsoidal Calculus for Estimation and Control, Birkhauser, 1997.
16. K. Mehlhorn and St. Nher, The LEDA Platform of Combinatorial and Geometric Computing, Cambridge University Press, 1999.
17. G. Pappas, G. Lafferriere and S. Yovine, A New Class of Decidable Hybrid Systems, in [VS99] 29-31.
18. J. Preussig, O. Stursberg and S. Kowalewski, Reachability Analysis of a Class of Switched Continuous Systems by Integrating Rectangular Approximation and Rectangular Analysis, in [VS99] 208-222.
19. F. Vaandrager and J. van Schuppen (Eds.), Hybrid Systems: Computation and Control, LNCS 1569, Springer, 1999.
20. P. Varaiya, Reach Set Computation using Optimal Control, Proc. KIT Workshop, Verimag, Grenoble, 1998.