PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Reveliotis, Spyros A."

Author of the publication

copydeleteadd this publication to your clipboard
A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems.

, , , and . IEEE Trans. Automation Science and Engineering, 12 (3): 990-1006 (2015)

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.

A. Laukemann

A. Laukemann

A. Laukemann

A. Vo{\ss}

A. Afkari

 

Other publications of authors with the same name

Production Planning and Control in Flexibly Automated Manufacturing Systems: Current Status and Future Requirements.. ICRA, page 1442-1449. IEEE Robotics and Automation Society, (1999)Structural analysis of resource allocation systems with synchronization constraints.. ICRA, page 1045-1049. IEEE, (2003)A Necessary and Sufficient Condition for the Liveness and Reversibility of Process-Resource Nets With Acyclic, Quasi-live, Serializable, and Reversible Process Subnets.. IEEE Trans. Automation Science and Engineering, 3 (4): 462-468 (2006)Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies Through Mathematical Programming., , and . IEEE Trans. Automation Science and Engineering, 7 (2): 240-248 (2010)A correct and scalable deadlock avoidance policy for flexible manufacturing systems., , and . IEEE Trans. Robotics and Automation, 14 (5): 796-809 (1998)Conflict Resolution in Free-Ranging Multivehicle Systems: A Resource Allocation Paradigm., and . IEEE Trans. Robotics, 27 (2): 283-296 (2011)Liveness-enforcing supervision for resource allocation systems with uncontrollable behavior and forbidden states., and . IEEE Trans. Robotics and Automation, 18 (2): 234-240 (2002)Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory., and . Discrete Event Dynamic Systems, 26 (3): 511-537 (2016)Optimized Multiagent Routing for a Class of Guidepath-Based Transport Systems., , and . IEEE Trans. Automation Science and Engineering, 16 (1): 363-381 (2019)Applications of Discrete Event Systems.. Encyclopedia of Systems and Control, Springer, (2015)