Reveliotis, Spyros A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

Guest Editorial: Special Section on Advances in Discrete-Event Systems for Automation

CASSANDRAS, Christos G., FANTI, Maria Pia, HADJICOSTIS, Christoforos, REVELIOTIS, Spyros, SEATZU, Carla

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2014

Language:

english

File:

PDF, 104 KB

english, 2014

52

Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks

Nazeem, Ahmed, Reveliotis, Spyros

Journal:

Discrete Event Dynamic Systems

Year:

2015

Language:

english

File:

PDF, 1.55 MB

english, 2015

53

A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems

Fei, Zhennan, Reveliotis, Spyros, Miremadi, Sajed, Akesson, Knut

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2015

Language:

english

File:

PDF, 2.44 MB

english, 2015

54

Coordinating Autonomy: Sequential Resource Allocation Systems for Automation

Reveliotis, Spyros

Journal:

IEEE Robotics & Automation Magazine

Year:

2015

Language:

english

File:

PDF, 2.89 MB

english, 2015

55

[IEEE 2014 IEEE 53rd Annual Conference on Decision and Control (CDC) - Los Angeles, CA, USA (2014.12.15-2014.12.17)] 53rd IEEE Conference on Decision and Control - Symbolic computation and representation of deadlock avoidance policies for complex resource allocation systems with application to multithreaded software

Fei, Zhennan, Akesson, Knut, Reveliotis, Spyros

Year:

2014

Language:

english

File:

PDF, 311 KB

english, 2014

56

[IEEE 2015 IEEE International Conference on Automation Science and Engineering (CASE) - Gothenburg, Sweden (2015.8.24-2015.8.28)] 2015 IEEE International Conference on Automation Science and Engineering (CASE) - Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques

Fei, Zhennan, Akesson, Knut, Reveliotis, Spyros

Year:

2015

Language:

english

File:

PDF, 832 KB

english, 2015

57

Conflict resolution in AGV systems

REVELIOTIS, SPYROS A.

Journal:

IIE Transactions

Year:

2000

Language:

english

File:

PDF, 1.32 MB

english, 2000

58

[IEEE 2015 54th IEEE Conference on Decision and Control (CDC) - Osaka, Japan (2015.12.15-2015.12.18)] 2015 54th IEEE Conference on Decision and Control (CDC) - Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory

Li, Ran, Reveliotis, Spyros

Year:

2015

Language:

english

File:

PDF, 426 KB

english, 2015

59

Real-Time Management of Complex Resource Allocation Systems: Necessity, Achievements and Further Challenges

Reveliotis, Spyros

Journal:

IFAC-PapersOnLine

Year:

2015

Language:

english

File:

PDF, 502 KB

english, 2015

60

Invariant-based Supervisory Control of Switched Discrete Event Systems

Reveliotis, Spyros, Fei, Zhennan

Journal:

IEEE Transactions on Automatic Control

Year:

2016

Language:

english

File:

PDF, 291 KB

english, 2016

61

Invariant-based Supervisory Control of Switched Discrete Event Systems**S. Reveliotis was partially supported by NSF grant ECCS-1405156.

Reveliotis, Spyros, Fei, Zhennan

Journal:

IFAC-PapersOnLine

Year:

2015

Language:

english

File:

PDF, 505 KB

english, 2015

62

PERFORMANCE MODELING AND CONTROL OF STRUCTURALLY CONTROLLED RESOURCE ALLOCATION SYSTEMS

Choi, Jin Young, Reveliotis, Spyros

Journal:

IFAC Proceedings Volumes

Year:

2002

Language:

english

File:

PDF, 164 KB

english, 2002

63

[IEEE 2016 IEEE International Conference on Automation Science and Engineering (CASE) - Fort Worth, TX, USA (2016.8.21-2016.8.25)] 2016 IEEE International Conference on Automation Science and Engineering (CASE) - Robust deadlock avoidance for sequential resource allocation systems with resource outages

Reveliotis, Spyros, Fei, Zhennan

Year:

2016

Language:

english

File:

PDF, 359 KB

english, 2016

64

A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation Systems

Fei, Zhennan, Reveliotis, Spyros, Åkesson, Knut

Journal:

IFAC Proceedings Volumes

Year:

2014

Language:

english

File:

PDF, 469 KB

english, 2014

65

[IEEE 2016 IEEE 55th Conference on Decision and Control (CDC) - Las Vegas, NV, USA (2016.12.12-2016.12.14)] 2016 IEEE 55th Conference on Decision and Control (CDC) - Some novel traffic coordination problems and their analytical study based on Lagrangian Duality theory

Daugherty, Greyson, Reveliotis, Spyros, Mohler, Greg

Year:

2016

Language:

english

File:

PDF, 284 KB

english, 2016

66

A Correction and Some Comments on the Article "Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets"

Reveliotis, Spyros

Journal:

IEEE Transactions on Control Systems Technology

Year:

2017

Language:

english

File:

PDF, 302 KB

english, 2017

67

The thinning problem

Reveliotis, Spyros A., Choi, Jin Young

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 805 KB

english, 2004

68

Maximally Permissive Deadlock Avoidance for Resource Allocation Systems with R/W-Locks

Nazeem, Ahmed, Reveliotis, Spyros

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 169 KB

english, 2012

69

Supervisory Control of Software Execution for Failure Avoidance: Experience from the Gadara Project

Wang, Yin, Cho, Hyoun Kyu, Liao, Hongwei, Nazeem, Ahmed, Kelly, Terence P., Lafortune, Stéphane, Mahlke, Scott, Reveliotis, Spyros A.

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 190 KB

english, 2010

70

Optimal deadlock avoidance for complex resource allocation systems through classification theory

Nazeem, Ahmed, Reveliotis, Spyros A., Wang, Yin, Lafortune, Stéphane

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 167 KB

english, 2010

71

A Distributed Protocol for Motion Coordination in Free-Range Vehicular Systems

Roszkowska, Elzbieta, Reveliotis, Spyros A.

Journal:

IFAC Proceedings Volumes

Year:

2011

Language:

english

File:

PDF, 317 KB

english, 2011

72

Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource Outages

Reveliotis, Spyros, Fei, Zhennan

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2017

Language:

english

File:

PDF, 2.32 MB

english, 2017

73

Optimized Multi-Agent Routing in Guidepath Networks

Daugherty, Greyson, Reveliotis, Spyros, Mohler, Greg

Journal:

IFAC-PapersOnLine

Year:

2017

Language:

english

File:

PDF, 467 KB

english, 2017

74

[IEEE 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Melbourne, Australia (2017.12.12-2017.12.15)] 2017 IEEE 56th Annual Conference on Decision and Control (CDC) - Solving the Lagrangian dual problem for some traffic coordination problems through linear programming

Daugherty, Greyson, Reveliotis, Spyros, Mohler, Greg

Year:

2017

Language:

english

File:

PDF, 729 KB

english, 2017

75

[IEEE 2017 IEEE International Conference on Service Operations and Logistics and Informatics (SOLI) - Bari (2017.9.18-2017.9.20)] 2017 IEEE International Conference on Service Operations and Logistics, and Informatics (SOLI) - Optimized multi-agent routing in shared guidepath networks

Daugherty, Greyson, Reveliotis, Spyros, Mohler, Greg

Year:

2017

Language:

english

File:

PDF, 571 KB

english, 2017

76

Optimized Multiagent Routing for a Class of Guidepath-Based Transport Systems

Daugherty, Greyson, Reveliotis, Spyros, Mohler, Greg

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2018

Language:

english

File:

PDF, 3.10 MB

english, 2018

77

[IEEE European Control Conference 2007 (ECC) - Kos (2007.7.2-2007.7.5)] 2007 European Control Conference (ECC) - Efficient policies for the problem of optimal node visitation in acyclic stochastic digraphs

Bountourelis, Theologos, Reveliotis, Spyros

Year:

2007

Language:

english

File:

PDF, 241 KB

english, 2007

78

[IEEE 2018 IEEE Conference on Decision and Control (CDC) - FL, USA (2018.12.17-2018.12.19)] 2018 IEEE Conference on Decision and Control (CDC) - Maximal Linear Deadlock Avoidance Policies for Complex Resource Allocation Systems

Ibrahim, Michael, Reveliotis, Spyros

Year:

2018

File:

PDF, 8 KB

2018

79

[IEEE 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE) - Munich (2018.8.20-2018.8.24)] 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE) - Preservation of Traffic Liveness in MPC Schemes for Guidepath-based Transport Systems

Reveliotis, Spyros

Year:

2018

Language:

english

File:

PDF, 9 KB

english, 2018

80

Throughput Maximization of Capacitated Re-Entrant Lines Through Fluid Relaxation

Ibrahim, Michael, Reveliotis, Spyros

Journal:

IEEE Transactions on Automation Science and Engineering

Year:

2019

Language:

english

File:

PDF, 59 KB

english, 2019

81

Efficient generation of performance bounds for a class of traffic scheduling problems

Daugherty, Greyson, Reveliotis, Spyros, Mohler, Greg

Journal:

Discrete Event Dynamic Systems

Year:

2019

Language:

english

File:

PDF, 1.26 MB

english, 2019

82

Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling

Ibrahim, Michael, Reveliotis, Spyros

Journal:

Discrete Event Dynamic Systems

Year:

2019

Language:

english

File:

PDF, 784 KB

english, 2019

83

Logical Control of Complex Resource Allocation Systems

Reveliotis, Spyros

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 378 KB

english, 2018

84

Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling

Ibrahim, Michael, Reveliotis, Spyros

Journal:

Discrete Event Dynamic Systems

Year:

2019

File:

PDF, 784 KB

2019

85

On the state liveness of some classes of guidepath-based transport systems and its computational complexity

Reveliotis, Spyros

Journal:

Year:

2020

File:

PDF, 634 KB

2020

86

[IEEE 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE) - Vancouver, BC, Canada (2019.8.22-2019.8.26)] 2019 IEEE 15th International Conference on Automation Science and Engineering (CASE) - An MPC scheme for traffic coordination in open and irreversible, zone-controlled, guidepath-based transport systems

Reveliotis, Spyros

Year:

2019

File:

PDF, 1.16 MB

2019

87

Maximal linear deadlock avoidance policies for sequential resource allocation systems: characterization, computation and approximation

Ibrahim, Michael, Reveliotis, Spyros, Nazeem, Ahmed

Journal:

IEEE Transactions on Automatic Control

Year:

2020

File:

PDF, 1.24 MB

2020