*banner
 

Affine Hybrid Systems
Aaron Ames, Shankar Sastry

Citation
Aaron Ames, Shankar Sastry. "Affine Hybrid Systems". in Hybrid Systems: Computation and Control, LNCS Vol. 2993, 16-31, 2004.

Abstract
Affine hybrid systems are hybrid systems in which the discrete domains are affine sets and the transition maps between discrete domains are affine transformations. The simple structure of these systems results in interesting geometric properties; one of these is the notion of spatial equivalence. In this paper, a formal framework for describing affine hybrid systems is introduced. As an application, it is proven that every compact hybrid system H is spatially equivalent to a hybrid system Hid in which all the transition maps are the identity. An explicit and computable construction for Hid is given.

Electronic downloads

Citation formats  
  • HTML
    Aaron Ames, Shankar Sastry. <a
    href="http://chess.eecs.berkeley.edu/pubs/754.html"
    >Affine Hybrid Systems</a>, in Hybrid Systems:
    Computation and Control, LNCS Vol. 2993, 16-31, 2004.
  • Plain text
    Aaron Ames, Shankar Sastry. "Affine Hybrid
    Systems". in Hybrid Systems: Computation and Control,
    LNCS Vol. 2993, 16-31, 2004.
  • BibTeX
    @inproceedings{AmesSastry04_AffineHybridSystems,
        author = {Aaron Ames and Shankar Sastry},
        title = {Affine Hybrid Systems},
        booktitle = {in Hybrid Systems: Computation and Control, LNCS
                  Vol. 2993},
        pages = {16-31},
        year = {2004},
        abstract = {Affine hybrid systems are hybrid systems in which
                  the discrete domains are affine sets and the
                  transition maps between discrete domains are
                  affine transformations. The simple structure of
                  these systems results in interesting geometric
                  properties; one of these is the notion of spatial
                  equivalence. In this paper, a formal framework for
                  describing affine hybrid systems is introduced. As
                  an application, it is proven that every compact
                  hybrid system H is spatially equivalent to a
                  hybrid system Hid in which all the transition maps
                  are the identity. An explicit and computable
                  construction for Hid is given.},
        URL = {http://chess.eecs.berkeley.edu/pubs/754.html}
    }
    

Posted by Christopher Brooks on 4 Nov 2010.
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.

©2002-2018 Chess