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.
Keywords for this software
References in zbMATH (referenced in 200 articles )
Showing results 1 to 20 of 200.
Sorted by year (- Basile, D.; Degano, P.; Ferrari, G.L.; Tuosto, E.: Relating two automata-based models of orchestration and choreography (2016)
- Bolzern, Paolo; Colaneri, Patrizio; De Nicolao, Giuseppe: Design of stabilizing strategies for discrete-time dual switching linear systems (2016)
- Colaneri, Patrizio; Middleton, Richard H.; Blanchini, Franco: Optimal control of a class of positive Markovian bilinear systems (2016)
- 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)
- Li, Ran; Reveliotis, Spyros: Designing parsimonious scheduling policies for complex resource allocation systems through concurrency theory (2016)
- Menezes, Amor A.; Kabamba, Pierre T.: Efficient search and responsiveness trade-offs in a Markov chain model of evolution in dynamic environments (2016)
- Potekhin, A.I.; Branishtov, S.A.; Kuznetsov, S.K.: Discrete-event models of a railway network (2016)
- Yin, Xiang; Li, Zhaojian: Decentralized fault prognosis of discrete event systems with guaranteed performance bound (2016)
- Zhang, Kuize; Zhang, Lijun; Su, Rong: A weighted pair graph representation for reconstructibility of Boolean control networks (2016)
- Baier, Christine; Moor, Thomas: A hierarchical and modular control architecture for sequential behaviours (2015)
- Basile, Francesco; Cordone, Roberto; Piroddi, Luigi: A branch and bound approach for the design of decentralized supervisors in Petri net models (2015)
- Chédor, Sébastien; Morvan, Christophe; Pinchinat, Sophie; Marchand, Hervé: Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems (2015)
- Cury, José E.R.; de Queiroz, Max Hering; Bouzon, Gustavo; Teixeira, Marcelo: Supervisory control of discrete event systems with distinguishers (2015)
- Desel, Jörg; Kılınç, Görkem: Observable liveness of Petri nets (2015)
- Falcone, Yliès; Marchand, Hervé: Enforcement and validation (at runtime) of various notions of opacity (2015)
- Geng, Yanfeng; Cassandras, Christos G.: Multi-intersection traffic light control with blocking (2015)
- Keroglou, Christoforos; Hadjicostis, Christoforos N.: Detectability in stochastic discrete event systems (2015)
- Komenda, Jan; Masopust, Tomáš; van Schuppen, Jan H.: Coordination control of discrete-event systems revisited (2015)
- Li, Ran; Reveliotis, Spyros: Performance optimization for a class of generalized stochastic Petri nets (2015)
- Maia, Eva; Moreira, Nelma; Reis, Rogério: Incomplete operational transition complexity of regular languages (2015)