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

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

1 2 3 ... 9 10 11 next

  1. Behrisch, Mike; Kerkhoff, Sebastian; Pöschel, Reinhard; Schneider, Friedrich Martin; Siegmund, Stefan: Dynamical systems in categories (2017)
  2. Dallal, Eric; Colombo, Alessandro; Del Vecchio, Domitilla; Lafortune, Stéphane: Supervisory control for collision avoidance in vehicular networks using discrete event abstractions (2017)
  3. Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan: Optimal constructions for active diagnosis (2017)
  4. Hakizimana, Alphonse; Scott, Joseph K.: Differentiability conditions for stochastic hybrid systems with application to the optimal design of microgrids (2017)
  5. Petrosian, Ovanes; Barabanov, Andrey: Looking forward approach in cooperative differential games with uncertain stochastic dynamics (2017)
  6. van Hulst, A.C.; Reniers, M.A.; Fokkink, W.J.: Maximally permissive controlled system synthesis for non-determinism and modal logic (2017)
  7. Yokota, Shoichi; Yamamoto, Takashi; Takai, Shigemasa: Computation of the delay bounds and synthesis of diagnosers for decentralized diagnosis with conditional decisions (2017)
  8. Basile, D.; Degano, P.; Ferrari, G.L.; Tuosto, E.: Relating two automata-based models of orchestration and choreography (2016)
  9. Bolzern, Paolo; Colaneri, Patrizio; De Nicolao, Giuseppe: Design of stabilizing strategies for discrete-time dual switching linear systems (2016)
  10. Colaneri, Patrizio; Middleton, Richard H.; Blanchini, Franco: Optimal control of a class of positive Markovian bilinear systems (2016)
  11. Girault, Johan; Loiseau, Jean-Jacques; Roux, Olivier H.: On-line compositional controller synthesis for AGV (2016)
  12. Gruzlikov, A.M.; Kolesov, N.V.: Discrete-event diagnostic model for a distributed computational system. Independent chains (2016)
  13. Khalid, Ruzelan; Nawawi, Mohd.Kamal Mohd.; Kawsar, Luthful A.; Ghani, Noraida A.; Kamil, Anton A.; Mustafa, Adli: The evaluation of pedestrians’ behavior using $M/G/C/C$ analytical, weighted distance and real distance simulation models (2016)
  14. Li, Ran; Reveliotis, Spyros: Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory (2016)
  15. Menezes, Amor A.; Kabamba, Pierre T.: Efficient search and responsiveness trade-offs in a Markov chain model of evolution in dynamic environments (2016)
  16. Potekhin, A.I.; Branishtov, S.A.; Kuznetsov, S.K.: Discrete-event models of a railway network (2016)
  17. Sears, David; Rudie, Karen: Minimal sensor activation and minimal communication in discrete-event systems (2016)
  18. Wardi, Y.; Seatzu, C.; Chen, X.; Yalamanchili, S.: Performance regulation of event-driven dynamical systems using infinitesimal perturbation analysis (2016)
  19. Yin, Xiang; Li, Zhaojian: Decentralized fault prognosis of discrete event systems with guaranteed performance bound (2016)
  20. Zhang, Kuize; Zhang, Lijun; Su, Rong: A weighted pair graph representation for reconstructibility of Boolean control networks (2016)

1 2 3 ... 9 10 11 next