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

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

1 2 3 ... 16 17 18 next

  1. Chen, Rui; Cassandras, Christos G.: Stochastic flow models with delays, blocking and applications to multi-intersection traffic light control (2020)
  2. Gössler, Gregor; Stefani, Jean-Bernard: Causality analysis and fault ascription in component-based systems (2020)
  3. 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)
  4. Malik, Robi; Teixeira, Marcelo: Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction (2020)
  5. Malik, Robi; Ware, Simon: On the computation of counterexamples in compositional nonblocking verification (2020)
  6. Nozari, Erfan; Tallapragada, Pavankumar; Cortés, Jorge: Event-triggered stabilization of nonlinear systems with time-varying sensing and actuation delay (2020)
  7. 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)
  8. Reveliotis, Spyros: On the state liveness of some classes of guidepath-based transport systems and its computational complexity (2020)
  9. Yang, Jung-Min: Coordinated static control of asynchronous sequential machines (2020)
  10. Zhang, Zhipeng; Chen, Zengqiang; Han, Xiaoguang; Liu, Zhongxin: Stabilization of probabilistic finite automata based on semi-tensor product of matrices (2020)
  11. Zhang, Zhipeng; Xia, Chengyi; Chen, Zengqiang: On the stabilization of nondeterministic finite automata via static output feedback (2020)
  12. Abbasi, Rosa; Ghassemi, Fatemeh; Khosravi, Ramtin: Verification of asynchronous systems with an unspecified component (2019)
  13. Atampore, Francis; Dingel, Juergen; Rudie, Karen: A controller synthesis framework for automated service composition (2019)
  14. Bolzern, Paolo; Colaneri, Patrizio; De Nicolao, Giuseppe: Opinion influence and evolution in social networks: a Markovian agents model (2019)
  15. Daugherty, Greyson; Reveliotis, Spyros; Mohler, Greg: Efficient generation of performance bounds for a class of traffic scheduling problems (2019)
  16. Dou, Wenhui; Li, Haitao; Alsaadi, Fuad E.: Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata (2019)
  17. Hagebring, Fredrik; Lennartson, Bengt: Time-optimal control of large-scale systems of systems using compositional optimization (2019)
  18. Li, Quan-Lin; Ma, Jing-Yu; Fan, Rui-Na; Xia, Li: An overview for Markov decision processes in queues and networks (2019)
  19. Masopust, Tomáš; Yin, Xiang: Complexity of detectability, opacity and A-diagnosability for modular discrete event systems (2019)
  20. Moreira, Marcos V.; Lesage, Jean-Jacques: Discrete event system identification with the aim of fault detection (2019)

1 2 3 ... 16 17 18 next