Zelus swMATH ID: 20166 Software Authors: Timothy Bourke, Marc Pouzet Description: Zélus: a synchronous language with ODEs. 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 existing Lustre-like synchronous language with Ordinary Differential Equations (ODEs). The extension is conservative: any synchronous program expressed as data-flow equations and hierarchical automata can be composed arbitrarily with ODEs in the same source code. A dedicated type system and causality analysis ensure that all discrete changes are aligned with zero-crossing events so that no side effects or discontinuities occur during integration. Programs are statically scheduled and translated into sequential code that, by construction, runs in bounded time and space. Compilation is effected by source-to-source translation into a small synchronous subset which is processed by a standard synchronous compiler architecture. The resultant code is paired with an off-the-shelf numeric solver. We show that it is possible to build a modeler for explicit hybrid systems à la Simulink/Stateflow on top of an existing synchronous language, using it both as a semantic basis and as a target for code generation. Homepage: http://dl.acm.org/citation.cfm?id=2461348 Related Software: StateFlow; Simulink; Ptolemy; iFEST; Cheddar; Daikon; Esterel; Mulprec; Quartz; LUSTRE; SIGNAL; MPT; YALMIP; CPLEX; Charon; SpaceEx; SUNDIALS Cited in: 4 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Zélus: a synchronous language with ODEs. Zbl 1361.68026Bourke, Timothy; Pouzet, Marc 2013 all top 5 Cited by 11 Authors 3 Bourke, Timothy 3 Pouzet, Marc 2 Benveniste, Albert 2 Caillaud, Benoît 2 Pagano, Bruno 1 Jin, Xiangyu 1 Talpin, Jean-Pierre 1 Wang, Shuling 1 Xu, Xiong 1 Zhan, Bohua 1 Zhan, Naijun Cited in 2 Serials 1 Theoretical Computer Science 1 Nonlinear Analysis. Hybrid Systems Cited in 4 Fields 4 Computer science (68-XX) 2 Systems theory; control (93-XX) 1 Ordinary differential equations (34-XX) 1 Numerical analysis (65-XX) Citations by Year