The concept of deadlock and livelock in hybrid control systems

Authors:
Alessandro Abate;Alessandro D'Innocenzo;Giordano Pola;Maria Domenica Di Benedetto;Shankar Sastry
Affiliations:
Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley;Department of Electrical Engineering and Computer Science, Center of Excellence DEWS, University of L'Aquila, L'Aquila, Italy;Department of Electrical Engineering and Computer Science, Center of Excellence DEWS, University of L'Aquila, L'Aquila, Italy and Department of Electrical Engineering, University of California at ...;Department of Electrical Engineering and Computer Science, Center of Excellence DEWS, University of L'Aquila, L'Aquila, Italy;Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley
Venue:
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Year:
2007

Citing 3
Cited 1

Composing specifications

REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Modularity for Timed and Hybrid Systems

CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
Hybrid I/O automata

Information and Computation

On deadlocks and fairness in self-organizing resource-flow systems

ARCS'10 Proceedings of the 23rd international conference on Architecture of Computing Systems

Quantified Score

Hi-index	0.00

Visualization

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.