PHAVer: Algorithmic verification of hybrid systems past HyTech
From MaRDI portal
Recommendations
Cited in
(75)- Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation
- Don't care words with an application to the automata-based approach for real addition
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Computing differential invariants of hybrid systems as fixed points
- Differential dynamic logic for hybrid systems
- PHAVer
- Formal verification and quantitative metrics of MPSoC data dynamics
- A hybrid automata model of social networking addiction
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- On checking equivalence of simulation scripts
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- On the efficiency of convex polyhedra
- \textsc{DryVR}: data-driven verification and compositional reasoning for automotive systems
- Proving the existence of fair paths in infinite-state systems
- Syntax and consistent equation semantics of hybrid Chi
- Hybrid abstractions of affine systems
- Numerically-aided deductive safety proof for a powertrain control system
- Finite data-rate feedback stabilization of switched and hybrid linear systems
- Modelling and analysing neural networks using a hybrid process algebra
- Hybrid automata as a modelling approach in the behavioural sciences
- Reachability analysis of linear systems with stepwise constant inputs
- Efficient constraint/generator removal from double description of polyhedra
- Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming
- Relating hybrid chi to other formalisms
- Model-based engineering of embedded systems using the hybrid process algebra Chi
- Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
- Composing stability proofs for hybrid systems
- Rigorous simulation-based analysis of linear hybrid systems
- Counterexample-Guided Refinement of Template Polyhedra
- Proving the Correctness of the Implementation of a Control-Command Algorithm
- Reachability and observability reduction for linear switched systems with constrained switching
- Approximating Continuous Systems by Timed Automata
- Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space
- Computing Differential Invariants of Hybrid Systems as Fixedpoints
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Towards Component Based Design of Hybrid Systems: Safety and Stability
- CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints
- Applications of MetiTarski in the Verification of Control and Hybrid Systems
- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
- Trajectory Based Verification Using Local Finite-Time Invariance
- Safety verification for probabilistic hybrid systems
- Automatic synthesis of switching controllers for linear hybrid systems: safety control
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
- Automatic verification of a turbogas control system with the Mur verifier
- Trajectory-based theory for hybrid systems
- An introduction to the verification of hybrid systems using \textsc{Ariadne}
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata
- Verifying global start-up for a Möbius ring-oscillator
- Verification and parameter synthesis for real-time programs using refinement of trace abstraction
- Reachability computation for polynomial dynamical systems
- Computing reachable states for nonlinear biological models
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Model reduction of switched affine systems
- Monitoring of dynamic processes by rectangular hybrid automata
- Bounded Verification of Reachability of Probabilistic Hybrid Systems
- Symbolic analysis of linear hybrid automata -- 25 years later
- \textsf{HHLPy}: practical verification of hybrid systems using Hoare logic
- Optimal mixed discrete-continuous planning for linear hybrid systems
- Bisimulation conversion and verification procedure for goal-based control systems
- Revisiting polyhedral analysis for hybrid systems
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe construction
- Conical transition graphs for analysis of asymptotic stability in hybrid dynamical systems
- Poles-based invariant generation for verifying the BIBO stability of digital filters
- SMT based parameter identifiable combination detection for non-linear continuous and hybrid dynamics
- Fairness of transitions in diagnosability of discrete event systems
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
- Hybridization methods for the analysis of nonlinear systems
- Hybrid automata-based CEGAR for rectangular hybrid systems
- HRELTL: a temporal logic for hybrid systems
- Change-of-bases abstractions for non-linear hybrid systems
- Approximate simulation relations for hybrid systems
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking
This page was built for publication: PHAVer: Algorithmic verification of hybrid systems past HyTech
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5703927)
