scientific article; zbMATH DE number 1444343

zbMath1037.93510MaRDI QIDQ4953384

Stavros Tripakis, Oleg Botchkarev

Publication date: 22 June 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (27)

Robustness of trajectories with finite time extent ⋮ On reachability and minimum cost optimal control ⋮ Algorithmic analysis of polygonal hybrid systems. I: Reachability ⋮ Hybridization methods for the analysis of nonlinear systems ⋮ Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis ⋮ Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration ⋮ Algorithm of uniform filling of nonlinear dynamic system reachable set based on maximin problem solution ⋮ Control of time-delayed linear differential inclusions with stochastic disturbance ⋮ On robust stability of switched systems in the context of Filippov solutions ⋮ Robust stabilization of linear differential inclusions with affine uncertainty ⋮ Approximating Continuous Systems by Timed Automata ⋮ Abstractions Refinement for Hybrid Systems Diagnosability Analysis ⋮ Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization ⋮ Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking ⋮ Reachability computation for polynomial dynamical systems ⋮ Computing reachable states for nonlinear biological models ⋮ Sampling-based Algorithm for Testing and Validating Robot Controllers ⋮ Homogeneous feedback design of differential inclusions based on control Lyapunov functions ⋮ Description of the attainable sets of one-dimensional differential inclusions ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes ⋮ Computing reachable sets for uncertain nonlinear monotone systems ⋮ Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration ⋮ Hybrid control of networked embedded systems ⋮ Reachability analysis of continuous-time piecewise affine systems ⋮ Hybrid systems: From verification to falsification by combining motion planning and discrete search ⋮ Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers

Uses Software

• HyTech

This page was built for publication: