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.
In: 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).
In: Proceedings of EXPRESS 2010,
Electronic Proceedings of Theoretical Computer Science 41,
pp. 1–15,
doi: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,
doi:10.1017/CBO9780511624193.
J.C.M. Baeten & J.A. Bergstra (1997):
Process algebra with propositional signals.
Theoretical Computer Science 177,
pp. 381–405,
doi: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),
pp. 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),
pp. 377–429,
doi:10.1023/A:1008301317459.
H. Beohar & P.J.L. Cuijpers (2010):
A theory of desynchronisable closed loops system.
In: Proceedings of ICE 2010,
Electronic Proceedings in Theoretical Computer Science 38.
Open Publishing Association,
pp. 99–114,
doi: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),
pp. 255 – 280.
M. Fabian & B. Lennartson (1996):
On non-deterministic supervisory control.
Proceedings of the 35th IEEE Decision and Control 2,
pp. 2213–2218.
R. J. van Glabbeek (2001):
The linear time–branching time spectrum I.
Handbook of Process Algebra,
pp. 3–99.
M. Heymann & F. Lin (1998):
Discrete-Event Control of Nondeterministic Systems.
IEEE Transactions on Automatic Control 43(1),
pp. 3–17,
doi: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),
pp. 1160–1175,
doi: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),
pp. 340–349,
doi: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.
In: Proceedings of WODES 2010.
IFAC,
pp. 300–305.
S. Miremadi, K. Akesson & B. Lennartson (2008):
Extraction and representation of a supervisor using guards in extended finite automata.
In: Proceedings of WODES 2008.
IEEE,
pp. 193 –199.
A. Overkamp (1997):
Supervisory Control Using Failure Semantics and Partial Specifications.
IEEE Transactions on Automatic Control 42(4),
pp. 498–510,
doi:10.1109/9.566659.
G. D. Plotkin (2004):
A structural approach to operational semantics.
The Journal of Logic and Algebraic Programming 60-61,
pp. 17–139,
doi: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),
pp. 206–230,
doi: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),
pp. 443–452,
doi:10.1016/j.sysconle.2007.11.005.
S. Xu & R. Kumar (2008):
Asynchronous implementation of synchronous discrete event control.
In: Proceedings of WODES 2008.
IEEE,
pp. 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),
pp. 754–765,
doi:10.1109/TAC.2006.875036.
eptcs@eptcs.org