Alessandro Abate and Alessandro D'Innocenzo and Giordano Pola and Maria Domenica Di Benedetto and S. Shankar Sastry

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2006-181

December 17, 2006

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-181.pdf

This paper introduces a formal 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 for HCS. The first aspect is introduced in a novel manner, including both aspects from the literature of discrete transition systems, and accounting for concepts such as feedback inteconnections of dynamical systems. The second point accounts for general properties that are of interest from a system theory and control perspective. The third part encompasses and categorizes between the diverse and possibly pathological behaviors that are characteristic to HCS. We investigate the problems of Deadlock and Livelock Verification.

---

BibTeX citation:

@techreport{Abate:EECS-2006-181,
    Author= {Abate, Alessandro and D'Innocenzo, Alessandro and Pola, Giordano and Di Benedetto, Maria Domenica and Sastry, S. Shankar},
    Title= {The Concept of Deadlock and Livelock in Hybrid Control Systems},
    Year= {2006},
    Month= {Dec},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-181.html},
    Number= {UCB/EECS-2006-181},
    Abstract= {This paper introduces a formal 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 for HCS. The first aspect is introduced in a novel manner, including both aspects from the literature of
discrete transition systems, and accounting for concepts such as feedback inteconnections of dynamical systems. The
second point accounts for general properties that are of interest from a system theory and control perspective. The
third part encompasses and categorizes between the diverse and possibly pathological behaviors that are characteristic
to HCS. We investigate the problems of Deadlock and Livelock Verification.},
}

EndNote citation:

%0 Report
%A Abate, Alessandro 
%A D'Innocenzo, Alessandro 
%A Pola, Giordano 
%A Di Benedetto, Maria Domenica 
%A Sastry, S. Shankar 
%T The Concept of Deadlock and Livelock in Hybrid Control Systems
%I EECS Department, University of California, Berkeley
%D 2006
%8 December 17
%@ UCB/EECS-2006-181
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2006/EECS-2006-181.html
%F Abate:EECS-2006-181