Ahmed Nazeem

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation IEEE Transactions on Automatic Control	2021-09-09	Paper
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case IEEE Transactions on Automatic Control	2017-09-08	Paper
Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms IEEE Transactions on Automatic Control	2017-09-08	Paper
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case IEEE Transactions on Automatic Control	2017-08-25	Paper
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks Discrete Event Dynamic Systems	2015-06-12	Paper
Optimal linear separation of the safe and unsafe subspaces of sequential resource allocation systems as a set-covering problem: algorithmic procedures and geometric insights SIAM Journal on Control and Optimization	2013-07-17	Paper

Research outcomes over time

This page was built for person: Ahmed Nazeem