| Publication | Date of Publication | Type |
|---|
A strong combinatorial relaxation for the problem of min-time coverage in constricted environments
IEEE Transactions on Automatic Control | 2024-08-16 | Paper |
Polynomial-time optimal liveness enforcement for guidepath-based transport systems
Nonlinear Analysis. Hybrid Systems | 2021-11-19 | Paper |
Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation
IEEE Transactions on Automatic Control | 2021-09-09 | Paper |
Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems
IEEE Transactions on Automatic Control | 2020-10-07 | Paper |
Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling
Discrete Event Dynamic Systems | 2020-05-06 | Paper |
On the state liveness of some classes of guidepath-based transport systems and its computational complexity
Automatica | 2020-04-17 | Paper |
Efficient generation of performance bounds for a class of traffic scheduling problems
Discrete Event Dynamic Systems | 2020-01-22 | Paper |
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Optimal Node Visitation in Stochastic Digraphs
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
On the Liveness of Guidepath-Based, Zone-Controlled Dynamically Routed, Closed Traffic Systems
IEEE Transactions on Automatic Control | 2017-08-08 | Paper |
Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems
IEEE Transactions on Automatic Control | 2017-07-27 | Paper |
Invariant-Based Supervisory Control of Switched Discrete Event Systems
IEEE Transactions on Automatic Control | 2017-06-08 | Paper |
On the Complexity of Some State-Counting Problems for Bounded Petri Nets
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
On the Linear Separability of the Safe and Unsafe State Subsets of Single-Unit Resource Allocation Systems
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
On the ``counter-example in the article ``Max-controlled siphons for liveness of \(S^3PGR^2\) regarding the results in ``Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
A distributed protocol for motion coordination in free-range vehicular systems
Automatica | 2017-04-19 | Paper |
Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory
Discrete Event Dynamic Systems | 2016-09-16 | Paper |
Performance optimization for a class of generalized stochastic Petri nets
Discrete Event Dynamic Systems | 2015-06-12 | Paper |
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
Discrete Event Dynamic Systems | 2015-06-12 | Paper |
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
Discrete Event Dynamic Systems | 2013-08-07 | Paper |
Optimal linear separation of the safe and unsafe subspaces of sequential resource allocation systems as a set-covering problem: algorithmic procedures and geometric insights
SIAM Journal on Control and Optimization | 2013-07-17 | Paper |
Eliminating concurrency bugs in multithreaded software: an approach based on control of Petri nets
Application and Theory of Petri Nets and Concurrency | 2013-06-28 | Paper |
Optimal flow control in acyclic networks with uncontrollable routings and precedence constraints
Discrete Event Dynamic Systems | 2012-03-09 | Paper |
Optimal node visitation in acyclic stochastic digraphs with multi-threaded traversals and internal visitation requirements
Discrete Event Dynamic Systems | 2010-06-16 | Paper |
On the siphon-based characterization of liveness in sequential resource allocation systems
Applications and Theory of Petri Nets 2003 | 2010-03-31 | Paper |
Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions
Petri Nets and Other Models of Concurrency - ICATPN 2006 | 2009-04-02 | Paper |
Efficient PAC learning for episodic tasks with acyclic state spaces
Discrete Event Dynamic Systems | 2008-01-07 | Paper |
Real-time management of resource allocation systems. A discrete event systems approach.
International Series in Operations Research & Management Science | 2005-03-30 | Paper |
On the optimality of randomized deadlock avoidance policies
Discrete Event Dynamic Systems | 2003-11-10 | Paper |
| scientific article; zbMATH DE number 1820096 (Why is no real title available?) | 2003-03-12 | Paper |
Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
IEEE Transactions on Automatic Control | 2002-07-21 | Paper |
Correction to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems"
IEEE Transactions on Automatic Control | 2002-07-21 | Paper |
The destabilizing effect of blocking due to finite buffering capacity in multi-class queueing networks
IEEE Transactions on Automatic Control | 2000-10-17 | Paper |
| scientific article; zbMATH DE number 1836367 (Why is no real title available?) | 2000-01-01 | Paper |
