This Article Full Text (OnlineFirst PDF) Alert me when this article is cited Alert me if a correction is posted Services Email this article to a friend Similar articles in this journal Alert me to new issues of the journal Add to Saved Citations Download to citation manager Request Permissions Request Reprints Add to My Marked Citations Citing Articles Citing Articles via Scopus Google Scholar Articles by Kloetzer, M. Articles by Belta, C. Social Bookmarking                         What's this?

Reachability analysis of multi-affine systems

Division of Systems Engineering, Department of Mechanical Engineering, Boston University, 15 Saint Mary's St., Brookline, MA 02446, USA

^* To whom correspondence should be addressed.

	Abstract

We present a computationally attractive technique to study the reachability of rectangular regions by trajectories of continuous multi-affine systems. The method is iterative. At each step, finer partitions and finite quotients that over-approximate the reachability properties of the initial system are produced. We exploit some convexity properties of multi-affine functions on rectangles to show that the construction of the quotient at each step requires only the evaluation of the vector field at the set of all vertices of all rectangles in the partition and finding the roots of a finite set of scalar affine functions. This methodology can be used for formal analysis of biochemical networks, aircraft and underwater vehicles, where multi-affine models are widely used.

First published on October 28, 2009
Transactions of the Institute of Measurement and Control 2009, doi:10.1177/0142331208097838


CiteULike    Complore    Connotea    Del.icio.us    Digg    Reddit    Technorati    Twitter    What's this?