Divide and recycle: types and compilation for a hybrid synchronous language

No abstract is available for this paper.

• Publication year

  2011

• Venue

  ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems

• Publication date

  2011-04-11

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/1967677.1967687
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Non-standard semantics of hybrid systems modelers

  2012cited by this paper
• The fundamentals of hybrid systems modelers

  2010cited by this paper
• Towards Computational Hybrid System Semantics for Time-Based Block Diagrams

  2009influential reference
• Modelling of Complex Systems: Systems as Dataflow Machines

  2009influential reference
• Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4

  2009cited by this paper
• Clock-directed modular code generation for synchronous data-flow languages

  2008cited by this paper
• Stream and State-Based Semantics of Hierarchy in Block Diagrams

  2008cited by this paper
• Implementation of Hybrid Automata in Scicos

  2007cited by this paper
• Hybrid Dynamics in Modelica: Should all Events be Considered Synchronous

  2007cited by this paper
• Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems

  2007influential reference
• Languages and Tools for Hybrid Systems Design

  2006cited by this paper
• Modeling and Simulation in Scilab/Scicos

  2006cited by this paper
• SUNDIALS: Suite of nonlinear and differential/algebraic equation solvers

  2005influential reference
• Operational Semantics of Hybrid Systems

  2005cited by this paper
• Slideshow: functional presentations

  2004influential reference
• Translating discrete-time simulink to lustre

  2003cited by this paper
• Lucid Synchrone - version 2.0: Tutorial and reference manual

  2001influential reference
• A framework for comparing models of computation

  1998cited by this paper
• Functional reactive animation

  1997influential reference
• Compositional and uniform modelling of hybrid systems

  1996cited by this paper
• The synchronous data flow programming language LUSTRE

  1991cited by this paper
• Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics

  1991influential reference

• Special Session Predictable Timing Behavior in Distributed Cyber-Physical Systems

  2025cites this paper
• Verified Compilation of Synchronous Dataflow with State Machines

  2023cites this paper
• Density-Based Semantics for Reactive Probabilistic Programming

  2023cites this paper
• Formal Verification of Cyber-Physical Systems in the Industrial Model-Based Design Process. (Vérification formelle des systèmes cyber-physiques dans le processus industriel de la conception basée sur modèle)

  2018cites this paper
• Building a Hybrid Systems Modeler on Synchronous Languages Principles

  2018influential citation
• A Synchronous Look at the Simulink Standard Library

  2017cites this paper
• Symbolic simulation of dataflow synchronous programs with timers

  2017cites this paper
• A Synchronous Approach to Quasi-Periodic Systems

  2017cites this paper
• A formally verified compiler for Lustre

  2017cites this paper
• Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques

  2016cites this paper
• Building a hybrid systems modeler from synchronous language principles

  2015cites this paper
• Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques

  2015cites this paper
• A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages

  2015cites this paper
• A type-based analysis of causality loops in hybrid systems modelers

  2014influential citation
• Hybrid Modeling and Contract-Based Design for Multiphysics Embedded Systems

  2014cites this paper
• Semantics of multi-mode DAE systems

  2013cites this paper
• Hyperstream processing systems

  2013cites this paper
• THÈSE Pour obtenir le grade de DOCTEUR DE L ’ UNIVERSITÉ DE GRENOBLE

  2013cites this paper
• Hyperstream processing systems: nonstandard modeling of continuous-time signals

  2013cites this paper
• Hybrid Systems Modeling Challenges Caused by Cyber-Physical Systems (cid:63)

  2013influential citation
• Apprentissage statistique à grande echelle Francis Bach

  2013cites this paper
• Timing constraints and symbolic execution for a hybrid synchronous language

  2013cites this paper
• Zélus: a synchronous language with ODEs

  2013cites this paper
• Compilation of Zero-crossing Detection in Languages for Hybrid Systems

  2012cites this paper
• From hybrid data-flow languages to hybrid automata: a complete translation

  2012cites this paper
• Non-standard semantics of hybrid systems modelers

  2012cites this paper
• Design and Implementation of a Synchronous Language with ODEs Master 2 Internship November 2012 Level :

  2012cites this paper
• Vérification partielle de programmes de contrôle-commande par interprétation abstraite

  2012cites this paper
• The non-standard Semantics of Hybrid Systems a

  2012cites this paper
• Logico-Numerical Verification Methods for Discrete and Hybrid Systems

  2012cites this paper
• Antescofo : vers une programmation synchrone

  2012cites this paper
• A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code

  2011cites this paper
• A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers

  year unknowncites this paper
• Density-Based Semantics for Reactive Probabilistic Programming

  year unknowncites this paper
• Density-Based Semantics for Reactive Probabilistic Programming

  year unknowncites this paper
• Density-Based Semantics for Reactive Probabilistic Programming

  year unknowncites this paper
• Density-Based Semantics for Reactive Probabilistic Programming

  year unknowncites this paper