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 all top 5 Cited in 19 Fields 324 Systems theory; control (93-XX) 119 Computer science (68-XX) 78 Operations research, mathematical programming (90-XX) 23 Probability theory and stochastic processes (60-XX) 12 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 12 Information and communication theory, circuits (94-XX) 10 Calculus of variations and optimal control; optimization (49-XX) 7 Linear and multilinear algebra; matrix theory (15-XX) 6 Mathematical logic and foundations (03-XX) 6 Combinatorics (05-XX) 6 Biology and other natural sciences (92-XX) 5 Dynamical systems and ergodic theory (37-XX) 4 Numerical analysis (65-XX) 2 Category theory; homological algebra (18-XX) 1 Associative rings and algebras (16-XX) 1 Measure and integration (28-XX) 1 Ordinary differential equations (34-XX) 1 Difference and functional equations (39-XX) 1 Statistics (62-XX) Citations by Year