Abstraction by projection and application to multi-affine systems

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

Volumn 2993, Issue , 2004, Pages 32-47

  Asarin, Eugene ^a   Dang, Thao ^b  

^a UNIVERSITÉ PARIS DIDEROT   (France)

^b VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS;

ABSTRACTION METHODS; BILINEAR SYSTEM; CONTINUOUS SYSTEM; CONTINUOUS VARIABLES; CONVERGENCE RESULTS; DIFFERENTIAL INCLUSIONS; OPTIMAL CONTROLS; REACHABILITY ANALYSIS;

ABSTRACTING;

EID: 35048857940     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24743-2_3     Document Type: Article

References (36)

1. J.C. Alexander and T.I. Seidman. Sliding modes in intersecting switching surfaces, Houston J. Math., 24:545-569, 1994.
2. R. Alur, T. Dang, and F. Ivancic. Reachability Analysis Via Predicate Abstraction. In HSCC, LNCS 2289, Springer, 2002.
3. E. Asarin, O. Bournez, T. Dang, and O. Maler. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. In HSCC, LNCS 1790, Springer, 2000.
4. E. Asarin, T. Dang, and A. Girard. Reachability Analysis of Nonlinear Systems Using Conservative Approximation. In HSCC, LNCS 2623, Springer, 2003.
5. E. Asarin, T. Dang, and O. Maler, d/dt: A tool for Verification of Hybrid Systems. Computer Aided Verification, Springer, LNCS, 2002.
6. J.P. Aubin and A. Cellina. Differential Inclusions: Set-valued Maps and Viability Theory, Springer, 1984.
7. C. Belta, L. C. G. J. M. Habets, and V. Kumar. Control of multi-affine systems on rectangles with an application to gene transcription control. Proc. of CDC, 2003.
8. S. Bensalem, Y. Lakhnech,and S. Owre. Computing Abstractions of Infinite State Systems Compositionally and Automatically. In Computer Aided Verification, LNCS 1427, Springer, 1998.
9. A. Chutinan and B.H. Krogh. Verification of Polyhedral Invariant Hybrid Automata Using Polygonal F low Pipe Approximations. In HSCC, LNCS 1569, Springer, 1999.
10. P. Cousot and R. Cousot. Abstract Interpretation and Application to Logic Programs. Journal of Logic Programming, 103-179, 1992.
11. T. Dang. Reachability Analysis of Bilinear Systems. Tech. report IMAG, 2003.
12. K. Deimling. Multivalued Differential Equations. De Gruyter, 1992.
13. T. Donchev and E. Farkhi. Stability and Euler approximation of one-sided Lipschitz differential inclusions. SI AM Journal of Control and Optimization, 36(2):780-796, 2000.
14. A.F. Filippov. Diff. Equations with Discontinuous Righthand Sides. Kluwer, 1988.
15. A. Girard. Detection of Event Occurence in Pjecewise Linear Hybrid Systems, Proc. RASC'02, December 2002, Nottingham, UK.
16. M.R. Greenstreet and I. Mitchell. Reachability Analysis Using Polygonal Projections. In HSCC, LNCS 1569 Springer, 1999.
17. G. Hämmerlin and K. Hoffmann. Numerical Mathematics, Springer, 1991.
18. T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. Analysis of Nonlinear Hybrid Systems. IEEE Transactions on Automatic Control 43, 540-554, 1998.
19. D. Kirschner, S. Lenhart, and S. Serbin. Optimal control of the chemotherapy of HIV. Journal of Mathematival Biology, 35:775-792, 1997.
20. A. Kurzhanski and P. Varaiya. Ellipsoidal Techniques for Reachability Analysis. In HSCC, LNCS 1790, Springer, 2000.
21. A. Kurzhanski and P. Varaiya. Dynamic optimization for reachability problems. JOTA, 108(2):227-251, 2001.
22. G. Lafferriere, G. Pappas, and S. Yovine. Reachability computation for linear systems. Proc. of the 14th IFAC World Congress, 7-12 E, 1999.
23. U. Ledzewicz and H. Schättier. Optimal control for 3-compartment model for cancer chemotherapy with quadratic objective. Proc. of the 4th Int Conf on Dynamical Systems and Differential Equations, Wilmington, NC, 2002.
24. I. Mitchell and C. Tomlin. Level Set Method for Computation in Hybrid Systems. In HSCC, LNCS 1790, Spinger-Verlag, 2000.
25. R.R. Mohler. Nonlinear Systems, 2, Prentice-Hall, Inc., Englewood Cliffs, 1991.
26. George J. Pappas. Bisimilar linear systems, in Automatica, 2003.
27. L. S. Pontryagin, V. G. Boltyanskii, R. V. Gamkrelidze, and E. F. Mischenko. The Mathematical Theory of Optimal Processes. Pergamon Press, Oxford, 1964.
28. A. Puri and P. Varaiya. Verification of Hybrid Systems using Abstraction. In Hybrid Systems II, LNCS 999, Springer, 1995.
29. P. Saint-Pierre. Approximation of Viability Kernels and Capture Basin for Hybrid Systems. Proc. of European Control Conf. ECC'0l, 2776-2783, 2001.
30. A. Sarychev. Time-optimality of bang-bang controls for chained systems. Proc. of 2nd IFAC Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, 2003.
31. P. Tabuada and G. Pappas, Model-Checking LTL over controllable linear systems is decidable. In HSCC, LNCS 2623, Springer, 2003.
32. A. Tiwari and G. Khanna. Series of Abstractions for Hybrid Automata. In HSCC, LNCS 2289, Springer, 2002.
33. C. Tomlin, J. Lygeros, and S. Sastry. A Game-Theoretic Approach to Controller Design for Hybrid Systems. Proc. of the IEEE, 88:940-970, 2000.
34. V.I. Utkin. Sliding Modes and their Application in Variable Structure Systems. Mir, Moscow, 1978.
35. P. Varaiya. Reach Set Computation using Optimal Control. Proc. KIT Workshop, Grenoble, 1998.
36. V. Veliov. On the time-discretization of control systems. SI AM journal on Control and Optimization, 35(5):1470-1468, 1997.