Efficient computation of reachable sets of linear time-invariant systems with inputs

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

Volumn 3927 LNCS, Issue , 2006, Pages 257-271

  Girard, Antoine ^a   Le Guernic, Colas ^b   Maler, Oded ^c  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b ECOLE NORMALE SUPÉRIEURE   (France)

^c VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYNTHESIS; HYBRID SYSTEMS; LINEAR TIME-INVARIANT SYSTEMS; PROTOTYPE IMPLEMENTATION;

ALGORITHMS; APPROXIMATION THEORY; COMPUTATION THEORY; COMPUTATIONAL COMPLEXITY; HYBRID COMPUTERS;

LINEAR SYSTEMS;

EID: 33745782764     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11730637_21     Document Type: Conference Paper

References (25)

1. [ACH+95] 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. [ABDMOO] A. Asarin, O. Bournez, T. Dang, and O. Maler, Approximate Reachability Analysis of Piecewise-linear Dynamical Systems, HSCC'00, LNCS 1790, 20-31, Springer, 2000.
3. [ABD+00] E. Asarin, O. Bournez, T. Dang, O. Maler and A. Pnueli, Effective Synthesis of Switching Controllers for Linear Systems, Proceedings of the IEEE 88, 1011-1025, 2000.
4. [ADG03] E. Asarin, T. Dang, and A. Girard, Reachability Analysis of Nonlinear Systems using Conservative Approximation, HSCC'03, LNCS 2623, 20-35, Springer, 2003.
5. [AMP95] E. Asarin, O. Maler and A. Pnueli, Reachability Analysis of Dynamical Systems having Piecewise-Constant Derivatives, Theoretical Computer Science 138, 35-65, 1995.
6. [BT00] O. Botchkarev and S. Tripakis, Verification of Hybrid Systems with Linear Differential Inclusions using Ellipsoidal Approximations, HSCC'00, LNCS 1790, 73-88, Springer, 2000.
7. [C05] The Caml Language webpage, 2005. http://caml.inria.fr/.
8. [CK98] A. Chutinan and B.H. Krogh, Computing Polyhedral Approximations to Dynamic Flow Pipes, CDC'98, IEEE, 1998.
9. [CK03] A. Chutinan and B.H. Krogh, Computational Techniques for Hybrid System Verification, IEEE Trans, on Automatic Control 48, 64-75, 2003
10. [CW90] D. Coppersmith and S. Winograd, Matrix Multiplication via Arithmetic Progressions, J. Symbolic Computation 9, 251-280, 1990.
11. [D00] T. Dang, Verification and Synthesis of Hybrid Systems, PhD thesis, Institut National Polytechnique de Grenoble, Laboratoire Verimag, 2000.
12. [DM98] T. Dang and O. Maler, Reachability Analysis via Face Lifting, HSCC'98, LNCS 1386, 96-109, Springer, 1998
13. [F05] PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech, HSCC'05, LNCS 3414, 258-273, Springer, 2005.
14. [G05] A. Girard, Reachability of Uncertain Linear Systems using Zonotopes, HSCC'05, LNCS 3414, 291-305, Springer, 2005.
15. [G96] M.R. Greenstreet, Verifying Safety Properties of Differential Equations, CAV'96, LNCS 1102, 277-287, Springer, 1996.
16. [GM99] M.R. Greenstreet, and I. Mitchell, Reachability Analysis using Polygonal Projections, HSCC'99, LNCS 1569, 103-116, Springer, 1999.
17. [HHW97] 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.
18. [K98] W. Kühn, Rigorously Computed Orbits of Dynamical Systems without the Wrapping Rffect. Computing 61, 47-68, 1998.
19. [K99] W. Kühn, Towards an Optimal Control of the Wrapping Effect, SCAN 98, Developments in Reliable Computing, 43-51, Kluwer, 1999.
20. [KV97] A. Kurzhanski and I. Valyi, Ellipsoidal Calculus for Estimation and Control Birkhauser, 1997.
21. [KV00] A.B Kurzhanski and P. Varaiya, Ellipsoidal Techniques for Reachability Analysis, HSCC'00, LNCS 1790, 202-214, Springer, 2000.
22. [M02] O. Maler, Control from Computer Science, Annual Reviews in Control 26, 175-187, 2002.
23. [MT00] I. Mitchell and C. Tomlin, Level Set Methods for Computation in Hybrid Systems, HSCC'00, LNCS 1790, 310-323, Springer, 2000.
24. [V98] P. Varaiya, Reach Set computation using Optimal Control, KIT Workshop, Verimag, Grenoble, 377-383, 1998
25. [Z75] T. Zaslavsky, Facing Up to Arrangements: Face-Count Formulas for Partitions of Space by Hyperplanes, Memoirs of the AMS 154, American Mathematical Society, 1975.