SpaceEx

swMATH10939MaRDI QIDQ22891

No author found.

Related Items (86)

Quantitative Model Checking for a Controller Design ⋮ An improved algorithm for the control synthesis of nonlinear sampled switched systems ⋮ Verisig 2.0: verification of neural network controllers using Taylor model preconditioning ⋮ \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability ⋮ Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness ⋮ Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs ⋮ Finite data-rate feedback stabilization of switched and hybrid linear systems ⋮ Crossing the Bridge between Similar Games ⋮ Efficient Bounded Reachability Computation for Rectangular Automata ⋮ Discretizing Affine Hybrid Automata with Uncertainty ⋮ Linear Hybrid System Falsification through Local Search ⋮ HYST ⋮ Verification of Hybrid Systems ⋮ Event-B refinement for continuous behaviours approximation ⋮ Pegasus: sound continuous invariant generation ⋮ Decomposition of Reachable Sets and Tubes for a Class of Nonlinear Systems ⋮ An Introduction to the Verification of Hybrid Systems Using Ariadne ⋮ Formal Verification Applied to Robotic Surgery ⋮ Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices ⋮ Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems ⋮ Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools ⋮ Reachability analysis for high-index linear differential algebraic equations ⋮ Data-driven and model-based verification via Bayesian identification and reachability analysis ⋮ Abstraction based verification of stability of polyhedral switched systems ⋮ A dynamic quantized state system execution framework for hybrid automata ⋮ JuliaReach ⋮ TIRA ⋮ Tracking smooth trajectories in linear hybrid systems ⋮ Extracting counterexamples induced by safety violation in linear hybrid systems ⋮ Time-triggered conversion of guards for reachability analysis of hybrid automata ⋮ Hybrid automata-based CEGAR for rectangular hybrid systems ⋮ A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems ⋮ Bellerophon: tactical theorem proving for hybrid systems ⋮ Order-reduction abstractions for safety verification of high-dimensional linear systems ⋮ Change-of-bases abstractions for non-linear hybrid systems ⋮ Reachability of weakly nonlinear systems using Carleman linearization ⋮ Formal verification and quantitative metrics of MPSoC data dynamics ⋮ Formal System Verification ⋮ Computing branching distances with quantitative games ⋮ Reachability Analysis of Nonlinear Differential-Algebraic Systems ⋮ Sapo ⋮ Avoiding geometric intersection operations in reachability analysis of hybrid systems ⋮ Zélus ⋮ Quasi-dependent variables in hybrid automata ⋮ Eliminating spurious transitions in reachability with support functions ⋮ Finite state approximation for verification of partially observable stochastic hybrid systems ⋮ Scalable Static Hybridization Methods for Analysis of Nonlinear Systems ⋮ Reachset Conformance Testing of Hybrid Automata ⋮ \(\epsilon\)-semantics computations on biological systems ⋮ Approximately bisimilar symbolic models for randomly switched stochastic systems ⋮ SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata ⋮ Quantifier-free encoding of invariants for hybrid systems ⋮ Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis ⋮ Rigorous Simulation-Based Analysis of Linear Hybrid Systems ⋮ Counterexample-Guided Refinement of Template Polyhedra ⋮ An axiomatic approach to existence and liveness for differential equations ⋮ ModelPlex: verified runtime validation of verified cyber-physical system models ⋮ Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems ⋮ Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations ⋮ Construction of parametric barrier functions for dynamical systems using interval analysis ⋮ A compositional modelling and analysis framework for stochastic hybrid systems ⋮ Reachability computation for polynomial dynamical systems ⋮ NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems ⋮ Safety preserving control synthesis for sampled data systems ⋮ An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations ⋮ 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 ⋮ Numerically-aided deductive safety proof for a powertrain control system ⋮ Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems ⋮ Analysis on reachable set for spacecraft relative motion under low-thrust ⋮ Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction* ⋮ Template polyhedra and bilinear optimization ⋮ Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers ⋮ Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata ⋮ Generalized property-directed reachability for hybrid systems ⋮ Adaptive reachability algorithms for nonlinear systems using abstraction error analysis ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants ⋮ Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties ⋮ Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) ⋮ Parameter synthesis of polynomial dynamical systems ⋮ Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} ⋮ A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning ⋮ Reachability analysis of a general class of neural ordinary differential equations ⋮ Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point ⋮ Lagrangian methods for approximating the viability kernel in high-dimensional systems ⋮ Forward Inner-Approximated Reachability of Non-Linear Continuous Systems

This page was built for software: SpaceEx