PHAVer

swMATH4123MaRDI QIDQ16309FDOQ16309

Author name not available (Why is that?)

Official website: http://www-verimag.imag.fr/~frehse/phaver_web/

Described by source

• Hybrid Systems: Computation and Control

Cited In (only showing first 100 items - show all)

• Modelling and analysing neural networks using a hybrid process algebra
• Hybrid automata as a modelling approach in the behavioural sciences
• Languages and Tools for Hybrid Systems Design
• Reachability analysis of linear systems with stepwise constant inputs
• Constraints for Continuous Reachability in the Verification of Hybrid Systems
• SPHIN: a model checker for reconfigurable hybrid systems based on SPIN
• Differential dynamic logic for hybrid systems
• Efficient constraint/generator removal from double description of polyhedra
• Hybrid Systems: Computation and Control
• KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
• MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
• Using redundant constraints for refinement
• Applications of polyhedral computations to the analysis and verification of hardware and software systems
• Foundations of a Compositional Interchange Format for Hybrid Systems
• Assume-guarantee verification of nonlinear hybrid systems with ARIADNE
• Almost ASAP semantics: from timed models to timed implementations
• On reachability for hybrid automata over bounded time
• IMITATOR
• Syntax and consistent equation semantics of hybrid Chi
• QEPCAD
• Benchmarks
• ARMC
• Aspic
• Uppaal
• HYSDEL
• PPL
• MATISSE
• ToolboxLS
• Ariadne
• mctau
• HSolver
• RunLim
• MathSAT
• AutoMOTGen
• HI-maude
• ATL
• PolyLib
• d/dt
• LinAIG
• Ellipsoidal Toolbox
• HARE
• pyHybrid Analysis
• RAMAS
• SpaceEx
• BACH
• HSPICE
• HyDI
• IBEX
• PAGAI
• UPPAAL TIGA
• Rapture
• Statistical Model Checking for Networks of Priced Timed Automata
• Charon
• R-Charon
• C2e2
• dReach
• Flow*
• HyCreate
• 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
• Reachability and observability reduction for linear switched systems with constrained switching
• Computing reachable states for nonlinear biological models
• Finite data-rate feedback stabilization of switched and hybrid linear systems
• Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
• Reachability Analysis of Hybrid Systems Using Support Functions
• Ariadne: dominance checking of nonlinear hybrid automata using reachability analysis
• Bellerophon: tactical theorem proving for hybrid systems
• Automatic Synthesis of Robust and Optimal Controllers – An Industrial Case Study
• HYST: a source transformation and translation tool for hybrid automaton models
• Automatic synthesis of switching controllers for linear hybrid systems: safety control
• d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata
• Proving the Correctness of the Implementation of a Control-Command Algorithm
• Optimal semicomputable approximations to reachable and invariant sets
• On Timed Models of Gene Networks
• Formal system verification. State-of the-art and future trends
• Constraint-based abstract semantics for temporal logic: a direct approach to design and implementation

This page was built for software: PHAVer