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]

Authors

Roberto Cordone

This author has not been identified. Look up 'Roberto Cordone' in Google

Ahmed Nazeem

This author has not been identified. Look up 'Ahmed Nazeem' in Google

Luigi Piroddi

This author has not been identified. Look up 'Luigi Piroddi' in Google

Spyros A. Reveliotis

This author has not been identified. Look up 'Spyros A. Reveliotis' in Google