Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.