Synthesis and Control of Discrete Event Systems
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer US

9781441949424, 9781475766561

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Problems and Examples of Decentralized Observation and Control for Discrete Event Systems

Synthesis and Control of Discrete Event Systems ◽

10.1007/978-1-4757-6656-1_3 ◽

2002 ◽

pp. 37-56 ◽

Cited By ~ 8

Author(s):

Anuj Puri ◽

Stavros Tripakis ◽

Pravin Varaiya

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

And Control

Download Full-text

Looking for Diamonds

Synthesis and Control of Discrete Event Systems ◽

10.1007/978-1-4757-6656-1_14 ◽

2002 ◽

pp. 213-220

Author(s):

Marek Bednarczyk ◽

Philippe Darondeau

Download Full-text

Liveness Enforcing Supervision for Sequential Resource Allocation Systems

Synthesis and Control of Discrete Event Systems ◽

10.1007/978-1-4757-6656-1_13 ◽

2002 ◽

pp. 203-212 ◽

Cited By ~ 8

Author(s):

Spyros A. Reveliotis

Keyword(s):

Resource Allocation ◽

Sequential Resource Allocation ◽

Resource Allocation Systems ◽

Sequential Resource Allocation Systems

Download Full-text

Modelling with Petri Modules

Synthesis and Control of Discrete Event Systems ◽

10.1007/978-1-4757-6656-1_8 ◽

2002 ◽

pp. 125-138 ◽

Cited By ~ 2

Author(s):

Gabriel Juhás ◽

Robert Lorenz

Download Full-text

Towards Modular Synthesis of Elementary Net Systems

Synthesis and Control of Discrete Event Systems ◽

10.1007/978-1-4757-6656-1_6 ◽

2002 ◽

pp. 103-113 ◽

Cited By ~ 3

Author(s):

Luca Bernardinello ◽

Carlo Ferigato ◽

Lucia Pomello

Keyword(s):

Modular Synthesis

Download Full-text

STCT: An Efficient Algorithm for Supervisory Control Design

Synthesis and Control of Discrete Event Systems ◽

10.1007/978-1-4757-6656-1_5 ◽

2002 ◽

pp. 77-100 ◽

Cited By ~ 15

Author(s):

Zhonghua Zhang ◽

W. M. Wonham

Keyword(s):

Supervisory Control ◽

Efficient Algorithm ◽

Control Design

Download Full-text

Towards Synthesis of Asynchronous Communication Algorithms

Synthesis and Control of Discrete Event Systems ◽

10.1007/978-1-4757-6656-1_4 ◽

2002 ◽

pp. 57-75 ◽

Cited By ~ 2

Author(s):

Alex Yakovlev ◽

Fei Xia

Keyword(s):

Asynchronous Communication ◽

Communication Algorithms

Download Full-text

Live and Maximally Permissive Controller Synthesis Using Theory of Regions

Synthesis and Control of Discrete Event Systems ◽

10.1007/978-1-4757-6656-1_10 ◽

2002 ◽

pp. 155-166 ◽

Cited By ~ 9

Author(s):

A. Ghaffari ◽

N. Rezg ◽

Xiaolan Xie

Keyword(s):

Controller Synthesis

Download Full-text

Implementation Considerations in Supervisory Control

Synthesis and Control of Discrete Event Systems ◽

10.1007/978-1-4757-6656-1_12 ◽

2002 ◽

pp. 185-201 ◽

Cited By ~ 25

Author(s):

P. Dietrich ◽

R. Malik ◽

W. M. Wonham ◽

B. A. Brandin

Keyword(s):

Supervisory Control

Download Full-text

Recent Advances on the Control of Partially-Observed Discrete-Event Systems

Synthesis and Control of Discrete Event Systems ◽

10.1007/978-1-4757-6656-1_1 ◽

2002 ◽

pp. 3-17 ◽

Cited By ~ 1

Author(s):

Stéphane Lafortune ◽

Kurt Rohloff ◽

Tae-Sic Yoo

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

Event Systems ◽

Recent Advances ◽

Partially Observed

Download Full-text