@INCOLLECTION{ADPDS07,
AUTHOR = {A. Abate and A. D'Innocenzo and G. Pola and M.D. Di Benedetto and S. Sastry},
TITLE = {The Concept of Deadlock and Livelock in Hybrid Control Systems},
BOOKTITLE = {Hybrid Systems: Computation and Control},
MONTH = {April},
YEAR = {2007},
EDITOR = {A. Bemporad and A. Bicchi and G. Buttazzo},
PUBLISHER = {Springer Verlag},
SERIES = {Lecture Notes in Computer Science 4416},
PAGES = {628-632},
};

  back to Publications