Benchmarks

swMATH4612MaRDI QIDQ16783FDOQ16783

Author name not available (Why is that?)

Described by source

• Hybrid Systems: Computation and Control

Cited In (26)

• Hybrid Systems: Computation and Control
• Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
• Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
• Verifying safety properties of a nonlinear control by interactive theorem proving with the prototype verification system
• Implicit definitions with differential equations for KeYmaera X (system description)
• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
• Deadness and how to disprove liveness in hybrid dynamical systems
• Tightened reachability constraints for the verification of linear hybrid systems
• Hybrid Systems: Computation and Control
• An approximation algorithm for box abstraction of transition systems on real state spaces
• A compositional modelling and analysis framework for stochastic hybrid systems
• Verification of Hybrid Systems
• Syntax and consistent equation semantics of hybrid Chi
• Discovering polynomial Lyapunov functions for continuous dynamical systems
• Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
• Applications of MetiTarski in the Verification of Control and Hybrid Systems
• An efficient framework for barrier certificate generation of uncertain nonlinear hybrid systems
• Hybrid systems: From verification to falsification by combining motion planning and discrete search
• Automated Machine-Checked Hybrid System Safety Proofs
• Learning safe neural network controllers with barrier certificates
• Barrier certificates revisited
• Formal verification and quantitative metrics of MPSoC data dynamics
• Synthesizing invariant barrier certificates via difference-of-convex programming
• Exact safety verification of hybrid systems using sums-of-squares representation
• Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
• Safety verification for probabilistic hybrid systems

This page was built for software: Benchmarks