Convex equations and differential inclusions in hybrid systems

Proceedings of the IEEE Conference on Decision and Control

Volumn 2, Issue , 2004, Pages 1424-1429

  Van Beek, D A ^a   Pogromsky, A ^a   Nijmeijer, H ^a   Rooda, I E ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DIFFERENTIAL EQUATIONS; FORMAL LANGUAGES; FUNCTIONS; INTEGRATION; MATHEMATICAL MODELS; PROBLEM SOLVING;

CONTINUOUS-TIME (CT) SYSTEMS; CONVEX EQUATIONS; DISCRETE-EVENT (DE) SYSTEMS; HYBRID SYSTEMS;

CONTROL SYSTEM ANALYSIS;

EID: 14344249120     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2004.1430243     Document Type: Conference Paper

References (7)

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," in Theoretical Computer Science. Springer-Verlag, 1995, vol. 138, pp. 3-34.
2. D. A. van Beek and J. E. Rooda, "Languages and applications in hybrid modelling and simulation: Positioning of Chi," Control Engineering Practice, vol. 8, no. 1, pp. 81-91, 2000.
3. V. Bos and J. J. T. Kleijn, "Automatic verification of a manufacturing system," Robotics and Computer Integrated Manufacturing, vol. 17, no. 3, pp. 185-198, 2000.
4. R. R. H. Schiffelers, D. A. van Beek, K. L. Man, M. A. Renters, and J. E. Rooda, "Formal semantics of hybrid Chi," i Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, ser. Lecture Notes in Computer Science, K. G. Larsen and P. Niebert, Eds. Springer-Verlag, 2003, vol. 2791, pp. 151-165.
5. A. F. Filippov, Differential Equations with Discontinuous Right Hand Sides. Dordrecht: Kluwer Academic Publishers, 1988.
6. V. A. Yakubovich, G. A. Leonov, and A. K. Gelig, Stability Of Stationary Sets In Control Systems With Discontinuous Nonlinearities, ser. Series on Stability, Vibration and Control of Systems, Series A. Singapore: World Scientific, 2004, vol. 14.
7. V. I. Utkin, Sliding Modes in Control Optimization. Berlin: Springer-Verlag, 1992.