Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations.
From MaRDI portal
Cited in
(28)- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Robustness of trajectories with finite time extent
- On robust stability of switched systems in the context of Filippov solutions
- On reachability and minimum cost optimal control
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- Homogeneous feedback design of differential inclusions based on control Lyapunov functions
- Description of the attainable sets of one-dimensional differential inclusions
- Algorithmic analysis of polygonal hybrid systems. I: Reachability
- Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
- Algorithm of uniform filling of nonlinear dynamic system reachable set based on maximin problem solution
- Hybrid control of networked embedded systems
- Reachability analysis of continuous-time piecewise affine systems
- Unbounded-time analysis of guarded LTI systems with inputs by abstract acceleration
- Approximating Continuous Systems by Timed Automata
- Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization
- Sampling-based algorithm for testing and validating robot controllers
- Robust stabilization of linear differential inclusions with affine uncertainty
- Abstractions Refinement for Hybrid Systems Diagnosability Analysis
- Reachability computation for polynomial dynamical systems
- Computing reachable states for nonlinear biological models
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Control of time-delayed linear differential inclusions with stochastic disturbance
- A computable and compositional semantics for hybrid systems
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Hybridization methods for the analysis of nonlinear systems
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- Computing reachable sets for uncertain nonlinear monotone systems
This page was built for publication: Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4953384)
