Fundamentals of Synchronous Control in Modelica

Abstract

The scope of Modelica 3.3 has been extended from a language primarily intended for physical systems modeling to modeling of complete systems by allowing the modeling of control systems and enabling automatic code generation for embedded systems. This paper describes the fundamental synchronous language primitives introduced for increased correctness of control systems implementation. The approach is based on associating clocks tot he variable types. Special operators are needed when accessing variables of anohter clock This enables clock inference and increased correctness of the code since many more checks can be done during translation.