PHAVer
From MaRDI portal
Cited in
(only showing first 100 items - show all)- HYST
- HySon
- LySHA
- ProbReach
- STRONG
- SPHIN
- HyLAA
- LASH
- LIRA
- HLIO
- CORA
- timed-pattern-matching
- contractLarva
- DryVR
- HyPro
- MONAA
- Verimag Polyhedra Library
- DynIbex
- polco
- Acumen
- AMT
- ASDeX
- POWER-TRUCTOR
- Mjollnir
- MonPoly
- FaSTrack
- Hybrid automata-based CEGAR for rectangular hybrid systems
- Constraint-based abstract semantics for temporal logic: a direct approach to design and implementation
- A hybrid automata model of social networking addiction
- Computing Differential Invariants of Hybrid Systems as Fixedpoints
- On reachability for hybrid automata over bounded time
- Verification of Hybrid Systems
- Syntax and consistent equation semantics of hybrid Chi
- Reachable set computation for uncertain time-varying linear systems
- Post and pre-initialized stopwatch Petri nets: formal semantics and state space computation
- HRELTL: a temporal logic for hybrid systems
- On Timed Simulation Relations for Hybrid Systems and Compositionality
- Statistical Model Checking for Networks of Priced Timed Automata
- Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC)
- An introduction to the verification of hybrid systems using \textsc{Ariadne}
- Hybrid abstractions of affine systems
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata
- Lie symmetries applied to interval integration
- Change-of-bases abstractions for non-linear hybrid systems
- Reachability and observability reduction for linear switched systems with constrained switching
- Parametric verification and test coverage for hybrid automata using the inverse method
- Bisimulation conversion and verification procedure for goal-based control systems
- Crossing the Bridge between Similar Games
- Composing stability proofs for hybrid systems
- Counterexample-Guided Refinement of Template Polyhedra
- Computing reachable states for nonlinear biological models
- Applications of MetiTarski in the Verification of Control and Hybrid Systems
- Time-triggered conversion of guards for reachability analysis of hybrid automata
- Approximating Continuous Systems by Timed Automata
- Verification and parameter synthesis for real-time programs using refinement of trace abstraction
- Temporal Logic Verification Using Simulation
- Diagnosability of delay-deadline failures in fair real time discrete event models
- Finite data-rate feedback stabilization of switched and hybrid linear systems
- Hybrid Systems: Computation and Control
- Robust Test Generation and Coverage for Hybrid Systems
- Numerically-aided deductive safety proof for a powertrain control system
- Automated Machine-Checked Hybrid System Safety Proofs
- Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
- An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors
- Composing reachability analyses of hybrid systems for safety and stability
- Verifying global start-up for a Möbius ring-oscillator
- Reachability analysis of non-linear planar autonomous systems
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
- Reachability Analysis of Hybrid Systems Using Support Functions
- Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming
- Refinements of behavioural abstractions for the supervisory control of hybrid systems
- Optimal and robust controller synthesis using energy timed automata with uncertainty
- Symbolic model checking in non-Boolean domains
- Bellerophon: tactical theorem proving for hybrid systems
- Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis
- Relating hybrid chi to other formalisms
- Formal verification and quantitative metrics of MPSoC data dynamics
- Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
- Differential Dynamic Logic for Verifying Parametric Hybrid Systems
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking
- Automatic synthesis of switching controllers for linear hybrid systems: safety control
- HYST: a source transformation and translation tool for hybrid automaton models
- Symbolic Reachability Analysis of Lazy Linear Hybrid Automata
- Codac
- Automatic Verification of Hybrid Systems with Large Discrete State Space
- Safety verification for probabilistic hybrid systems
- Reachability computation for polynomial dynamical systems
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Formal Verification Applied to Robotic Surgery
- Non-convex invariants and urgency conditions on linear hybrid automata
- Reachability games for linear hybrid systems
- Efficient bounded reachability computation for rectangular automata
- Modelling and analysing neural networks using a hybrid process algebra
- Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction
- Hybrid automata as a modelling approach in the behavioural sciences
- Reachability analysis of linear systems with stepwise constant inputs
- Languages and Tools for Hybrid Systems Design
- Towards an efficient path-oriented tool for bounded reachability analysis of linear hybrid systems using linear programming
- Rigorous simulation-based analysis of linear hybrid systems
This page was built for software: PHAVer
