Author of the publication

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case.

, , , and . IEEE Trans. Automat. Contr., 56 (8): 1818-1833 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms., , , and . IEEE Trans. Automat. Contr., 58 (11): 2772-2787 (2013)A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems., and . CASE, page 451-458. IEEE, (2010)Efficient Enumeration of Minimal Unsafe States in Complex Resource Allocation Systems., and . IEEE Trans. Automation Science and Engineering, 11 (1): 111-124 (2014)An Optimization-Based Approach for Cloud Solution Design., , , , , and . OTM Conferences (1), volume 10573 of Lecture Notes in Computer Science, page 751-764. Springer, (2017)Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case., , , and . IEEE Trans. Automat. Contr., 56 (8): 1818-1833 (2011)Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case., and . IEEE Trans. Automat. Contr., 57 (7): 1670-1684 (2012)A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems., and . IEEE Trans. Automation Science and Engineering, 8 (4): 766-779 (2011)Cognitive Determination of Policies for Data Management in IoT Systems., , and . ICSOC Workshops, volume 10797 of Lecture Notes in Computer Science, page 188-197. Springer, (2017)An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems., and . CASE, page 686-693. IEEE, (2012)Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract)., , , , , , and . CASE, page 37-41. IEEE, (2009)