UMDES

UMDES Software Library: UMDES-LIB is a library of C routines written for the study of discrete event systems modeled by finite-state automata (FSA). There are routines for the manipulation of FSA’s, routines that implement many of the operations of supervisory control theory, and routines that implement the methodology developed at University of Michigan for failure diagnosis of discrete event systems. The book ”Introduction to Discrete Event Systems” by Christos G. Cassandras and Stéphane Lafortune may be consulted for an introduction to modeling of discrete event systems by FSA’s, manipulation of FSA models, and the theory of supervisory control of discrete event systems.


References in zbMATH (referenced in 365 articles )

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

1 2 3 ... 17 18 19 next

  1. Cassandras, Christos G.; Lafortune, Stéphane: Introduction to discrete event systems (to appear) (2021)
  2. Cavezza, Davide G.; Alrajeh, Dalal; György, András: A weakness measure for GR(1) formulae (2021)
  3. Ji, Yiding; Yin, Xiang; Lafortune, Stéphane: Optimal supervisory control with mean payoff objectives and under partial observation (2021)
  4. Yang, Jung-Min; Lee, Dong-Eun; Kwak, Seong Woo: Model matching inclusion for input/state asynchronous sequential machines with constraint on the length of control input sequences (2021)
  5. Zhang, Kuize: A unified method to decentralized state detection and fault diagnosis/prediction of discrete-event systems (2021)
  6. Chen, Rui; Cassandras, Christos G.: Stochastic flow models with delays, blocking and applications to multi-intersection traffic light control (2020)
  7. Costa, Gabriele; Galletta, Letterio; Degano, Pierpaolo; Basin, David; Bodei, Chiara: Natural projection as partial model checking (2020)
  8. Cui, Zhenyu; Fu, Michael C.; Hu, Jian-Qiang; Liu, Yanchu; Peng, Yijie; Zhu, Lingjiong: On the variance of single-run unbiased stochastic derivative estimators (2020)
  9. Gössler, Gregor; Stefani, Jean-Bernard: Causality analysis and fault ascription in component-based systems (2020)
  10. Gruzlikov, A. M.; Kolesov, N. V.; Lukoyanov, E. V.; Tolmacheva, M. V.: Diagnostic model for a distributed computer system in real time (2020)
  11. Lamperti, Gianfranco; Zanella, Marina; Zhao, Xiangfu: Diagnosis of deep discrete-event systems (2020)
  12. Lan, Hao; Tong, Yin; Guo, Jin; Seatzu, Carla: Verification of C-detectability using Petri nets (2020)
  13. Lin, Feng; Wang, Le Yi; Chen, Wen; Wang, Weilin; Wang, Fei: Information control in networked discrete event systems and its application to battery management systems (2020)
  14. Lin, Liyong; Zhu, Yuting; Su, Rong: Synthesis of covert actuator attackers for free (2020)
  15. Liu, Rongjian; Mei, Liujuan; Lu, Jianquan: (k)-memory-embedded insertion mechanism for opacity enforcement (2020)
  16. Malik, Robi; Teixeira, Marcelo: Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction (2020)
  17. Malik, Robi; Ware, Simon: On the computation of counterexamples in compositional nonblocking verification (2020)
  18. Meira-Góes, Rômulo; Kang, Eunsuk; Kwong, Raymond H.; Lafortune, Stéphane: Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems (2020)
  19. Nozari, Erfan; Tallapragada, Pavankumar; Cortés, Jorge: Event-triggered stabilization of nonlinear systems with time-varying sensing and actuation delay (2020)
  20. 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)

1 2 3 ... 17 18 19 next