scientific article; zbMATH DE number 1956649
From MaRDI portal
Publication:4418863
zbMATH Open1032.93037MaRDI QIDQ4418863FDOQ4418863
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 of this publication is not available (Why is that?)
PolyhedraSingular Value DecompositionModel Checking. Convex HullHybrid Dynamic SystemsHyperrectangles
Cited In (30)
- Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata
- Recent developments in theory and tool support for hybrid systems verification with \textsc{HyPro}
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Hierarchical solution of non-convex optimal control problems with application to autonomous driving
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems
- Reachability set of a three-dimensional cascade control system
- Trajectory Based Verification Using Local Finite-Time Invariance
- Finite abstractions for hybrid systems with stable continuous dynamics
- Discovering invariants via simple component analysis
- Nonlinear set membership filter with state estimation constraints via consensus-ADMM
- Varying zonotopic tube RMPC with switching logic for lateral path tracking of autonomous vehicle
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- Level-Set Approach for Reachability Analysis of Hybrid Systems under Lag Constraints
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
- Supervisory control of hybrid systems based on model abstraction and guided search
- Title not available (Why is that?)
- Finding Relevant Templates via the Principal Component Analysis
- Method for computing exterior and interior approximations to the reachability sets of bilinear differential 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
- Formal analysis of the Schulz matrix inversion algorithm: a paradigm towards computer aided verification of general matrix flow solvers
- Provably safe and robust learning-based model predictive control
- Finite data-rate feedback stabilization of switched and hybrid linear systems
- Hybrid systems: From verification to falsification by combining motion planning and discrete search
- Compositional abstraction refinement for control synthesis
- Abstractions for hybrid systems
- Title not available (Why is that?)
- 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 Q4418863)
