Autor der Publikation

Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms.

, , , und . IEEE Trans. Automat. Contr., 58 (11): 2772-2787 (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control., , , , , , und . IEEE Trans. Control. Syst. Technol., 21 (6): 2067-2082 (2013)Deadlock avoidance policies for flexible manufacturing systems: the conjunctive case., und . ICRA, Seite 533-538. IEEE, (1996)Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software., , , , , und . CDC, Seite 4971-4976. IEEE, (2009)Solving the Lagrangian dual problem for some traffic coordination problems through linear programming., , und . CDC, Seite 5660-5665. IEEE, (2017)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, Seite 2113-2118. IEEE, (2005)On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems.. ICATPN, Volume 2679 von Lecture Notes in Computer Science, Seite 241-255. Springer, (2003)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)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)Throughput maximization of capacitated re-entrant lines through fluid relaxation., und . ACC, Seite 3961-3968. IEEE, (2018)Preservation of Traffic Liveness in MPC Schemes for Guidepath-based Transport Systems.. CASE, Seite 520-527. IEEE, (2018)