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.
My Menu
Saved Items

Reachability Analysis Using Polygonal Projections

Mark R. GreenstreetContact Information and Ian MitchellContact Information

(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.

Contact Information Mark R. Greenstreet
Email: mrg@cs.ubc.ca

Contact Information Ian Mitchell
Email: mitchell@sccm.stanford.edu
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Referenced by
2 newer articles

  1. Mitchell, I.M. (2005) . IEEE Transactions on Automatic Control 50(7)
    [CrossRef]
  2. Engell, S. (2000) Continuous-discrete interactions in chemical processing plants. Proceedings of the IEEE 88(7)
    [CrossRef]
Remote Address: 38.107.191.111 • Server: mpweb07
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)