Zélus is a new programming language for modeling systems that mix discrete logical time
and continuous time behaviors. From a user's perspective, its main originality is to extend an …

All engineering disciplines are founded and rely on models, although they may differ on
purposes and usages of modeling. Among the different disciplines, the engineering of Cyber …

We present a method of translating discrete-time Simulink models to Lustre programs. Our
method consists of three steps: type inference, clock inference, and hierarchical bottom-up …

The correct compilation of block diagram languages like Lustre, Scade, and a discrete
subset of Simulink is important since they are used to program critical embedded control …

We present a formal operational semantics for Stateflow, the graphical Statecharts-like
language of the Matlab/Simulink tool suite that is widely used in model-based development …

Simulink is an industrial de-facto standard for building executable models of control systems
and their environments. Stateflow is a toolbox used to model reactive systems via …

Model-Driven Design (MDD) of cyber-physical systems advocates for design procedures
that start with formal modeling of the real-time system, followed by the model's verification at …

We present a formal operational semantics for Stateflow, the graphical Statecharts-like
language of the Matlab/Simulink tool suite that is widely used in model-based development …

We present a denotational semantics for Stateflow, the graphical Statecharts-like language
of the Matlab/Simulink toolsuite. This semantics makes use of continuations to capture even …

Our modern life increasingly depends on embedded systems. How to develop complex
embedded systems correctly is a grand challenge for computer science and control theory …