|
LiteratureThe 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. [C1] W.M. Wonham: Supervisory Control of Discrete-Event Systems, available at University of Toronto, 2009 (revised). [C2] C.G. Cassandras, S. Lafortune: Introduction to Discrete Event Systems, 2007 (2nd ed). [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. libFAUDES 2.28a --- 2016.09.13 --- with "timed-iodevice-simulator" |