Citation
Alessandro Abate, Ashish Tiwari, S. Shankar Sastry. "The concept of Box Invariance for biologically-inspired dynamical systems". 46th IEEE Conference on Decision and Control and European Control, 5162-5167, December, 2007.

Abstract
In this paper, motivated in particular by models drawn from biology, we introduce the notion of box invariant dynamical systems. We argue that box invariance, that is, the existence of a box-shaped positively invariant region, is a characteristic of many biologically-inspired dynamical models. Box invariance is also useful for the verification of stability and safety properties of such systems. This paper presents effective characterization of this notion for some classes of systems, computational results on checking box invariance, the study of the dynamical properties it subsumes, and a comparison with related concepts in the literature. The concept is illustrated using models derived from different case studies in biology.

Electronic downloads

• http://hybrid.stanford.edu/~aabate/pubs.htm
• http://dx.doi.org/10.1109/CDC.2007.4434569

Citation formats

• HTML

  Alessandro Abate, Ashish Tiwari, S. Shankar Sastry. <a
  href="http://chess.eecs.berkeley.edu/pubs/439.html">The
  concept of Box Invariance for biologically-inspired
  dynamical systems</a>, 46th IEEE Conference on
  Decision and Control and European Control, 5162-5167,
  December, 2007.

• Plain text

  Alessandro Abate, Ashish Tiwari, S. Shankar Sastry. "The
  concept of Box Invariance for biologically-inspired
  dynamical systems". 46th IEEE Conference on Decision and
  Control and European Control, 5162-5167, December, 2007.

• BibTeX

  @inproceedings{AbateTiwariSastry07_ConceptOfBoxInvarianceForBiologicallyinspiredDynamical,
      author = {Alessandro Abate and Ashish Tiwari and S. Shankar
                Sastry},
      title = {The concept of Box Invariance for
                biologically-inspired dynamical systems},
      booktitle = {46th IEEE Conference on Decision and Control and
                European Control},
      pages = {5162-5167},
      month = {December},
      year = {2007},
      abstract = {In this paper, motivated in particular by models
                drawn from biology, we introduce the notion of box
                invariant dynamical systems. We argue that box
                invariance, that is, the existence of a box-shaped
                positively invariant region, is a characteristic
                of many biologically-inspired dynamical models.
                Box invariance is also useful for the verification
                of stability and safety properties of such
                systems. This paper presents effective
                characterization of this notion for some classes
                of systems, computational results on checking box
                invariance, the study of the dynamical properties
                it subsumes, and a comparison with related
                concepts in the literature. The concept is
                illustrated using models derived from different
                case studies in biology.},
      URL = {http://chess.eecs.berkeley.edu/pubs/439.html}
  }
  

Posted by Alessandro Abate on 16 Jun 2008.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.