International Workshop on Hybrid Systems: Computation and Control

HSCC 2005: Hybrid Systems: Computation and Control pp 25-53

Operational Semantics of Hybrid Systems

  • Edward A. Lee
  • Haiyang Zheng
Conference paper

DOI: 10.1007/978-3-540-31954-2_2

Volume 3414 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Lee E.A., Zheng H. (2005) Operational Semantics of Hybrid Systems. In: Morari M., Thiele L. (eds) Hybrid Systems: Computation and Control. HSCC 2005. Lecture Notes in Computer Science, vol 3414. Springer, Berlin, Heidelberg

Abstract

This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific programming language. We describe the semantics of HyVisual, which is such a domain-specific programming language. The semantic properties of such a language affect our ability to understand, execute, and analyze a model. We discuss several semantic issues that come in defining such a programming language, such as the interpretation of discontinuities in continuous-time signals, and the interpretation of discrete-event signals in hybrid systems, and the consequences of numerical ODE solver techniques. We describe the solution in HyVisual by giving its operational semantics.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Edward A. Lee
    • 1
  • Haiyang Zheng
    • 1
  1. 1.Center for Hybrid and Embedded Software Systems (CHESS)University of CaliforniaBerkeleyUSA