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]

@inproceedings{CordoneNPR12,
  title = {Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers},
  author = {Roberto Cordone and Ahmed Nazeem and Luigi Piroddi and Spyros A. Reveliotis},
  year = {2012},
  doi = {10.1109/CDC.2012.6427075},
  url = {http://dx.doi.org/10.1109/CDC.2012.6427075},
  researchr = {https://researchr.org/publication/CordoneNPR12},
  cites = {0},
  citedby = {0},
  pages = {7244-7251},
  booktitle = {Proceedings of the 51th IEEE Conference on Decision and Control, CDC 2012, December 10-13, 2012, Maui, HI, USA},
  publisher = {IEEE},
  isbn = {978-1-4673-2065-8},
}