Non-linear Continuous Systems for Safety Verification

No abstract is available for this paper.

• Publication year

  2016

• Venue

  ARCH@CPSWeek

• Publication date

  2016-04-12

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.29007/w94n
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Method for Invariant Generation for Polynomial Continuous Systems

  2016cited by this paper
• Verified Reachability Analysis of Continuous Systems

  2015cited by this paper
• dReach: δ-Reachability Analysis for Hybrid Systems

  2015cited by this paper
• Decidability of the Reachability for a Family of Linear Vector Fields

  2015cited by this paper
• Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis

  2015cited by this paper
• KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems

  2015cited by this paper
• Construction of parametric barrier functions for dynamical systems using interval analysis

  2015cited by this paper
• HyComp: An SMT-Based Model Checker for Hybrid Systems

  2015cited by this paper
• HYST: a source transformation and translation tool for hybrid automaton models

  2015cited by this paper
• Characterizing Algebraic Invariants by Differential Radical Invariants

  2014cited by this paper
• Iterative computation of polyhedral invariants sets for polynomial dynamical systems

  2014cited by this paper
• Abstraction of Elementary Hybrid Systems by Variable Transformation

  2014cited by this paper
• Barrier certificates revisited

  2013cited by this paper
• Flow*: An Analyzer for Non-linear Hybrid Systems

  2013cited by this paper
• Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants

  2013cited by this paper
• SpaceEx: Scalable Verification of Hybrid Systems

  2011influential reference
• NOTICE WARNING CONCERNING COPYRIGHT RESTRICTIONS:

  2011cited by this paper
• Computing semi-algebraic invariants for polynomial dynamical systems

  2011cited by this paper
• Appendix to SpaceEx: Scalable Verification of Hybrid Systems

  2011cited by this paper
• Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods

  2010cited by this paper
• Automatic invariant generation for hybrid systems using ideal fixed points

  2010cited by this paper
• A Calculus for Hybrid CSP

  2010cited by this paper
• Differential-algebraic Dynamic Logic for Differential-algebraic Programs

  2010cited by this paper
• A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems

  2009cited by this paper
• Reachability in Linear Dynamical Systems

  2008cited by this paper
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)

  2008cited by this paper
• Generating Box Invariants

  2008cited by this paper
• Safety verification of hybrid systems by constraint propagation-based abstraction refinement

  2007cited by this paper
• Qualitative Theory of Planar Differential Systems

  2006cited by this paper
• Interval Tools for ODEs and DAEs

  2006cited by this paper
• PHAVer: algorithmic verification of hybrid systems past HyTech

  2005cited by this paper
• Safety Verification of Hybrid Systems Using Barrier Certificates

  2004cited by this paper
• Symbolic Reachability Computation for Families of Linear Vector Fields

  2001cited by this paper
• Modeling and Verifying Hybrid Dynamic Systems Using CheckMate

  2001cited by this paper
• Variable structure control of nonlinear multivariable systems: a tutorial

  1988cited by this paper
• Differential Equations: Linearity vs. Nonlinearity

  1963cited by this paper

• Data-driven barrier certificate generation using deep learning and symbolic regression

  2025cites this paper
• PAC One-Step Safety Certification for Black-Box Discrete-Time Stochastic Systems

  2025cites this paper
• Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates

  2025cites this paper
• Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems via Counterexample Guidance

  2024cites this paper
• Formal Synthesis of Neural Barrier Certificates for Continuous Systems via Counterexample Guided Learning

  2023cites this paper
• Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition

  2023cites this paper
• On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains

  2023cites this paper
• Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming

  2022influential citation
• A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation

  2022cites this paper
• Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming

  2021cites this paper
• Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems via Approximations

  2021cites this paper
• A Novel Approach for Solving the BMI Problem in Barrier Certificates Generation

  2020cites this paper
• Pegasus: sound continuous invariant generation

  2020cites this paper
• ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving

  2020cites this paper
• ARCH-COMP19 Category Report: Hybrid Systems Theorem Proving

  2019cites this paper
• Occupation Kernels and Densely Defined Liouville Operators for System Identification

  2019cites this paper
• International Workshop on Applied Verification of Continuous and Hybrid Systems ARCH-COMP 19 Category Report : Hybrid Systems Theorem Proving

  2019cites this paper
• Pegasus: A Framework for Sound Continuous Invariant Generation

  2019cites this paper
• International Workshop on Applied Verification of Continuous and Hybrid Systems Verification of Continuous Time Recurrent Neural Networks ( Benchmark Proposal )

  2018cites this paper
• Verification of Continuous and Hybrid Systems ARCH-COMP 18 Category Report : Hybrid Systems Theorem Proving

  2018cites this paper
• Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming

  2018influential citation
• Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP

  2016cites this paper