J. C. M. Baeten
T. Basten
M. A. Reniers
2010
Process Algebra: Equational Theories of Communicating Processes
Cambridge Tracts in Theoretical Computer Science
50
Cambridge University Press
J. C. M. Baeten
D. A. van Beek
B. Luttik
J. Markovski
J. E. Rooda
2011
A Process-Theoretic Approach to Supervisory Control Theory
Proceedings of ACC 2011
IEEE
Available from: http://se.wtb.tue.nl
J. C. M. Baeten
B. Luttik
T. Muller
P. van Tilburg
2010
Expressiveness modulo Bisimilarity of Regular Expressions with Parallel Composition (extended abstract)
Proceedings of EXPRESS 2010
Electronic Proceedings of Theoretical Computer Science
41
1–15
10.4204/EPTCS.41.1
J. C. M. Baeten
W. P. Weijland
1990
Process algebra
Cambridge Tracts in Theoretical Computer Science
18
Cambridge University Press
10.1017/CBO9780511624193
J.C.M. Baeten
J.A. Bergstra
1997
Process algebra with propositional signals
Theoretical Computer Science
177
381–405
10.1016/S0304-3975(96)00253-8
S. Balemi
G. J. Hoffmann
P. Gyugyi
H. Wong-Toi
G. F. Franklin
1993
Supervisory control of a rapid thermal multiprocessor
IEEE Transactions on Automatic Control
38
7
1040 –1059
G. Barrett
S. Lafortune
1998
Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines
Discrete Event Dynamic Systems
8
4
377–429
10.1023/A:1008301317459
H. Beohar
P.J.L. Cuijpers
2010
A theory of desynchronisable closed loops system
Proceedings of ICE 2010
Electronic Proceedings in Theoretical Computer Science
38
Open Publishing Association
99–114
10.4204/EPTCS.38.10
C. Cassandras
S. Lafortune
2004
Introduction to discrete event systems
Kluwer Academic Publishers
V. Chandra
Z. Huang
W. Qiu
R. Kumar
2004
Prioritized Composition With Exclusion and Generation for the Interaction and Control of Discrete Event Systems
Mathematical and Computer Modelling of Dynamical Systems
9
3
255 – 280
M. Fabian
B. Lennartson
1996
On non-deterministic supervisory control
Proceedings of the 35th IEEE Decision and Control
2
2213–2218
R. J. van Glabbeek
2001
The linear time–branching time spectrum I
Handbook of Process Algebra
3–99
M. Heymann
F. Lin
1998
Discrete-Event Control of Nondeterministic Systems
IEEE Transactions on Automatic Control
43
1
3–17
10.1109/9.654883
M. Heymann
G. Meyer
1991
Algebra of discrete event processes
Technical Report NASA
102848
NASA Ames Research Center
R. Kumar
M. A. Shayman
1996
Nonblocking Supervisory Control of Nondeterministic Systems via Prioritized Synchronization
IEEE Transactions on Automatic Control
41
8
1160–1175
10.1109/9.533677
R. Kumar
C. Zhou
2007
Control of Nondeterministic Discrete Event Systems for Simulation Equivalence
IEEE Transactions on Automation Science and Engineering
4
3
340–349
10.1109/TASE.2006.891474
C. Ma
W. M. Wonham
2005
Nonblocking Supervisory Control of State Tree Structures
Lecture Notes in Control and Information Sciences
317
Springer
J. Markovski
K. G. M. Jacobs
D. A. van Beek
L. J. A. M. Somers
J. E. Rooda
2010
Coordination of Resources using Generalized State-Based Requirements
Proceedings of WODES 2010
IFAC
300–305
S. Miremadi
K. Akesson
B. Lennartson
2008
Extraction and representation of a supervisor using guards in extended finite automata
Proceedings of WODES 2008
IEEE
193 –199
A. Overkamp
1997
Supervisory Control Using Failure Semantics and Partial Specifications
IEEE Transactions on Automatic Control
42
4
498–510
10.1109/9.566659
G. D. Plotkin
2004
A structural approach to operational semantics
The Journal of Logic and Algebraic Programming
60-61
17–139
10.1016/j.jlap.2004.05.001
P. J. Ramadge
W. M. Wonham
1987
Supervisory Control of a Class of Discrete Event Processes
SIAM Journal on Control and Optimization
25
1
206–230
10.1137/0325013
J. J. M. M. Rutten
1999
Coalgebra, concurrency, and control
SEN Report
R-9921
Center for Mathematics and Computer Science, Amsterdam, The Netherlands
P. Tabuada
2008
Controller synthesis for bisimulation equivalence
Systems and Control Letters
57
6
443–452
10.1016/j.sysconle.2007.11.005
S. Xu
R. Kumar
2008
Asynchronous implementation of synchronous discrete event control
Proceedings of WODES 2008
IEEE
181 –186
C. Zhou
R. Kumar
S. Jiang
2006
Control of nondeterministic discrete-event systems for bisimulation equivalence
IEEE Transactions on Automatic Control
51
5
754–765
10.1109/TAC.2006.875036