*banner
 

The Concept of Deadlock and Livelock in Hybrid Control Systems
A. Abate, A. D'Innocenzo, G. Pola, M. D. Di Benedetto, S. Sastry

Citation
A. Abate, A. D'Innocenzo, G. Pola, M. D. Di Benedetto, S. Sastry. "The Concept of Deadlock and Livelock in Hybrid Control Systems". A. Bemporad and A. Bicchi and G. Buttazzo (eds.), 628-632, 4416, Springer Verlag, 2007.

Abstract
This short paper qualitatively introduces the definition of the concepts of Deadlock and Livelock for a general class of Hybrid Control Systems (HCS). Such a characterization hinges on three important aspects: firstly, the concept of composition of HCS; secondly, the general concept of specifications and their composition for HCS; finally, the dynamical structure and behaviors of HCS. The first aspect is introduced in a novel manner, including ideas from the literature of discrete transition systems and accounting for concepts such as that of dynamical feedback interconnection. The second point includes general properties that are of interest from a systems and control theory perspective. The third part categorizes the diverse and possibly pathological behaviors that are distinctive of HCS. A first look at the problem of Deadlock and Livelock Verification concludes the manuscript.

Electronic downloads


Internal. This publication has been marked by the author for Chess-only distribution, so electronic downloads are not available without logging in.
Citation formats  
  • HTML
    A. Abate, A. D'Innocenzo, G. Pola, M. D. Di Benedetto, S.
    Sastry. <a
    href="http://chess.eecs.berkeley.edu/pubs/210.html"
    ><i>The Concept of Deadlock and Livelock in Hybrid
    Control Systems</i></a>, A. Bemporad and A.
    Bicchi and G. Buttazzo (eds.), 628-632, 4416, Springer
    Verlag, 2007.
  • Plain text
    A. Abate, A. D'Innocenzo, G. Pola, M. D. Di Benedetto, S.
    Sastry. "The Concept of Deadlock and Livelock in Hybrid
    Control Systems". A. Bemporad and A. Bicchi and G.
    Buttazzo (eds.), 628-632, 4416, Springer Verlag, 2007.
  • BibTeX
    @inbook{AbateDInnocenzoPolaDiBenedettoSastry07_ConceptOfDeadlockLivelockInHybridControlSystems,
        author = {A. Abate and A. D'Innocenzo and G. Pola and M. D.
                  Di Benedetto and S. Sastry},
        editor = {A. Bemporad and A. Bicchi and G. Buttazzo},
        title = {The Concept of Deadlock and Livelock in Hybrid
                  Control Systems},
        pages = {628-632},
        volume = {4416},
        publisher = {Springer Verlag},
        year = {2007},
        abstract = {This short paper qualitatively introduces the
                  definition of the concepts of Deadlock and
                  Livelock for a general class of Hybrid Control
                  Systems (HCS). Such a characterization hinges on
                  three important aspects: firstly, the concept of
                  composition of HCS; secondly, the general concept
                  of specifications and their composition for HCS;
                  finally, the dynamical structure and behaviors of
                  HCS. The first aspect is introduced in a novel
                  manner, including ideas from the literature of
                  discrete transition systems and accounting for
                  concepts such as that of dynamical feedback
                  interconnection. The second point includes general
                  properties that are of interest from a systems and
                  control theory perspective. The third part
                  categorizes the diverse and possibly pathological
                  behaviors that are distinctive of HCS. A first
                  look at the problem of Deadlock and Livelock
                  Verification concludes the manuscript.},
        URL = {http://chess.eecs.berkeley.edu/pubs/210.html}
    }
    

Posted by Alessandro Abate on 24 Apr 2007.
Groups: chess
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