Computational techniques for hybrid system verification
From MaRDI portal
Publication:5266964
Cited in
(48)- Differential dynamic logic for hybrid systems
- Applications of MetiTarski in the Verification of Control and Hybrid Systems
- Traffic models of periodic event-triggered quantized control systems
- Computational techniques for reachability analysis of Max-Plus-Linear systems
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Probabilistic reach-avoid problems in nondeterministic systems with time-varying targets and obstacles
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
- Efficient polyhedral enclosures for the reachable set of nonlinear control systems
- scientific article; zbMATH DE number 1614640 (Why is no real title available?)
- Linearization, model reduction and reachability in nonlinear ODEs
- Hybrid Systems: Computation and Control
- Lagrangian methods for approximating the viability kernel in high-dimensional systems
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- A novel unified framework for solving reachability and invariance problems
- Real-time reachable set estimation for linear time-delay systems based on zonotopes
- Computing differential invariants of hybrid systems as fixed points
- Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
- Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- Stability and stabilization analysis of periodic switching stochastic systems based on Lyapunov function with continuous time-varying matrix polynomials
- An approximation algorithm for box abstraction of transition systems on real state spaces
- Adaptive control with multiple event-triggering settings under mismatched uncertainties in control and feedback paths
- Computation of Discrete Abstractions of Arbitrary Memory Span for Nonlinear Sampled Systems
- Reachability problem considering running cost
- Computing reachable sets for uncertain nonlinear monotone systems
- Verification of Hybrid Systems
- Exact safety verification of hybrid systems using sums-of-squares representation
- Approximating Continuous Systems by Timed Automata
- scientific article; zbMATH DE number 7361375 (Why is no real title available?)
- Sampling-based algorithm for testing and validating robot controllers
- Computing reachable states for nonlinear biological models
- Finite-time stability and stabilisation with polyhedral domains for linear systems
- Rigorous simulation-based analysis of linear hybrid systems
- Bisimilar linear systems.
- A dimensionality reduction method for computing reachable tubes based on piecewise pseudo-time dependent Hamilton-Jacobi equation
- scientific article; zbMATH DE number 1303060 (Why is no real title available?)
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Barriers and potentially safe sets in hybrid systems: pendulum with non-rigid cable
- Finite data-rate feedback stabilization of switched and hybrid linear systems
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Factorization of saddle-point matrices in dynamical systems optimization -- reusing pivots
- Identification of piecewise affine systems via mixed-integer programming.
- The Image Computation Problem in Hybrid Systems Model Checking
- Adaptive parameter tuning for reachability analysis of nonlinear systems
- Convexity of reachable sets of nonlinear ordinary differential equations
- Deadness and how to disprove liveness in hybrid dynamical systems
This page was built for publication: Computational techniques for hybrid system verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5266964)
