Publication:4953384
From MaRDI portal
zbMath1037.93510MaRDI QIDQ4953384
Stavros Tripakis, Oleg Botchkarev
Publication date: 22 June 2000
93C30: Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems)
Related Items
Control of time-delayed linear differential inclusions with stochastic disturbance, 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, Hybrid systems: From verification to falsification by combining motion planning and discrete search, Robustness of trajectories with finite time extent, On reachability and minimum cost optimal control, Algorithmic analysis of polygonal hybrid systems. I: Reachability, Reachability analysis of continuous-time piecewise affine systems, Approximating Continuous Systems by Timed Automata, Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization, Sampling-based Algorithm for Testing and Validating Robot Controllers
Uses Software