Sotabase

Career

· Researcher, Carnegie Mellon University (CMU) Carnegie Mellon Graphics Lab

Publications (0)

Conflict resolution in AGV systems
2000
209
cited
Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems
IEEE Transactions on Automatic Control · 1997
187
cited
Deadlock avoidance policies for automated manufacturing cells
American Control Conference · 1995
166
cited
A correct and scalable deadlock avoidance policy for flexible manufacturing systems
IEEE Trans. Robotics Autom. · 1998
156
cited
Real-time management of resource allocation systems : a discrete event systems approach
2004
143
cited
Deadlock Avoidance for Sequential Resource Allocation Systems: Hard and Easy Cases
2001
111
cited
Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systems
IEEE Trans. Robotics Autom. · 2000
102
cited
On the “Counter-Example” in the Article “Max $^{\prime}$-Controlled Siphons for Liveness of $S^{3}PGR^{2}$” Regarding the Results in “Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings”
IEEE Transactions on Automatic Control · 2001
97
cited
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
IEEE Transactions on Automatic Control · 2011
93
cited
Conflict Resolution in Free-Ranging Multivehicle Systems: A Resource Allocation Paradigm
IEEE Transactions on robotics · 2011
85
cited
Uncertainty management in optimal disassembly planning through learning-based strategies
2007
82
cited
The Application and Evaluation of Banker's Algorithm for Deadlock-Free Buffer Space Allocation in Flexible Manufacturing Systems
1998
76
cited
Accommodating FMS operational contingencies through routing flexibility
Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146) · 1998
62
cited
On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems
ICATPN · 2003
61
cited
On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems
IEEE Transactions on Automatic Control · 2010
60
cited
A generalized stochastic Petri net model for performance analysis and control of capacitated reentrant lines
IEEE Trans. Robotics Autom. · 2003
58
cited
On the Liveness of Guidepath-Based, Zone-Controlled Dynamically Routed, Closed Traffic Systems
IEEE Transactions on Automatic Control · 2008
43
cited
Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation Systems
IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans · 2007
42
cited
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
Discrete event dynamic systems · 2012
41
cited
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control
IEEE Transactions on Control Systems Technology · 2013
39
cited
Sotabase