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 390 articles )

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

1 2 3 ... 18 19 20 next

  1. Liu, Fuchun; Yang, Pengbiao; Zhao, Rui; Dziong, Zbigniew: Verification of safe diagnosability of stochastic discrete-event systems (2022)
  2. Ma, Ziyue; He, Zhou; Li, Zhiwu; Giua, Alessandro: Design of supervisors for linear marking specifications in labeled Petri nets (2022)
  3. Balun, Jiří; Masopust, Tomáš: Comparing the notions of opacity for discrete-event systems (2021)
  4. Barcelos, Raphael Julio; Basilio, João Carlos: Enforcing current-state opacity through shuffle and deletions of event observations (2021)
  5. Boussif, Abderraouf; Ghazel, Mohamed; Basilio, João Carlos: Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches (2021)
  6. Cassandras, Christos G.; Lafortune, Stéphane: Introduction to discrete event systems (2021)
  7. Cavezza, Davide G.; Alrajeh, Dalal; György, András: A weakness measure for GR(1) formulae (2021)
  8. Felli, Paolo; de Leoni, Massimiliano; Montali, Marco: Soundness verification of data-aware process models with variable-to-variable conditions (2021)
  9. Goorden, Martijn A.; Fabian, Martin; van de Mortel-Fronczak, Joanna M.; Reniers, Michel A.; Fokkink, Wan J.; Rooda, Jacobus E.: Compositional coordinator synthesis of extended finite automata (2021)
  10. Han, Xiao-Guang; Yang, Wen-Dong; Chen, Xiao-Yan; Li, Zhi-Wu; Chen, Zeng-Qiang: Detectability verification of probabilistic Boolean networks (2021)
  11. Hu, Yihui; Ma, Ziyue; Li, Zhiwu; Giua, Alessandro: Diagnosability enforcement in labeled Petri nets using supervisory control (2021)
  12. Jiao, Ting; Chang, Ru; Nan, Xueli: On the invariance property of reduced supervisors from the perspective of vector discrete-event systems (2021)
  13. Ji, Yiding; Yin, Xiang; Lafortune, Stéphane: Optimal supervisory control with mean payoff objectives and under partial observation (2021)
  14. Köhler, Andreas; Zhang, Ping; Fritz, Raphael: Specification governor for fault tolerant control of large-scale manufacturing systems (2021)
  15. Lin, Liyong; Su, Rong: Synthesis of covert actuator and sensor attackers (2021)
  16. Malik, Robi; Teixeira, Marcelo: Optimal modular control of discrete event systems with distinguishers and approximations (2021)
  17. Masciulli, Tommaso; Pola, Giordano: Symbolic control design of incrementally stable nonlinear systems with dynamic regular language specifications (2021)
  18. Matsui, Shoma; Cai, Kai: Usability aware secret protection with minimum cost (2021)
  19. Ma, Ziyue; Yin, Xiang; Li, Zhiwu: Verification and enforcement of strong infinite- and (k)-step opacity using state recognizers (2021)
  20. Takai, Shigemasa: A general framework for diagnosis of discrete event systems subject to sensor failures (2021)

1 2 3 ... 18 19 20 next