An Operational Semantics for Hybrid Systems

Researchers: Haiyang Zheng
Advisor:Edward A. Lee

This research interprets hybrid system models as executable programs written in a domain-specific programming language that has a hybrid system semantics. The semantic properties of such language affect our ability to understand, execute, and analyze a hybrid system model [3]. We focus on several semantic issues that come in defining such a programming language, such as the interpretations of discrete-event signals and discontinuities in continuous-time signals, and the handling of multiple simultaneous interactions between these signals, and the consequences of numerical ODE solver techniques. We describe the solution by giving its operational semantics [2]. We will continue identifying and solving more semantics issues and complete the operational semantics of the programing language. We will implement the operational semantics in HyVisual [1].


1. C. Brooks, A. Cataldo, E. A. Lee, J. Liu, X. Liu, S. Neuendorffer, H. Zheng, "HyVisual: A Hybrid System Visual Modeler," Technical Memorandum UCB/ERL M05/ 24, University of California, Berkeley, CA 94720, July 15, 2005.

2. E. A. Lee and H. Zheng, "Operational Semantics of Hybrid Systems," Invited paper in Proceedings of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005.

3. A. van der Schaft and H. Schumacher. An Introduction to Hybrid Dynamical Systems. Lecture Notes in Control and Information Sciences 251, Springer-Verlag, 2000.

Last updated 09/29/06