This page contains the definitions of blocks in Zelus and
SCADE/SCADE Hybrid associated to the submission "A Synchronous Look
to the Simulink Standard Library" for EMSOFT'17.
The definitions below are the SCADE/SCADE Hybrid versions.
From the user point-of-view, the only difference of a SCADE Hybrid file
w.r.t a SCADE one is the presence of three new keywords: (1) "hybrid" defines a continuous-time function;
(2) "der" define the instantaneous derivative of a signal;
(3) "up" detects a zero-crossing during integration.