Spiridon Reveliotis

12 papers A* 2Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2012 J jnl
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case.
IEEE Trans. Autom. Control.
Ahmed Nazeem, Spiridon Reveliotis
2011 J jnl
A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems.
IEEE Trans Autom. Sci. Eng.
Ahmed Nazeem, Spiridon Reveliotis
2010 — conf
A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems.
CASE
Ahmed Nazeem, Spiridon Reveliotis
2010 A* conf
Establishing the NP-hardness of maximally permissive RAS-based approaches to multi-vehicle system safety.
ICRA
Elzbieta Roszkowska, Spiridon Reveliotis
2009 — conf
Customized learning algorithms for episodic tasks with acyclic state spaces.
CASE
Theologos Bountourelis, Spiridon Reveliotis
2008 J jnl
Optimal Node Visitation in Stochastic Digraphs.
IEEE Trans. Autom. Control.
Theologos Bountourelis, Spiridon Reveliotis
2007 — conf
Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming.
CASE
Spiridon Reveliotis, Elzbieta Roszkowska, Jin Young Choi
2006 — conf
Efficient learning algorithms for episodic tasks with acyclic state spaces.
CASE
Spiridon Reveliotis, Theologos Bountourelis
1997 J jnl
Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems.
IEEE Trans. Autom. Control.
Spiridon Reveliotis, Mark Lawley, Placid M. Ferreira
1996 A* conf
An analytical framework for evaluating and optimizing the performance of structurally controlled flexible manufacturing systems.
ICRA
Spiridon Reveliotis, Placid M. Ferreira
1995 J jnl
A framework for on-line learning of plant models and control policies for restructurable control.
IEEE Trans. Syst. Man Cybern.
Spiridon Reveliotis, Mieczyslaw M. Kokar
1993 J jnl
Reinforcement learning: Architectures and algorithms.
Int. J. Intell. Syst.
Mieczyslaw M. Kokar, Spiridon Reveliotis