UMDES公司 swMATH ID: 9523 软件作者: 克里斯托斯·卡桑德拉斯(Christos G.Cassandras);斯特凡·拉福琼 描述: UMDES软件库:UMDES-LIB是一个C例程库,用于研究由有限状态自动机(FSA)建模的离散事件系统。有操作FSA的例程,实现监督控制理论许多操作的例程,以及实现密歇根大学开发的离散事件系统故障诊断方法的例程。Christos G.Cassandras和Stéphane Lafortune合著的《离散事件系统导论》一书介绍了FSA对离散事件系统的建模、FSA模型的操作以及离散事件系统监控理论。 主页: https://wiki.eecs.umich.edu/desuma/index.php/UMDES_Software_Library 相关软件: 苏普雷米卡;libFAUDES公司;TCT公司;自旋蛋白;GLPK公司;STCT公司;YALMIP公司;NuSMV公司;Matlab公司;石溪;克洛诺斯;棱镜;TINA公司;github;GIDDES公司;减湿;Coq公司;XPTCT公司;模拟活动;Simulink公司 引用于: 442文件 全部的 前5名698位作者引用 36 圣菲拉福顿 17 克里斯托斯·卡桑德拉斯。 15 汤马斯·马斯托普斯 14 林,冯 13 简·科门达 12 尹、香 11 李志武 10 乔·卡洛斯·巴西利奥 10 刘富春 9 埃尔文·马尔坎德 9 卡拉·西特祖 9 van Schuppen,Jan H。 9 瓦迪,约莱 8 陈增强 8 林,海 7 Hadjicostis,Christopros N。 7 罗比·马利克 7 马科斯·文森特·莫雷拉 7 苏、荣 7 高井,Shigemasa 6 卡瓦略、莉莲·卡瓦卡米 6 巴特·德·舒特 6 迪·贝内代托,玛丽亚·多梅尼卡 6 亚历山德罗·朱阿 6 迪米特里·列斐伏尔 6 脊柱侧凸,Spyros A。 6 舒少龙 6 王伟林 6 杨荣敏 6 你,泰西 5 弗朗西斯科·巴西利 5 韩晓光 5 陆建全 5 Lunze,简 5 鲁迪、凯伦 5 吴义钦 4 A.A.Ambartsumyan。 4 米罗斯拉夫·奇·伊里奇。 4 吉安马利亚·德·托马西 4 兹比格涅夫Dziong 4 加西亚,亨伯托·E·。 4 亚历山大·格鲁兹利科夫。 4 斯特凡·哈尔 4 伊格尼亚托维奇(Jelena Ignjatović) 4 尼古拉·科尔索夫五世。 4 林、李勇 4 刘荣健 4 Christos G.Panayiotou。 4 佐丹奴·波罗 4 米歇尔·阿德里安·雷尼尔 4 雅各布斯·E·罗达。 4 Marcelo C.M.Teixeira。 4 范登·布姆,Ton J.J。 4 姚晨 4 张奎泽 三 艾巴尔,艾登 三 瓦迪姆·阿奇米亚科夫 三 拉斐尔·胡里奥·巴切洛斯 三 帕特里齐奥·科拉内里 三 何塞·爱德华多·里贝罗(JoséEduardo Ribeiro Cury) 三 埃琳娜·德·桑提斯 三 马丁·费比安 三 Michael C.Fu。 三 本诺伊·高丁 三 卡根·戈巴拉克 三 理查德·希尔(Richard C.Hill)。 三 阿尔图伊夫塔尔 三 穆罕默德·卡里马迪尼 三 克里斯托福罗斯·科罗格鲁 三 詹弗兰科·兰佩蒂 三 Jean-Jacques Lesage女士 三 李兆建 三 刘忠信 三 马自悦 三 穆洛省梅拉戈雷斯 三 本杰明·梅勒梅 三 卡洛·莫塔 三 穆斯塔法·努勒法特 三 安德烈亚·保利 三 公园,Seong-Jin 三 苏菲·平奇纳特 三 邱道文 三 克劳斯·维尔纳施密特 三 陶月刚 三 道恩·M·蒂尔伯里。 三 童,尹 三 Ushio、Toshimitsu 三 范·德·莫特尔·弗朗恰克(van de Mortel-Fronczak),乔安娜·M·。 三 西蒙·沃尔 三 W.Murray Wonham 三 玛丽娜·扎内拉 三 张志鹏 三 朱玉婷 2 克努特·奥凯森 2 阿尔维斯(Marcos V.S.Alves)。 2 拉巴·阿穆尔 2 吉·巴伦 2 朱利安·伯内特 2 保罗·博尔泽恩 2 阿卜杜拉·布西夫 …还有598位作者 全部的 前5名79篇连载文章中引用 119 离散事件动态系统 90 Automatica公司 19 国际控制杂志 19 系统和控制信件 15 信息科学 12 欧洲控制杂志 11 非线性分析。混合动力系统 7 富兰克林研究所期刊 7 自动化和远程控制 6 理论计算机科学 4 国际系统科学杂志 4 最优化理论与应用杂志 4 国际生产研究杂志 4 国际计算机与系统科学杂志 4 亚洲控制杂志 4 国际系统科学杂志。系统与集成原理与应用 三 信息学报 三 模糊集与系统 三 信息与计算 三 工程中的数学问题 三 控制理论与技术 2 信息处理信件 2 数学生物科学 2 凯贝内提卡 2 模拟中的数学和计算机 2 自动推理杂志 2 数学和计算机建模 2 应用数学建模 2 线性代数及应用 2 国际鲁棒非线性控制杂志 2 系统设计中的形式化方法 2 复杂性 2 摘要与应用分析 2 软计算 2 CEJOR公司。中欧运筹学杂志 2 计算机基础理论 1 应用概率的进展 1 人工智能 1 计算机与数学及其应用 1 国际通用系统杂志 1 应用数学与计算 1 应用概率杂志 1 计算机与系统科学杂志 1 海军研究后勤 1 非线性分析。理论、方法和应用。系列A:理论与方法 1 SIAM控制与优化杂志 1 电路、系统和信号处理 1 国际近似推理杂志 1 MCSS公司。控制、信号和系统数学 1 计算的形式方面 1 运筹学年鉴 1 神经计算 1 国际自适应控制与信号处理杂志 1 全球优化杂志 1 欧洲运筹学杂志 1 应用的分类结构 1 人工智能研究杂志 1 运筹学国际交易 1 信息计算杂志 1 数据挖掘与知识发现 1 动力系统的数学和计算机建模 1 伦敦皇家学会哲学学报。系列A.数学、物理和工程科学 1 RAIRO公司。理论信息学及其应用 1 应用概率的方法与计算 1 系统科学与复杂性杂志 1 应用数学杂志 1 SIAM应用动力系统杂志 1 计算管理科学 1 国际柔性制造系统杂志 1 中国科学。F系列 1 随机性 1 Kluwer离散事件动态系统国际系列 1 离散数学、算法和应用 1 控制科学与工程杂志 1 科学中国。信息科学 1 动态游戏和应用 1 应用数学、统计学和信息学杂志 1 程序设计中的逻辑和代数方法杂志 1 SIAM应用代数和几何杂志 全部的 前5名在20个字段中引用 362 系统论;控制(93至XX) 127 计算机科学(68至XX) 82 运筹学、数学规划(90-XX) 26 概率论与随机过程(60-XX) 12 博弈论、经济学、金融和其他社会和行为科学(91-XX) 12 信息与通信理论、电路(94-XX) 10 变异微积分和最优控制;最优化(49至XX) 8 数学逻辑和基础(03-XX) 7 组合数学(05-XX) 7 线性代数和多线性代数;矩阵理论(15-XX) 7 生物学和其他自然科学(92-XX) 6 动力系统和遍历理论(37至XX) 4 数值分析(65-XX) 2 结合环与代数(16-XX) 2 范畴理论;同调代数(18-XX) 2 统计学(62-XX) 1 代数几何(14-XX) 1 测量和集成(28-XX) 1 常微分方程(34-XX) 1 差分方程和函数方程(39至XX) 按年份列出的引文