The following list of references is assembled from the plug-ins available in this copy of libFAUDES. It is meant to acknowledge research contributions relevant to the implemented algorithms and may serve as a starting point for a deeper literature review.
[B1] J.C. Willems: Paradigms and Puzzles in the theory of dynamical systems, IEEE Transactions on Automatic Control, vol. 36, issue 3, pp. 258--294, 1991.
[B2] T. Moor, J. Raisch: Supvervisory control of hybrid systems within a behavioural framework, Special issue on hybrid systems, System and Control Letters, vol. 38:3, pp. 157-166, 1999.
[B3] T. Moor, K. Schmidt, Th. Wittmann: Abstraction-based control for not necessarily closed behaviours, Preprints of the 18th IFAC World Congress, pp. 6988-6993, 2011.
[C3] E. Hopcroft, J.D. Ullman: Introduction to Automata Theory, Languages, and Computation, 1979.
[C4] R. Malik, H.. Flordal: Compositional verification in supervisory control, SIAM Journal of Control and Optimization, 2009.
[CC_AUT2012] J. Komenda, T. Masopust, J.H. van Schuppen: Supervisory Control Synthesis of Discrete-Event Systems using a Coordination Scheme, Automatica 48(2), 247-254, 2012.
[CC_SCL2011] J. Komenda, T. Masopust, J.H. van Schuppen: Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator, Systems & Control Letters, 60(7), 492-502, 2011.
[D3] W. Qui and and R. Kumar : Decentralized failure diagnosis of discrete event systems , IEEE Transactions on Systems, men and cybernetics. Part A: Systems and Humans, 36(2):384-395 , Mar. 2006 .
[FTC1] Th. Wittmann, J. H. Richter, T. Moor: Fault-Tolerant Control of Discrete Event Systems based on Fault-Accommodating Models, Safeprocess, 2012.
[FTC2] Th. Wittmann, J. H. Richter, T. Moor: Fault-Hiding Control Reconfiguration for a Class of Discrete Event Systems, Workshop on Dependable Control of Discrete Systems, 2013.
[FTC3] T.Moor et. al.: On the computation of supremal sublanguages relevant to supervisory control, Workshop on Discrete Event Systems (WODES), 2012.
[FTC4] Blanke et. al.: Diagnosis and Fault-Tolerant Control, Springer Verlag, 2006.
[H1] S. Perk, T. Moor and K. Schmidt: Hierarchical Discrete Event Systems with Inputs and Outputs, Proceedings. 8th International Workshop on Discrete Event Systems (WODES06) , 2006.
[H2] S. Perk, T. Moor and K. Schmidt: Controller Synthesis for an I/O-Based Hierarchical System Architecture, Proceedings. 9th International Workshop on Discrete Event Systems (WODES08), 2008.
[H4] T. Moor, J. Raisch and J.M. Davoren: Admissibility criteria for a hierarchical design of hybrid control systems, Proceedings. IFAC Conference on the Analysis and Design of Hybrid Systems (ADHS03), 2003.
[H5] T. Jéron, H. Marchand, V. Rusu and V. Tschaen: Ensuring the conformance of reactive discrete-event systems using supervisory control, Proceedings. 42nd IEEE Conference on Decision and Control (CDC03), 2003.
[M1] M.H. de Queiroz, J.E.R. Cury, and W.M. Wonham: Multitasking supervisory control of discreteevent systems, Discrete Event Dynamic Systems, vol. 15, no. 4, pp. 375-395 , 2005.
[M2] M.H. de Queiroz and J.E.R. Cury: Modular Multi-tasking Supervisory Control of Composite Discrete Event Systems, IFAC World Congress , 2005.
[M3] K. Schmidt, M..H. de Queiroz and J.E.R. Cury: Hierarchical and Decentralized Multitasking Control of Discrete Event Systems, Conference on Decision and Control, 2007.
[M4] K. Schmidt and J.E.R. Cury: Redundant Tasks in Multitasking Control of Discrete Event Systems, Workshop on Dependable Control of Discrete Event Systems,. Italy, 2009.
[O1] K.C. Wong and W.M. Wonham: On the computation of observers in discrete event systems, Discrete Event Dynamic Systems, vol. 14, no. 1, pp. 55-107, 2004.
[O2] K. Schmidt and C. Breindl: On maximal permissiveness of hierarchical and modular supervisory control approaches for Discrete Event Systems, Workshop on Discrete Event Systems, 2008.
[O3] K. Schmidt, Th. Moor, S. Perk: Nonblocking hierarchical control of decentralized discrete event systems, IEEE Transactions on Automatic Control, 53(10):2252-2265, 2008.
[O4] Th. Moor, K. Schmidt, S. Perk: Applied Supervisory Control for a Flexible Manufacturing System, Workshop on Discrete Event Systems, 2010.
[O6] L. Feng and W. Wonham: On the computation of natural observers in discrete-event systems, available at Discrete Event Dynamic Systems: Theory and Applications, 20(1):63-102, 2010.
[P1] S. Schneider, A.-K. Schmuck: Supervisory Controller Synthesis for Deterministic Pushdown Automata Specifications, Technische Universität Berlin, Technical Report, 2013.
[P2] S. Jacobi: Controller synthesis for discrete event systems in the setting of a regular plant and a deterministic context-free specification in Libfaudes , Technische Universität Berlin, Master Thesis, Fachgebiet Regelungssysteme, PDF, 2013.
[P3] W. M. Wonham, P. J. Ramadge: On the supremal controllable sublanguage of a given language, Siam Journal Control and Optimization, Vol 25., No. 3, 1987.
[S10] T. Moor: Natural projections for the synthesis of non-conflicting supervisory controllers, Workshop on Discrete Event Systems (WODES), 2014.
[S2] R.D. Brandt, V. Garg, R. Kumar, F. Lin, S.I. Marcus, W.M. Wonham: Formulas for Calculating Supremal Controllable and Normal Sublanguages, System & Control Letters, vol 15, no 2, pp. 111-117, 1990.
[S5] J.G. Thistle, W.M. Wonham: Supervision of Infinite Behavior of Discrete-Event Systems, SIAM Journal on Control and Optimization, vol 32, no, 4, pp. 1098 - 1113, 1994.
[S7] T. Moor, Ch. Baier,T.-S. Yoo, F. Lin, S. Lafortune: On the Computation of Supremal Sublanguages Relevant to Supervisory Control, Workshop on Discrete Event Systems (WODES), 2012.
[S9] R.M. Ziller, J.E.R. Cury: On the Supremal Lm-closed and the Supremal Lm-closed and L-controllable Sublanguages of a Given Language, Lecture Notes in Control and Information Sciences 199, Springer-Verlag, pp. 80-85, 1994.