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

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

1 2 3 ... 19 20 21 next

  1. Alves, Marcos V. S.; Barcelos, Raphael J.; Carvalho, Lilian K.; Basilio, João C.: Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks (2022)
  2. Alves, Michel R. C.; Pena, Patrícia N.; Rudie, Karen: Discrete-event systems subject to unknown sensor attacks (2022)
  3. Basile, Francesco; Boccia, Maurizio; De Tommasi, Gianmaria; Motta, Carlo; Sterle, Claudio: An optimization-based approach to assess non-interference in labeled and bounded Petri net systems (2022)
  4. Hou, Junyao; Yin, Xiang; Li, Shaoyuan: A framework for current-state opacity under dynamic information release mechanism (2022)
  5. Lefebvre, Dimitri; Seatzu, Carla; Hadjicostis, Christoforos N.; Giua, Alessandro: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection (2022)
  6. Liu, Fuchun; Yang, Pengbiao; Zhao, Rui; Dziong, Zbigniew: Verification of safe diagnosability of stochastic discrete-event systems (2022)
  7. Liu, Rongjian; Lu, Jianquan: Enforcement for infinite-step opacity and K-step opacity via insertion mechanism (2022)
  8. Ma, Ziyue; He, Zhou; Li, Zhiwu; Giua, Alessandro: Design of supervisors for linear marking specifications in labeled Petri nets (2022)
  9. Oliveira, Vinicius de Souza Lima; Cabral, Felipe Gomes; Moreira, Marcos Vicente: (K)-loss robust codiagnosability of discrete-event systems (2022)
  10. Reijnen, Ferdie F. H.; Erens, Toby R.; van de Mortel-Fronczak, Joanna M.; Rooda, Jacobus E.: Supervisory controller synthesis and implementation for safety PLCs (2022)
  11. Tong, Yin; Lan, Hao; Seatzu, Carla: Verification of (K)-step and infinite-step opacity of bounded labeled Petri nets (2022)
  12. Vilela, Juliana; Hill, Richard: Hierarchical planning in a supervisory control context with compositional abstraction (2022)
  13. Balun, Jiří; Masopust, Tomáš: Comparing the notions of opacity for discrete-event systems (2021)
  14. Barcelos, Raphael Julio; Basilio, João Carlos: Enforcing current-state opacity through shuffle and deletions of event observations (2021)
  15. Boussif, Abderraouf; Ghazel, Mohamed; Basilio, João Carlos: Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches (2021)
  16. Cassandras, Christos G.; Lafortune, Stéphane: Introduction to discrete event systems (2021)
  17. Cavezza, Davide G.; Alrajeh, Dalal; György, András: A weakness measure for GR(1) formulae (2021)
  18. Felli, Paolo; de Leoni, Massimiliano; Montali, Marco: Soundness verification of data-aware process models with variable-to-variable conditions (2021)
  19. 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)
  20. Han, Xiao-Guang; Yang, Wen-Dong; Chen, Xiao-Yan; Li, Zhi-Wu; Chen, Zeng-Qiang: Detectability verification of probabilistic Boolean networks (2021)

1 2 3 ... 19 20 21 next