Reduction and decomposition of differential automata: Theory and applications

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

Volumn 1386, Issue , 1998, Pages 319-333

  Matveev, Alexey S ^a   Savkin, Andrey V ^a  

^a UNIVERSITY OF WESTERN AUSTRALIA   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84957890583     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64358-3_48     Document Type: Conference Paper

References (22)

1. “Hybrid systems I. Verification and control”, ed. Grossman, R.L., Nerode, A., Ravn, A.P., and Rishel, H. Lecture Notes in Computer Sciences, vol.736, Springer, 1993.
2. “Hybrid systems II. Verification and control”, ed. Antsaklis, P., Kohn, W., Nerode, A., and Sastry, Sh. Lecture Notes in Computer Sciences, vol.999, Springer, 1995.
3. “Hybrid systems III. Verification and control”, ed. Alur, R., Henzinger, T.A., and Zontag, E.D. Lecture Notes in Computer Sciences,vol.1066, Springer, 1996.
4. Antsaklis, P., Stiver, J., and Lemmon, M., “Hybrid systems modelling and autonomous control systems”, in [1], pp.366-392.
5. Brockett, R.W., “Hybrid models for motor control systems”. In Trentelman, H.L and Willems, J.C., editors, “Essays in Control”, Birkhauser, Boston, 1993.
6. Gollu, A. and Varaiya, P., “Hybrid dynamical systems”, In Proc. of the 28th IEEE Conf. On Decision and Control. Tampa. 1989.
7. Savkin, A. V., Petersen, I. R., Skafidas, E., and Evans, R.J., “Hybrid dynamical systems: robust control synthesis problems”, Systems & Control Letters, vol.29, pp.81-90, 1996.
8. Savkin, A. V., Evans, R.J., and Petersen, I. R., “A new approach to robust control of hybrid dynamical systems”, in [3], pp.553-562.
9. Varaiya, P., “Smart cars on smart roads. Problems of control”, IEEE Trans. on Autom. Control, vol.38, no.2, pp.195-207, 1993.
10. Chase, C., Serrano, J., and Ramadge, P., “Periodicity and chaos from switched flow systems: contrasting examples of discretely controlled continuous systems”, IEEE Trans. on Autom. Control, vol.38, no.l, pp.70-83, 1993.
11. Alur, R., Couroubetis, C., Henzinger, T., and Ho, P., “Hybrid automata: An algorithmic approach to the specifying and verification of hybrid system”, in [1], pp.209-229.
12. Gennaro, S., Horn, C., Kulkarni, S., and Ramadge, P., “Reduction of timed hybrid systems”. Proc. IEEE Conf. on Decision and Control, pp.4215-4220, FL, 1994.
13. Tavernini, L., “Differential Automata and their Discrete Simulators”, Nonlinear Analysis. Theory. Methods & Applications, vol. 11, no.6, pp.665-683, 1987.
14. Filippov, A.F., “Differential Equations with Discontinuous Righthand Sides”, Kluwer Academic Publishers, 1988.
15. Doğruel, M. and Özgüner, U., “Modelling and stability issues in hybrid systems” in [2], pp.148-165.
16. Drakunov, S., “Sliding modes in hybrid systems - a semigroup approach”, Proc. of the 33rd Conference on Decision and Control, Florida, 1994, pp.4235-4240.
17. Ushio, T., Ueda, H., and Hiral, K, “Controlling chaos in a switched arrival system”, Systems & Control Letters, vol.26, pp.335-339, 1995.
18. Horn, C. and Ramadge, P.J., “Dynamics of switched arrival system with thresholds”, Proc. of the 32nd CDC, San Antonio, Texas, 1996, pp.288-293.
19. Horn, C. and Ramadge, P.J., “A topological analysis of a family of dynamical systems with non-standard chaotic and periodic behavior”, International Journal of Control, vol.67, No.6, pp.979-1020, 1997.
20. Asarin, E., Maler, O., and Pnueli, A., “Reachibility analisys of dynamical systems having piecewise-constant derivatives”, Theoretical Computer Sciences, vo1.138, pp.35-65, 1995.
21. Guckenheimer, J., “Planar hybrid systems”, in [2], pp.202-225.
22. Petrovski, I.G., “Ordinary differential equations”. Pover Publications Inc., N.Y., 1966.