• libFAUDES
• Reference  
• Type Index  
• Function Index  
• Literature  
•  
• Sections
• CoreFaudes  
  • CoreFaudes
  • Introduction
  • Generators
  • Alphabets
  • Reachability
  • Boolean Operations
  • Regular Expressions
  • Synchronous Composition
  • Projection
  • StateSet Conversion
  • Elementary Types
  • Miscellaneous
  • Vector Types
• CoordinationControl  
• Diagnosis  
  • Diagnosis
  • Introduction
  • Event-Diagnosis
  • Language-Diagnosis
  • Modular Diagnosis
  • Decentralized Diagnosis
  • Application Example
• Example  
• FaultTolerantControl  
  • FaultTolerantControl
  • Introduction
  • Example
  • Fault-Accommodation
  • Reconfiguration
  • Fault-Patterns
• HioSys  
  • HioSys
  • Introduction
  • Step-By-Step
  • Synthesis Procedure
  • Liveness Properties
  • Application Example
• Hybrid  
• IoSystem  
  • IoSystem
  • Introduction
  • Properties
  • Synthesis
• Multitasking  
  • Multitasking
  • Introduction
  • Functions
  • Observer
  • Optimal Color Set
  • Reachability
  • Synthesis
• Observer  
  • Observer
  • Introduction
  • Verification
  • Synthesis
  • Example
• Simulator  
  • Simulator
  • Introduction
  • Executor Classes
  • Hardware-In-The-Loop
  • IO-Devices
  • Simulator Interconnection
• Synthesis  
  • Synthesis
  • Introduction
  • Controllability
  • Normality
  • Omega-Controllability
  • Misc Functions
•  

Literature

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.

[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.

[CC_2012PP] J. Komenda, T. Masopust, J.H. van Schuppen: On Conditional Decomposability, Preprint, http://arxiv.org/abs/1201.1733.

[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.

[D1] M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis : Diagnosability of discrete-event systems , IEEE Transactions on Automatic Control, 40(9):1555-1575 , Sep. 1995 .

[D2] S. Jiang, Z. Huang, V. Chandra, and R. Kumar : A polynomial algorithm for testing diagnosability of discrete-event systems , IEEE Transactions on Automatic Control, 46(8):1318-1321, Aug. 2001 .

[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 .

[D4] C. Zhou, R. Kumar, R. Sreenivas : Decentralized modular diagnosis of concurrent discrete event systems , International Workshop on Discrete Event Systems pp. 388-393 , May 2008 .

[D5] T.-S. Yoo, H. E. Garcia : Diagnosis of behaviors of interest in partially observed discrete-event systems , System & Control Letters, 57(12):1023-1029 , Dec. 2008 .

[D6] O. Contant, S. Lafortune and D. Teneketzis : Diagnosability of Discrete Event Systems with Modular Structure , Discrete Event Dynamic Systems, 16(1):9-37 , Jan. 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.

[H3] J.C. Willems: Paradigms and puzzles in the theory of dynamic systems, IEEE Transactions on Automatic Control, vol. 36, issue 3, pp. 258--294, 1991.

[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.

[O5] K. Schmidt, Ch. Breindl: Maximally Permissive Hierarchical Control of Decentralized Discrete Event Systems, available at IEEE Transactions on Automatic Control,56(5), 2011.

[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.

[S1] P.J. Ramadge and W.M. Wonham: The Control of discrete event systems, Proceedings of the IEEE, vol 77, issue 1, pp. 81-98, 1989.

[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.

[S3] P.J. Ramadge: Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata, IEEE Transactions on Automatic Control, vol 34, no 1, pp. 10-19, 1989.

[S4] R. Kumar, V. Garg, S.I. Marcus: On supervisory control of sequential behaviors, IEEE Transactions on Automatic Control, vol 37, no 12, pp. 1978-1985, 1992.

[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.

[S6] R. Su, W.M. Wonham: Supervisor Reduction for Discrete-Event Systems, Discrete Event Dynamic Systems, vol. 14, no. 1, 2004.

[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.

[S8] T.-S. Yoo, S. Lafortune: Solvability of Centralized Supervisory Control Under Partial Observation, Discrete Event Dynamic Systems, vol. 16, 2006.

[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.

[X1] T. Moor, S. Perk, K. Schmidt: libFAUDES - An Open Source C++ Library for Discrete Event Systems, Workshop on Discrete Event Systems, Goeteborg, Sweden, 2008.

libFAUDES 2.32b --- 2024.03.01 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings-hybrid-example-pybindings"