Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Reachability Analysis Using Polygonal Projections
| |
|
Reachability Analysis Using Polygonal Projections
Mark R. Greenstreet6 and Ian Mitchell7 
| (6) |
Department of Computer Science, University of British Columbia, Vancouver, BC, V6T 1Z4, Canada |
| (7) |
Scientific Computing and Computational Mathematics, Stanford University, Stanford, CA 94305-9025, USA |
Abstract
This paper presents Coho, a reachability analysis tool for systems modeled by non-linear, ordinary differential equations.
Coho represents high-dimensional objects using projections onto planes corresponding to pairs of variables. This representation
is compact and allows efficient algorithms from computational geometry to be exploited while also capturing dependencies in
the behaviour of related variables. Reachability is performed by integration where methods from linear programming and linear
systems theory are used to bound trajectories emanating from each face of the object. This paper has two contributions: first,
we describe the implementation of Coho and, second, we present analysis results obtained by using Coho on several simple models.
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|