×

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公司;自旋蛋白;GLPK公司;TCT公司;Matlab公司;石溪;STCT公司;克洛诺斯;YALMIP公司;XPTCT公司;模拟活动;Simulink公司;CUDD公司;CESAR公司;伊莎贝尔/HOL;Coq公司;溅水-2;NuSMV公司;禁忌搜索
引用于: 400份出版物
全部的 前5名

632位作者引用

34 圣菲拉福顿
17 克里斯托斯·卡桑德拉斯。
14 汤马斯·马斯托普斯
13 简·科门达
12 林,冯
12 尹、香
10 鲁迪、凯伦
9 乔·卡洛斯·巴西利奥
9 刘富春
9 van Schuppen,Jan H。
9 尤拉伊·沃迪
8 林,海
8 埃尔文·马尔坎德
8 卡拉·西特祖
7 李志武
7 马科斯·文森特·莫雷拉
6 陈增强
6 巴特·德·舒特
6 Hadjicostis,Christopros N。
6 罗比·马利克
6 脊柱侧凸,Spyros A。
6 高井,Shigemasa
6 王伟林
6 杨荣敏
6 你,泰西
5 卡瓦略、莉莲·卡瓦卡米
5 迪·贝内代托,玛丽亚·多梅尼卡
5 亚历山德罗·朱阿
5 舒少龙
5 苏荣
5 吴义钦
4 A.A.Ambartsumyan。
4 弗朗西斯科·巴西利
4 米罗斯拉夫·奇·伊里奇。
4 加西亚,亨伯托·E·。
4 亚历山大·格鲁兹利科夫。
4 斯特凡·哈尔
4 韩晓光
4 伊格尼亚托维奇(Jelena Ignjatović)
4 尼古拉·科尔索夫五世。
4 迪米特里·列斐伏尔
4 扬·伦泽
4 Christos G.Panayiotou。
4 米歇尔·阿德里安·雷尼尔
4 雅各布斯·E·罗达。
4 Marcelo C.M.Teixeira。
4 范登·布姆,Ton J.J。
4 姚,陈
艾巴尔,艾登
帕特里齐奥·科拉内里
何塞·爱德华多·里贝罗(JoséEduardo Ribeiro Cury)
兹比格涅夫Dziong
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 保罗·博尔泽恩
2 陈文德
2 陈新伟
2 陈一良
2 乔尔赫·科尔特斯
2 朱塞佩·德尼古拉
2 马克斯·赫林·德奎罗斯
2 埃琳娜·德·桑提斯
2 吉安马利亚·德·托马西
2 皮耶保罗·德加诺
2 亚历山德罗·迪安诺琴佐
2 马里亚格拉齐亚·多托利
2 马丁·费比安
2 伊利耶斯·法尔科内
2 范一红
2 玛丽亚·皮亚·范蒂
…还有532名作者
全部的 前5名

75篇连载文章中引用

108 离散事件动态系统
79 Automatica公司
18 系统和控制信件
16 国际控制杂志
13 信息科学
10 欧洲控制杂志
10 非线性分析。混合动力系统
7 自动化和远程控制
6 理论计算机科学
4 国际系统科学杂志
4 富兰克林学院学报
4 最优化理论与应用杂志
4 国际生产研究杂志
4 国际计算机与系统科学杂志
4 亚洲控制杂志
4 国际系统科学杂志。系统与集成原理与应用
信息学报
模糊集与系统
信息与计算
工程中的数学问题
2 信息处理信件
2 数学生物科学
2 凯贝内提卡
2 模拟中的数学和计算机
2 自动推理杂志
2 数学和计算机建模
2 应用数学建模
2 线性代数及应用
2 国际鲁棒非线性控制杂志
2 系统设计中的形式化方法
2 摘要与应用分析
2 软计算
2 CEJOR公司。中欧运筹学杂志
2 计算机基础理论
2 控制理论与技术
1 应用概率的进展
1 人工智能
1 计算机与数学及其应用
1 国际通用系统杂志
1 应用数学与计算
1 应用概率杂志
1 计算机与系统科学杂志
1 海军研究后勤
1 非线性分析。理论、方法和应用。系列A:理论与方法
1 SIAM控制与优化杂志
1 国际近似推理杂志
1 MCSS公司。控制、信号和系统数学
1 计算的形式方面
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 控制科学与工程杂志
1 科学中国。信息科学
1 动态游戏和应用
1 应用数学、统计学和信息学杂志
1 程序设计中的逻辑和代数方法杂志

按年份列出的引文