×

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应用代数和几何杂志

按年份列出的引文