Roberto Cordone, Ahmed Nazeem, Luigi Piroddi, Spyros A. Reveliotis. Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers. In Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA. pages 7244-7251, IEEE, 2012. [doi]
Abstract is missing.