×

UMDES

swMATH ID: 9523
Software Authors: Christos G. Cassandras; Stéphane Lafortune
Description: 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.
Homepage: https://wiki.eecs.umich.edu/desuma/index.php/UMDES_Software_Library
Related Software: Supremica; libFAUDES; SPIN; GLPK; TCT; Matlab; Stony Brook; STCT; Kronos; Coq; YALMIP; XPTCT; SimEvents; Simulink; CUDD; CESAR; Isabelle/HOL; SPLASH-2; NuSMV; Tabu search
Cited in: 401 Documents
all top 5

Cited by 635 Authors

34 Lafortune, Stéphane
17 Cassandras, Christos G.
14 Masopust, Tomáš
13 Komenda, Jan
12 Lin, Feng
12 Yin, Xiang
10 Rudie, Karen
9 Basilio, João Carlos
9 Liu, Fuchun
9 van Schuppen, Jan H.
9 Wardi, Yorai
8 Lin, Hai
8 Marchand, Hervé
8 Seatzu, Carla
7 Li, Zhiwu
7 Moreira, Marcos Vicente
6 Chen, Zengqiang
6 De Schutter, Bart
6 Hadjicostis, Christoforos N.
6 Malik, Robi
6 Reveliotis, Spyros A.
6 Takai, Shigemasa
6 Wang, Weilin
6 Yang, Jung-Min
6 Yoo, Tae-Sic
5 Carvalho, Lilian Kawakami
5 Di Benedetto, Maria Domenica
5 Giua, Alessandro
5 Shu, Shaolong
5 Su, Rong
5 Wu, Yi-Chin
4 Ambartsumyan, A. A.
4 Basile, Francesco
4 Ćirić, Miroslav D.
4 Garcia, Humberto E.
4 Gruzlikov, Alexander M.
4 Haar, Stefan
4 Han, Xiaoguang
4 Ignjatović, Jelena
4 Kolesov, Nikolai V.
4 Lefebvre, Dimitri
4 Lunze, Jan
4 Panayiotou, Christos G.
4 Reniers, Michel Adriaan
4 Rooda, Jacobus E.
4 Teixeira, Marcelo C. M.
4 van den Boom, Ton J. J.
4 Yao, Chen
3 Aybar, Aydın
3 Colaneri, Patrizio
3 Cury, José Eduardo Ribeiro
3 Dziong, Zbigniew
3 Fu, Michael C.
3 Gaudin, Benoit
3 Gokbayrak, Kagan
3 Hill, Richard C.
3 Iftar, Altuǧ
3 Karimadini, Mohammad
3 Keroglou, Christoforos
3 Lamperti, Gianfranco
3 Lesage, Jean-Jacques
3 Li, Zhaojian
3 Ma, Ziyue
3 Melamed, Benjamin
3 Nourelfath, Mustapha
3 Paoli, Andrea
3 Park, Seong-Jin
3 Pinchinat, Sophie
3 Pola, Giordano
3 Schmidt, Klaus Werner
3 Tao, Yuegang
3 Tilbury, Dawn M.
3 Tong, Yin
3 Ushio, Toshimitsu
3 van de Mortel-Fronczak, Joanna M.
3 Ware, Simon
3 Wonham, W. Murray
3 Zanella, Marina
3 Zhang, Zhipeng
2 Åkesson, Knut
2 Alves, Marcos V. S.
2 Ammour, Rabah
2 Azhmyakov, Vadim
2 Barcelos, Raphael Julio
2 Bernet, Julien
2 Bolzern, Paolo
2 Chen, Wende
2 Chen, Xinwei
2 Chen, Yiliang
2 Cortés, Jorge
2 De Nicolao, Giuseppe
2 de Queiroz, Max Hering
2 De Santis, Elena
2 De Tommasi, Gianmaria
2 Degano, Pierpaolo
2 D’Innocenzo, Alessandro
2 Dotoli, Mariagrazia
2 Fabian, Martin
2 Falcone, Yliès
2 Fan, Yihong
...and 535 more Authors
all top 5

Cited in 76 Serials

108 Discrete Event Dynamic Systems
79 Automatica
18 Systems & Control Letters
16 International Journal of Control
13 Information Sciences
10 European Journal of Control
10 Nonlinear Analysis. Hybrid Systems
7 Automation and Remote Control
6 Theoretical Computer Science
4 International Journal of Systems Science
4 Journal of the Franklin Institute
4 Journal of Optimization Theory and Applications
4 International Journal of Production Research
4 Journal of Computer and Systems Sciences International
4 Asian Journal of Control
4 International Journal of Systems Science. Principles and Applications of Systems and Integration
3 Acta Informatica
3 Fuzzy Sets and Systems
3 Information and Computation
3 Mathematical Problems in Engineering
2 Information Processing Letters
2 Mathematical Biosciences
2 Kybernetika
2 Mathematics and Computers in Simulation
2 Journal of Automated Reasoning
2 Mathematical and Computer Modelling
2 Applied Mathematical Modelling
2 Linear Algebra and its Applications
2 International Journal of Robust and Nonlinear Control
2 Formal Methods in System Design
2 Complexity
2 Abstract and Applied Analysis
2 Soft Computing
2 CEJOR. Central European Journal of Operations Research
2 Fundamenta Informaticae
2 Control Theory and Technology
1 Advances in Applied Probability
1 Artificial Intelligence
1 Computers & Mathematics with Applications
1 International Journal of General Systems
1 Applied Mathematics and Computation
1 Journal of Applied Probability
1 Journal of Computer and System Sciences
1 Naval Research Logistics
1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
1 SIAM Journal on Control and Optimization
1 International Journal of Approximate Reasoning
1 MCSS. Mathematics of Control, Signals, and Systems
1 Formal Aspects of Computing
1 Annals of Operations Research
1 Neural Computation
1 International Journal of Adaptive Control and Signal Processing
1 Journal of Global Optimization
1 European Journal of Operational Research
1 Applied Categorical Structures
1 The Journal of Artificial Intelligence Research (JAIR)
1 International Transactions in Operational Research
1 INFORMS Journal on Computing
1 Data Mining and Knowledge Discovery
1 Mathematical and Computer Modelling of Dynamical Systems
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 RAIRO. Theoretical Informatics and Applications
1 Methodology and Computing in Applied Probability
1 Journal of Systems Science and Complexity
1 Journal of Applied Mathematics
1 SIAM Journal on Applied Dynamical Systems
1 Computational Management Science
1 International Journal of Flexible Manufacturing Systems
1 Science in China. Series F
1 Stochastics
1 The Kluwer International Series on Discrete Event Dynamic Systems
1 Journal of Control Science and Engineering
1 Science China. Information Sciences
1 Dynamic Games and Applications
1 Journal of Applied Mathematics, Statistics and Informatics
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year