( en | de | ru )

 

Disambiguation of "Reveliotis, Spyros"

Author of the publication

copydeleteadd this publication to your clipboard
Coordinating Autonomy: Sequential Resource Allocation Systems for Automation

. Robotics & Automation Magazine, IEEE, 22 (2): 77--94 (June 2015)
DOI: 10.1109/mra.2015.2401295

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.

Spyros Rammos

Spyros Kritsikis

Spyros Thiveos

Spyros Krivas

Spyros Analytis

 

Other publications of authors with the same name

Logical Control of Complex Resource Allocation Systems. Foundations and Trends® in Systems and Control, 4 (1-2): 1--223 (2017)Concurrency bugs in multithreaded software: modeling and analysis using Petri nets, , , , , , , and . Discrete Event Dynamic Systems, 23 (2): 157--195 (May 13, 2013)Coordinating Autonomy: Sequential Resource Allocation Systems for Automation. Robotics & Automation Magazine, IEEE, 22 (2): 77--94 (June 2015)On the "Counter-Example" in the Article "Max'-Controlled Siphons for Liveness of S3PGR2" Regarding the Results in "Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings".. IEEE Trans. Automat. Contr., 61 (1): 194-197 (2016)On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems.. ICATPN, volume 2679 of Lecture Notes in Computer Science, page 241-255. Springer, (2003)Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control., , , , , , and . IEEE Trans. Control. Syst. Technol., 21 (6): 2067-2082 (2013)Deadlock avoidance policies for flexible manufacturing systems: the conjunctive case., and . ICRA, page 533-538. IEEE, (1996)Avoidance versus detection and recovery problem in buffer-space allocation of flexibly automated production systems.. IEEE Trans. Syst. Man Cybern. Part B, 30 (5): 799-811 (2000)A linear characterization of the Petri net reachability space corresponding to bounded-length fireable transition sequences and its implications for the structural analysis of process-resource nets with acyclic, quasi-live and strongly reversible process subnets.. CDC/ECC, page 2113-2118. IEEE, (2005)Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software., , , , , and . CDC, page 4971-4976. IEEE, (2009)