scientific article; zbMATH DE number 1956649
From MaRDI portal
Publication:4418863
zbMath1032.93037MaRDI QIDQ4418863
Olaf Stursberg, Bruce H. Krogh
Publication date: 30 July 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2623/26230482.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
PolyhedraSingular Value DecompositionModel Checking. Convex HullHybrid Dynamic SystemsHyperrectangles
Related Items (25)
Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems ⋮ Finite data-rate feedback stabilization of switched and hybrid linear systems ⋮ Varying zonotopic tube RMPC with switching logic for lateral path tracking of autonomous vehicle ⋮ Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems ⋮ Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming ⋮ Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration ⋮ Compositional abstraction refinement for control synthesis ⋮ Nonlinear set membership filter with state estimation constraints via consensus-ADMM ⋮ Method for computing exterior and interior approximations to the reachability sets of bilinear differential systems ⋮ Finding Relevant Templates via the Principal Component Analysis ⋮ Finite abstractions for hybrid systems with stable continuous dynamics ⋮ Discovering invariants via simple component analysis ⋮ Reachability set of a three-dimensional cascade control system ⋮ Provably safe and robust learning-based model predictive control ⋮ Abstractions for hybrid systems ⋮ Reachability computation for polynomial dynamical systems ⋮ Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Supervisory control of hybrid systems based on model abstraction and guided search ⋮ Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes ⋮ Trajectory Based Verification Using Local Finite-Time Invariance ⋮ 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 ⋮ Hierarchical solution of non-convex optimal control problems with application to autonomous driving ⋮ Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
Uses Software
This page was built for publication:
