libFAUDES

libFAUDES: Software library for discrete event systems. The discrete event systems library libFAUDES implements data structures and algorithms for finite automata and regular languages. The library takes a control theoretic perspective as originally introduced by P.J. Ramadge and W.M. Wonham in the 1980’s. Since then, many researchers have contributed to supervisory control theory, including extensions for hierarchical, modular and decentralized controller synthesis; see [references]. With libFAUDES, we aim for (a) reduced coding effort in the implementation of methods for the control of discrete event systems, and (b) effective advertisement of such methods by making them available to the public.


References in zbMATH (referenced in 10 articles )

Showing results 1 to 10 of 10.
Sorted by year (citations)

  1. Costa, Gabriele; Galletta, Letterio; Degano, Pierpaolo; Basin, David; Bodei, Chiara: Natural projection as partial model checking (2020)
  2. Reijnen, Ferdie F. H.; Goorden, Martijn A.; van de Mortel-Fronczak, Joanna M.; Rooda, Jacobus E.: Modeling for supervisor synthesis -- a lock-bridge combination case study (2020)
  3. Wang, Xi; Li, Zhiwu; Moor, Thomas: SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time (2019)
  4. Costa, Gabriele; Basin, David; Bodei, Chiara; Degano, Pierpaolo; Galletta, Letterio: From natural projection to partial model checking and back (2018)
  5. Schmuck, Anne-Kathrin; Schneider, Sven; Raisch, Jörg; Nestmann, Uwe: Supervisory control synthesis for deterministic context free specification languages. Enforcing controllability least restrictively (2016)
  6. Komenda, Jan; Masopust, Tomáš: Coordination control of distributed discrete-event systems (2015)
  7. Komenda, Jan; Masopust, Tomáš; van Schuppen, Jan H.: Coordination control of discrete-event systems revisited (2015)
  8. Komenda, Jan; Masopust, Tomáš; Van Schuppen, Jan H.: On conditional decomposability (2012)
  9. van Schuppen, Jan H.; Boutin, Olivier; Kempker, Pia L.; Komenda, Jan; Masopust, Tomáš; Pambakian, Nicola; Ran, André C. M.: Control of distributed systems: tutorial and overview (2011)
  10. Schmidt, K.: Abstraction-based verification of codiagnosability for discrete event systems (2010)


Further publications can be found at: http://www.rt.eei.uni-erlangen.de/FGdes/faudes/reference/reference_literature.html