K. Akesson, M. Fabian, H. Flordal & R. Malik (2006):
Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems.
In: Proceedings of WODES 2006.
IEEE,
pp. 384 – 385,
doi:10.1109/WODES.2006.382401.
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,
pp. 4496–4501.
J. C. M. Baeten, J. M. van de Mortel-Fronczak & J. E. Rooda (2011):
Integration Of Supervisory Control Synthesis In Model-Based Systems Engineering.
In: Proceedings of ETAI/COSY 2011.
IEEE,
pp. 167 – 178.
J.C.M. Baeten, D.A. van Beek, A.C. van Hulst & J. Markovski (2011):
A Process Algebra for Supervisory Coordination.
In: Proceedings of PACO 2011,
Electronic Proceedings in Theoretical Computer Science 60.
Open Publishing Association,
pp. 36–55,
doi:10.4204/EPTCS.60.3.
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.
J.C.M. Baeten, A.C. van Hulst, D.A. van Beek & J. Markovski (2012):
Towards a Concurrency Theory for Supervisory Control.
SE Report 2012-01.
Eindhoven University of Technology.
Available at http://se.wtb.tue.nl/sereports.
C. Cassandras & S. Lafortune (2004):
Introduction to discrete event systems.
Kluwer Academic Publishers.
M. Fabian & B. Lennartson (1996):
On non-deterministic supervisory control.
Proceedings of the 35th IEEE Decision and Control 2,
pp. 2213–2218,
doi:10.1109/CDC.1996.572970.
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.
C. A. R. Hoare (1978):
Communicating sequential processes.
Commununications of the ACM 21(8),
pp. 666–677,
doi:10.1145/359576.359585.
N.G. Leveson (1990):
The challenge of building process-control software.
IEEE Software 7(6),
pp. 55–62,
doi:10.1109/52.60589.
C. Ma & W. M. Wonham (2005):
Nonblocking Supervisory Control of State Tree Structures.
Lecture Notes in Control and Information Sciences 317.
Springer.
J. Markovski, D. A. van Beek, R. J. M. Theunissen, K. G. M. Jacobs & J. E. Rooda (2010):
A State-Based Framework for Supervisory Control Synthesis and Verification.
In: Proceedings of CDC 2010.
IEEE,
pp. 3481–3486,
doi:10.1109/CDC.2010.5717095.
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,
doi:10.3182/20100830-3-DE-4013.00048.
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,
doi:10.1109/WODES.2008.4605944.
M. R. Mousavi, M. A. Reniers & J. F. Groote (2005):
Notions of bisimulation and congruence formats for SOS with data.
Information and Computation 200(1),
pp. 107–147,
doi:10.1016/j.ic.2005.03.002.
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.
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.
R. R. H. Schiffelers, R. J. M. Theunissen, D. A. van Beek & J. E. Rooda (2009):
Model-Based Engineering of Supervisory Controllers using CIF.
Electronic Communications of the EASST 21,
pp. 1–10.
P. Tabuada & G. J. Pappas (2006):
Linear Time Logic Control of Discrete-Time Linear Systems.
IEEE Transactions on Automatic Control 51(12),
pp. 1862 – 1877.
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