A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
We describe our work on a UTP semantics for the dynamic systems modelling language Modelica. This is a language for modelling a system's continuous behaviour using a combination of differentialalgebraic equations and an event-handling system. We develop a novel UTP theory of hybrid relations, inspired by Hybrid CSP and Duration Calculus, that is purely relational and provides uniform handling of continuous and discrete variables. This theory is mechanised in our Isabelle implementation of thedoi:10.1007/978-3-319-52228-9_3 fatcat:qdchoo2yo5h5rhjk5briyywqau