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