PHAVer
From MaRDI portal
Software:16309
No author found.
Related Items (only showing first 100 items - show all)
Interoperability of Performance and Functional Analysis for Electronic System Designs in Behavioural Hybrid Process Calculus (BHPC) ⋮ Constraints for Continuous Reachability in the Verification of Hybrid Systems ⋮ Hybrid Systems: Computation and Control ⋮ Model reduction of switched affine systems ⋮ Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> ⋮ An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors ⋮ Automated Machine-Checked Hybrid System Safety Proofs ⋮ Differential Dynamic Logic for Verifying Parametric Hybrid Systems ⋮ Symbolic Model Checking of Hybrid Systems Using Template Polyhedra ⋮ Formal Modeling and Analysis of Timed Systems ⋮ Languages and Tools for Hybrid Systems Design ⋮ Hybrid Systems: Computation and Control ⋮ Hybrid Systems: Computation and Control ⋮ Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata ⋮ 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 ⋮ Diagnosability of delay-deadline failures in fair real time discrete event models ⋮ Efficient constraint/generator removal from double description of polyhedra ⋮ On the efficiency of convex polyhedra ⋮ Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction ⋮ Syntax and consistent equation semantics of hybrid Chi ⋮ Reachability Analysis of Non-linear Planar Autonomous Systems ⋮ Finite data-rate feedback stabilization of switched and hybrid linear systems ⋮ Statistical Model Checking for Networks of Priced Timed Automata ⋮ Crossing the Bridge between Similar Games ⋮ Composing Stability Proofs for Hybrid Systems ⋮ Efficient Bounded Reachability Computation for Rectangular Automata ⋮ Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method ⋮ HYST ⋮ Verification of Hybrid Systems ⋮ Symbolic Model Checking in Non-Boolean Domains ⋮ Optimal semicomputable approximations to reachable and invariant sets ⋮ Reachability and observability reduction for linear switched systems with constrained switching ⋮ Trajectory-Based Theory for Hybrid Systems ⋮ An Introduction to the Verification of Hybrid Systems Using Ariadne ⋮ Formal Verification Applied to Robotic Surgery ⋮ Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems ⋮ Lie symmetries applied to interval integration ⋮ Hybridization methods for the analysis of nonlinear systems ⋮ Monitoring of dynamic processes by rectangular hybrid automata ⋮ Safety verification for probabilistic hybrid systems ⋮ Automatic synthesis of switching controllers for linear hybrid systems: safety control ⋮ Time-triggered conversion of guards for reachability analysis of hybrid automata ⋮ Hybrid automata-based CEGAR for rectangular hybrid systems ⋮ Bellerophon: tactical theorem proving for hybrid systems ⋮ Approximating Continuous Systems by Timed Automata ⋮ HRELTL: a temporal logic for hybrid systems ⋮ On Timed Models of Gene Networks ⋮ Symbolic Reachability Analysis of Lazy Linear Hybrid Automata ⋮ Change-of-bases abstractions for non-linear hybrid systems ⋮ Temporal Logic Verification Using Simulation ⋮ On Timed Simulation Relations for Hybrid Systems and Compositionality ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Computing Differential Invariants of Hybrid Systems as Fixedpoints ⋮ Bisimulation conversion and verification procedure for goal-based control systems ⋮ Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces ⋮ Formal verification and quantitative metrics of MPSoC data dynamics ⋮ Automatic Verification of Hybrid Systems with Large Discrete State Space ⋮ d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata ⋮ Formal System Verification ⋮ Automating Verification of Cooperation, Control, and Design in Traffic Applications ⋮ PPLite: zero-overhead encoding of NNC polyhedra ⋮ Reachable set computation for uncertain time-varying linear systems ⋮ Reachability games for linear hybrid systems ⋮ Lyapunov abstractions for inevitability of hybrid systems ⋮ KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) ⋮ SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata ⋮ Verifying global start-up for a Möbius ring-oscillator ⋮ Approximate simulation relations for hybrid systems ⋮ The Structure of Differential Invariants and Differential Cut Elimination ⋮ Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis ⋮ Rigorous Simulation-Based Analysis of Linear Hybrid Systems ⋮ Counterexample-Guided Refinement of Template Polyhedra ⋮ Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking ⋮ On Reachability for Hybrid Automata over Bounded Time ⋮ A compositional modelling and analysis framework for stochastic hybrid systems ⋮ Optimal and robust controller synthesis using energy timed automata with uncertainty ⋮ Reachability computation for polynomial dynamical systems ⋮ Computing reachable states for nonlinear biological models ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Towards Component Based Design of Hybrid Systems: Safety and Stability ⋮ Using Redundant Constraints for Refinement ⋮ Composing Reachability Analyses of Hybrid Systems for Safety and Stability ⋮ Fairness of transitions in diagnosability of discrete event systems ⋮ Unnamed Item ⋮ Hybrid abstractions of affine systems ⋮ A hybrid automata model of social networking addiction ⋮ Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration ⋮ Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation ⋮ MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems ⋮ Robust Test Generation and Coverage for Hybrid Systems ⋮ Foundations of a Compositional Interchange Format for Hybrid Systems ⋮ On checking equivalence of simulation scripts ⋮ Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints ⋮ Numerically-aided deductive safety proof for a powertrain control system ⋮ 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
This page was built for software: PHAVer
