Spyros A. Reveliotis

Available identifiers

zbMath Open reveliotis.spyros-aMaRDI QIDQ1412281

List of research outcomes

Publication	Date of Publication	Type
Polynomial-time optimal liveness enforcement for guidepath-based transport systems	2021-11-19	Paper
Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation	2021-09-09	Paper
Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems	2020-10-07	Paper
Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling	2020-05-06	Paper
On the state liveness of some classes of guidepath-based transport systems and its computational complexity	2020-04-17	Paper
Efficient generation of performance bounds for a class of traffic scheduling problems	2020-01-22	Paper
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case	2017-09-08	Paper
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software	2017-09-08	Paper
Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms	2017-09-08	Paper
On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems	2017-08-25	Paper
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case	2017-08-25	Paper
On the Liveness of Guidepath-Based, Zone-Controlled Dynamically Routed, Closed Traffic Systems	2017-08-08	Paper
Optimal Node Visitation in Stochastic Digraphs	2017-08-08	Paper
Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems	2017-07-27	Paper
Invariant-Based Supervisory Control of Switched Discrete Event Systems	2017-06-08	Paper
On the Complexity of Some State-Counting Problems for Bounded Petri Nets	2017-05-16	Paper
On the Linear Separability of the Safe and Unsafe State Subsets of Single-Unit Resource Allocation Systems	2017-05-16	Paper
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”	2017-05-03	Paper
A distributed protocol for motion coordination in free-range vehicular systems	2017-04-19	Paper
Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory	2016-09-16	Paper
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks	2015-06-12	Paper
Performance optimization for a class of generalized stochastic Petri nets	2015-06-12	Paper
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets	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	2013-07-17	Paper
Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets	2013-06-28	Paper
Optimal flow control in acyclic networks with uncontrollable routings and precedence constraints	2012-03-09	Paper
Optimal node visitation in acyclic stochastic digraphs with multi-threaded traversals and internal visitation requirements	2010-06-16	Paper
On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems	2010-03-31	Paper
Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions	2009-04-02	Paper
Efficient PAC learning for episodic tasks with acyclic state spaces	2008-01-07	Paper
Real-time management of resource allocation systems. A discrete event systems approach.	2005-03-30	Paper
On the optimality of randomized deadlock avoidance policies	2003-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q3152841	2003-03-12	Paper
Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings	2002-07-21	Paper
Correction to the RUN DAP for conjunctive RAS presented in "Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems"	2002-07-21	Paper
The destabilizing effect of blocking due to finite buffering capacity in multi-class queueing networks	2000-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4782037	2000-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Spyros A. Reveliotis