Correct-by-construction code generation from hybrid automata specification

No abstract is available for this paper.

• Publication year

  2011

• Venue

  International Wireless Communications & Mobile Computing Conference

• Publication date

  2011-07-04

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/IWCMC.2011.5982784
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Modeling and simulation using the compositional interchange format for hybrid systems

  2009influential reference
• Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System

  2008cited by this paper
• Dynamic Voltage and Frequency Scaling Architecture for Units Integration within a GALS NoC

  2008cited by this paper
• The University of California,Berkeley

  2007cited by this paper
• Ariadne: a framework for reachability analysis of hybrid automata

  2006influential reference
• Implementation of Timed Automata: An Issue of Semantics or Modeling?

  2005influential reference
• Almost ASAP semantics: from timed models to timed implementations

  2004influential reference
• SystemC

  2003influential reference
• Generating embedded software from hierarchical hybrid models

  2003cited by this paper
• A Comparison of Control Problems for Timed and Hybrid Systems

  2002cited by this paper
• TIMES - A Tool for Modelling and Implementation of Embedded Systems

  2002cited by this paper
• The theory of hybrid automata

  1996cited by this paper

• Automated Verification of Noisy Nonlinear Cyber-Physical Systems with Ariadne

  2019cites this paper
• Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne

  2017cites this paper
• Modélisation formelle de systèmes dynamiques autonomes : graphe, réécriture et grammaire. (Formal modeling of autonomous dynamical systems: graph rewriting and grammar)

  2015cites this paper
• Compositional Design of Cyber-Physical Systems Using Contracts

  2015cites this paper
• A synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC)

  2015cites this paper
• A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems

  2015cites this paper
• Joint action understanding improves robot-to-human object handover

  2013cites this paper
• Synthesis of Implementable Control Strategies for Lazy Linear Hybrid Automata

  2013cites this paper
• Realizability of embedded controllers: from hybrid models to correct implementations

  2012cites this paper
• Open Problems in Verification and Refinement of Autonomous Robotic Systems

  2012cites this paper
• Reusing of Properties after Discretization of Hybrid Automata

  2011cites this paper
• Interactive presentation abstract: Reusing of properties after discretization of hybrid automata

  2011influential citation