C2E2: a tool for verifying annotated hybrid systems

No abstract is available for this paper.

• Publication year

  2015

• Venue

  International Conference on Hybrid Systems: Computation and Control

• Publication date

  2015-04-14

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/2728606.2728646
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• HYST: a source transformation and translation tool for hybrid automaton models

  2015cited by this paper
• C2E2: A Verification Tool for Stateflow Models

  2015cited by this paper
• Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol

  2014cited by this paper
• Verification of annotated models from executions

  2013influential reference

• Finding Unknown Unknowns using Cyber-Physical System Simulators

  2025cites this paper
• Chemical Case Studies in KeYmaera X

  2022influential citation
• NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation

  2022cites this paper
• NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks

  2020cites this paper
• Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs

  2019cites this paper
• Formal Techniques for Verification and Testing of Cyber-Physical Systems

  2019cites this paper
• Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems

  2018cites this paper
• Verifiably Safe Autonomy for Cyber-Physical Systems

  2018cites this paper
• Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata

  2017cites this paper
• High Dimensional Reachability Analysis: Addressing the Curse of Dimensionality in Formal Verification

  2017cites this paper
• MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems

  2017cites this paper
• Locally optimal reach set over-approximation for nonlinear systems

  2016cites this paper
• Using Neural Networks for Fast Reachable Set Computations

  2016cites this paper
• Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems

  2016cites this paper
• Using Neural Networks to Compute Approximate and Guaranteed Feasible Hamilton-Jacobi-Bellman PDE Solutions

  2016cites this paper