The following pages link to SpaceEx (Q22891):
Displaying 50 items.
- Enclosing the behavior of a hybrid automaton up to and beyond a Zeno point (Q254170) (← links)
- SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata (Q479819) (← links)
- Quantifier-free encoding of invariants for hybrid systems (Q479826) (← links)
- Construction of parametric barrier functions for dynamical systems using interval analysis (Q518335) (← links)
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- ModelPlex: verified runtime validation of verified cyber-physical system models (Q681465) (← links)
- Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems (Q748756) (← links)
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers (Q779625) (← links)
- Generalized property-directed reachability for hybrid systems (Q784143) (← links)
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning (Q832173) (← links)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness (Q832206) (← links)
- Hybrid automata-based CEGAR for rectangular hybrid systems (Q888464) (← links)
- Change-of-bases abstractions for non-linear hybrid systems (Q901261) (← links)
- An improved algorithm for the control synthesis of nonlinear sampled switched systems (Q1620955) (← links)
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (Q1626902) (← links)
- Tracking smooth trajectories in linear hybrid systems (Q1680510) (← links)
- Time-triggered conversion of guards for reachability analysis of hybrid automata (Q1683445) (← links)
- Bellerophon: tactical theorem proving for hybrid systems (Q1687737) (← links)
- Order-reduction abstractions for safety verification of high-dimensional linear systems (Q1693830) (← links)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- An axiomatic approach to existence and liveness for differential equations (Q1982634) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis (Q2085160) (← links)
- Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version) (Q2105418) (← links)
- Parameter synthesis of polynomial dynamical systems (Q2105425) (← links)
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro} (Q2105429) (← links)
- Reachability analysis of a general class of neural ordinary differential equations (Q2112130) (← links)
- Event-B refinement for continuous behaviours approximation (Q2147212) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Reachability analysis for high-index linear differential algebraic equations (Q2176703) (← links)
- Abstraction based verification of stability of polyhedral switched systems (Q2178203) (← links)
- A dynamic quantized state system execution framework for hybrid automata (Q2178226) (← links)
- Extracting counterexamples induced by safety violation in linear hybrid systems (Q2184551) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- Safety preserving control synthesis for sampled data systems (Q2252964) (← links)
- Analysis on reachable set for spacecraft relative motion under low-thrust (Q2307548) (← links)
- Template polyhedra and bilinear optimization (Q2322312) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Lagrangian methods for approximating the viability kernel in high-dimensional systems (Q2356655) (← links)
- Data-driven and model-based verification via Bayesian identification and reachability analysis (Q2409334) (← links)
- \(\epsilon\)-semantics computations on biological systems (Q2453211) (← links)
- Approximately bisimilar symbolic models for randomly switched stochastic systems (Q2454178) (← links)
- Numerically-aided deductive safety proof for a powertrain control system (Q2520674) (← links)
- Finite data-rate feedback stabilization of switched and hybrid linear systems (Q2628418) (← links)
- A piecewise ellipsoidal reachable set estimation method for continuous bimodal piecewise affine systems (Q2677116) (← links)
- Reachability of weakly nonlinear systems using Carleman linearization (Q2695489) (← links)
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems (Q2926638) (← links)
