LibFAUDES - an open source C++ library for discrete event systems

Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08

Volumn , Issue , 2008, Pages 125-130

  Moor, Thomas ^a   Schmidt, Klaus ^a   Perk, Sebastian ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

C++ SOFTWARE; DISCRETE EVENT SYSTEMS; NUREMBERG; OPEN SOURCES;

TECHNICAL PRESENTATIONS;

EID: 53149131710     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2008.4605933     Document Type: Conference Paper

References (20)

1. Friedrich-Alexander University Discrete Event Systems library (libFAUDES). [Online]. Available: http://www.rt.eei.unierlangen.de/FGdes/faudes/ index.php
2. P. J. Ramadge and W. M. Wonham, "The control of discrete event systems," Proceedings IEEE, Special Issue Discrete Event Dynamic Systems, vol. 77, pp. 81-98, 1989.
3. R. Alur and D. Dill, "A theory of timed automata," Theoretical Computer Science, vol. 126, pp. 183-235, 1994.
4. S. Perk, T. Moor, and K. Schmidt, "Controller synthesis for an I/O-based hierarchical system architecture," Workshop on Discrete Event Systems (WODES), 2008.
5. K. Schmidt, T. Moor, and S. Perk, "Nonblocking hierarchical control of decentralized discrete event systems," to appear in IEEE Transactions on Automatic Control, November 2008.
6. WODES08. Benchmarking Software Tools. [Online]. Available: http://www.wodes2008.org/pages/benchmark.php
7. M. H. de Queiroz and J. E. R. Cury, "Modular supervisory control of large scale discrete event systems," Workshop on Discrete Event Systems, 2000.
8. B. Opitz, "Methods of supervisory control: A software implementation," Master Thesis, Lehrstuhl für Regelungstechnik, Universität Erlangen-Nürnberg, 2006.
9. Gnu Lesser General Public License (GLPL). [Online]. Available: http://www.gnu.org/copyleft/lesser.html
10. The programming language Lua. [Online]. Available: http://www.lua.org/
11. S. Perk, T. Moor, and K. Schmidt, "Hierarchical discrete event systems with inputs and outputs," Workshop on Discrete Event Systems (WODES), 2006.
12. K. Schmidt and C. Breindl, "On maximal permissiveness of hierarchical and modular supervisory control approaches for discrete event systems," Workshop on Discrete Event Systems (WODES), 2008.
13. B. Schlein, "Timed automata as a graphical programming language for the generation of IEC 61131-3 conform PLC code," Diplomarbeit, Lehrstuhl für Regelungstechnik, Universität Erlangen-Nürnberg, 2006.
14. C. Dörr, "Simulation and analysis of discrete event systems," Diplomarbeit, Lehrstuhl für Regelungstechnik, Universität Erlangen-Nürnberg, 2008.
15. Trolltech. Qt: Cross-platform rich client development framework. [Online]. Available: http://www.trolltech.com
16. C. G. Cassandras and S. Lafortune, "Introduction to discrete event systems," Kluwer, 1999.
17. K. Schmidt. (2005) Hierarchical control of decentralized discrete event systems: Theory and application. Phd-thesis, Lehrstuhl für Regelungstechnik, Universität Erlangen-Nürnberg. [Online]. Available: http://www.rt.eei.uni-erlangen.de/FGdes/dissertation2005_Schmidt.pdf
18. K. Schmidt and T. Moor, "Computation of marked string accepting observers for discrete event systems," Workshop on Discrete Event Systems (WODES), 2006.
19. K. Schmidt, J. Reger, and T. Moor, "Hierarchical control of structural decentralized DES," Workshop on Discrete Event Systems, 2004.
20. 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.