On systematic simulation of open continuous systems

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

Volumn 2623, Issue , 2003, Pages 283-297

  Kapinski, Jim ^a   Krogh, Bruce H ^a   Maler, Oded ^b   Stursberg, Olaf ^c  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b VERIMAG   (France)

^c TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS;

CONTINUOUS SYSTEM; DISCRETIZATIONS; SYSTEMATIC ACTIVITY; SYSTEMATIC SIMULATION;

COMPUTATION THEORY;

EID: 21144441315     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36580-x_22     Document Type: Article

References (12)

1. T. Dang, Verification and Synthesis of Hybrid Systems, PhD thesis, INPG, Grenoble, 2000.
2. E. Asarin, O. Bournez, T. Dang and O. Maler, Reachability Analysis of Piecewise-Linear Dynamical Systems, in B. Krogh and N. Lynch (Eds.), Hybrid Systems: Computation and Control, 20-31, LNCS 1790, Springer, 2000.
3. A. Bemporad and M. Morari, Verification of Hybrid Systems via Mathematical Programming, in F.W. Vaandrager and J.H. van Schuppen (Eds.), Hybrid Systems: Computation and Control, 31-45, LNCS 1569, Springer, 1999.
4. O. Botchkarev and S. Tripakis, Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations, in B. Krogh and N. Lynch (Eds.), Hybrid Systems: Computation and Control, 73-88, LNCS 1790, Springer, 2000.
5. S. Boyd, L. El Ghaoui, E. Feron, and V. Balakrishnan, Linear Matrix Inequalities in System and Control Theory, SIAM, 1994.
6. A. Chutinan and B.H. Krogh, Verification of Polyhedral Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations, in F.W. Vaandrager and J.H. van Schuppen (Eds.), Hybrid Systems: Computation and Control, 76-90, LNCS 1569, Springer, 1999.
7. A. Chutinan and B.H. Krogh, Computational Techniques for Hybrid System Verification, IEEE Transactions On Automatic Control, 2003.
8. A. Kurzhanski and I. Valyi, Ellipsoidal Calculus for Estimation and Control, Birkhauser, 1997.
9. O. Maler, A Unified Approach for Studying Discrete and Continuous Dynamical Systems, Proc. CDC'98, IEEE, 1998.
10. O. Maler, Control from Computer Science, IFAC Symposium Nonlinear Control (NOLCOS'01), Elsevier, 2001.
11. G. Pappas, G. Lafferriere and S. Yovine, A New Class of Decidable Hybrid Systems, in F.W. Vaandrager and J.H. van Schuppen (Eds.), Hybrid Systems: Computation and Control, LNCS 1569, 29-31, Springer, 1999.
12. P. Varaiya, Reach Set Computation using Optimal Control, Proc. KIT Workshop, Verimag, Grenoble, 1998.