×

UMDES

swMATH ID: 9523
Software Authors: Cassandras, Christos G.; Lafortune, Stéphane
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; TCT; libFAUDES; SPIN; GLPK; Stony Brook; STCT; GIDDES; DESUMA; GitHub; YALMIP; NuSMV; Matlab; Kronos; PRISM; TINA; Coq; XPTCT; LTL2BA; SimEvents
Cited in: 463 Documents
all top 5

Cited by 738 Authors

38 Lafortune, Stéphane
17 Cassandras, Christos G.
15 Masopust, Tomáš
14 Lin, Feng
13 Komenda, Jan
13 Yin, Xiang
12 Li, Zhiwu
11 Liu, Fuchun
10 Basilio, João Carlos
9 Marchand, Hervé
9 Seatzu, Carla
9 van Schuppen, Jan H.
9 Wardi, Yorai
8 Chen, Zengqiang
8 Hadjicostis, Christoforos N.
8 Lin, Hai
8 Moreira, Marcos Vicente
8 Takai, Shigemasa
7 Carvalho, Lilian Kawakami
7 Lefebvre, Dimitri
7 Malik, Robi
7 Su, Rong
7 Yang, Jung-Min
6 De Schutter, Bart
6 Di Benedetto, Maria Domenica
6 Giua, Alessandro
6 Reveliotis, Spyros A.
6 Shu, Shaolong
6 Wang, Weilin
6 Yoo, Tae-Sic
5 Basile, Francesco
5 Ćirić, Miroslav D.
5 Han, Xiaoguang
5 Ignjatović, Jelena
5 Lu, Jianquan
5 Lunze, Jan
5 Wu, Yi-Chin
4 Ambartsumyan, A. A.
4 De Tommasi, Gianmaria
4 Dziong, Zbigniew
4 Garcia, Humberto E.
4 Gruzlikov, Alexander M.
4 Haar, Stefan
4 Kolesov, Nikolai V.
4 Lin, Liyong
4 Liu, Rongjian
4 Meira-Góes, Rômulo
4 Panayiotou, Christos G.
4 Pola, Giordano
4 Reniers, Michel Adriaan
4 Rooda, Jacobus E.
4 Rudie, Karen
4 Teixeira, Marcelo C. M.
4 van den Boom, Ton J. J.
4 Yao, Chen
4 Zhang, Kuize
4 Zhang, Zhipeng
3 Aybar, Aydın
3 Azhmyakov, Vadim
3 Barcelos, Raphael Julio
3 Colaneri, Patrizio
3 Cury, José Eduardo Ribeiro
3 De Santis, Elena
3 Fabian, Martin
3 Feng, Lei
3 Fu, Michael C.
3 Gaudin, Benoit
3 Gokbayrak, Kagan
3 Haddad, Serge
3 Hill, Richard C.
3 Iftar, Altuǧ
3 Ji, Yiding
3 Karimadini, Mohammad
3 Keroglou, Christoforos
3 Lamperti, Gianfranco
3 Lesage, Jean-Jacques
3 Li, Zhaojian
3 Liu, Zhongxin
3 Ma, Ziyue
3 Melamed, Benjamin
3 Motta, Carlo
3 Nourelfath, Mustapha
3 Paoli, Andrea
3 Park, Seong-Jin
3 Pinchinat, Sophie
3 Qiu, Daowen
3 Schmidt, Klaus Werner
3 Tao, Yuegang
3 Tilbury, Dawn M.
3 Tong, Yin
3 Tripakis, Stavros
3 Ushio, Toshimitsu
3 van de Mortel-Fronczak, Joanna M.
3 Ware, Simon
3 Wonham, Walter Murray
3 Zanella, Marina
3 Zhu, Yuting
2 Åkesson, Knut
2 Alves, Marcos V. S.
2 Amari, Said
...and 638 more Authors
all top 5

Cited in 80 Serials

122 Discrete Event Dynamic Systems
93 Automatica
22 Information Sciences
19 International Journal of Control
19 Systems & Control Letters
13 European Journal of Control
11 Nonlinear Analysis. Hybrid Systems
8 Journal of the Franklin Institute
7 Automation and Remote Control
6 Theoretical Computer Science
4 International Journal of Systems Science
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 Linear Algebra and its Applications
3 Mathematical Problems in Engineering
3 Control Theory and Technology
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 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
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 Circuits, Systems, and Signal Processing
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 Discrete Mathematics, Algorithms and Applications
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
1 Modelirovanie i Analiz Informatsionnykh Sistem
1 SIAM Journal on Applied Algebra and Geometry

Citations by Year