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

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

1 2 3 ... 12 13 14 next

  1. Chen, Xinwei; Wardi, Yorai; Yalamanchili, Sudhakar: Instruction-throughput regulation in computer processors with data-center applications (2018)
  2. Lei, Lei; Peng, Yijie; Fu, Michael C.; Hu, Jian-Qiang: Applications of generalized likelihood ratio method to distribution sensitivities and steady-state simulation (2018)
  3. Wu, Yi-Chin; Raman, Vasumathi; Rawlings, Blake C.; Lafortune, Stéphane; Seshia, Sanjit A.: Synthesis of obfuscation policies to ensure privacy and utility (2018)
  4. Ammour, Rabah; Leclercq, Edouard; Sanlaville, Eric; Lefebvre, Dimitri: Fault prognosis of timed stochastic discrete event systems with bounded estimation error (2017)
  5. Behrisch, Mike; Kerkhoff, Sebastian; Pöschel, Reinhard; Schneider, Friedrich Martin; Siegmund, Stefan: Dynamical systems in categories (2017)
  6. Benmessahel, Bilal; Touahria, Mohamed; Nouioua, Farid: Predictability of fuzzy discrete event systems (2017)
  7. Carvalho, Lilian K.; Moreira, Marcos V.; Basilio, João Carlos: Diagnosability of intermittent sensor faults in discrete event systems (2017)
  8. Dallal, Eric; Colombo, Alessandro; Del Vecchio, Domitilla; Lafortune, Stéphane: Supervisory control for collision avoidance in vehicular networks using discrete event abstractions (2017)
  9. Ehlers, Rüdiger; Lafortune, Stéphane; Tripakis, Stavros; Vardi, Moshe Y.: Supervisory control and reactive synthesis: a comparative introduction (2017)
  10. Figueiredo, Daniel; Martins, Manuel A.; Chaves, Madalena: Applying differential dynamic logic to reconfigurable biological networks (2017)
  11. Fleck, Julia L.; Cassandras, Christos G.: Optimal design of personalized prostate cancer therapy using infinitesimal perturbation analysis (2017)
  12. Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan: Optimal constructions for active diagnosis (2017)
  13. Hakizimana, Alphonse; Scott, Joseph K.: Differentiability conditions for stochastic hybrid systems with application to the optimal design of microgrids (2017)
  14. Keroglou, Christoforos; Hadjicostis, Christoforos N.: Verification of detectability in probabilistic finite automata (2017)
  15. Komenda, Jan; Masopust, Tomáš: Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication (2017)
  16. Liu, Fuchun; Mo, Rixiang: Correctability of fault-tolerant stochastic discrete-event systems (2017)
  17. Maragos, Petros: Dynamical systems on weighted lattices: general theory (2017)
  18. Petrosian, Ovanes; Barabanov, Andrey: Looking forward approach in cooperative differential games with uncertain stochastic dynamics (2017)
  19. Pinisetty, Srinivas; Preoteasa, Viorel; Tripakis, Stavros; Jéron, Thierry; Falcone, Yliès; Marchand, Hervé: Predictive runtime enforcement (2017)
  20. Pola, Giordano; De Santis, Elena; Di Benedetto, Maria Domenica; Pezzuti, Davide: Design of decentralized critical observers for networks of finite state machines: a formal method approach (2017)

1 2 3 ... 12 13 14 next