Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
type: Item
instance of: scholarly article
title: Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
zbMATH Open document ID: 1201.93017
author: Matthias Althoff
author: Olaf Stursberg
author: Martin Buss
published in: Nonlinear Analysis. Hybrid Systems
publication date: 2010-08-19T00:00:00Z
full work available at URL: document.pdf
Mathematics Subject Classification ID: 93B03
Mathematics Subject Classification ID: 93C30
Mathematics Subject Classification ID: 65Y20
zbMATH DE Number: 5772971
zbMATH Keywords: reachability analysis
zbMATH Keywords: hybrid systems
zbMATH Keywords: safety verification
zbMATH Keywords: zonotopes
zbMATH Keywords: polytopes
describes a project that uses: MPT
MaRDI profile type: Publication
OpenAlex ID: W2071775092
cites work: Robust Test Generation and Coverage for Hybrid Systems
cites work: Systematic Simulation Using Sensitivity Analysis
cites work: Q4417997
cites work: Hybrid Systems: Computation and Control
cites work: Q4953384
cites work: Computational techniques for hybrid system verification
cites work: Q4418863
cites work: Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
cites work: Guaranteed state estimation by zonotopes
cites work: Q4471375
cites work: Lectures on Polytopes
cites work: Minkowski Addition of Polytopes: Computational Complexity and Applications to Gröbner Bases
cites work: n-Dimensional Cross Product and its Application to the Matrix Eigenanalysis
cites work: A note on a method for generating points uniformly on n -dimensional spheres
cites work: Q4252276
DOI: 10.1016/J.NAHS.2009.03.009
Recommended article: Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis
Recommended article: Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems
Recommended article: Q4418863
Recommended article: Algorithmic analysis of polygonal hybrid systems. I: Reachability
Recommended article: A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
Recommended article: Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
Recommended article: Hybrid Systems: Computation and Control
Recommended article: Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems
Recommended article: Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering
description: scientific article; zbMATH DE number 5772971