libFAUDES公司 swMATH编号: 16433 软件作者: Bernd Opitz、Thomas Moor、Klaus Schmidt 描述: libFAUDES:离散事件系统的软件库。离散事件系统库libFAUDES实现了有限自动机和正则语言的数据结构和算法。正如P.J.Ramadge和W.M.Wonham在20世纪80年代最初介绍的那样,图书馆采用了控制理论的观点。自那时以来,许多研究人员对监督控制理论作出了贡献,包括对分层、模块化和分散控制器综合的扩展;参见[参考文献]。使用libFAUDES,我们的目标是(a)减少实现离散事件系统控制方法的编码工作量,以及(b)通过向公众提供这些方法来有效宣传这些方法。 主页: http://www.rt.eei.uni-erlangen.de/FGdes/faudes网站/ 相关软件: UMDES公司;TCT公司;害虫;MuDiv公司;苏普雷米卡;GPU验证;github;CMC公司 引用于: 10文件 其他出版物: http://www.rt.eei.uni-erlangen.de/FGdes/faudes/reference/reference参考文献.html 全部的 前5名23位作者引用 4 简·科门达 4 汤马斯·马斯托普斯 3 van Schuppen,Jan H。 2 David A.Basin。 2 奇亚拉博迪 2 加布里埃尔·科斯塔 2 迪加诺,皮尔保罗 2 盖列塔,莱特里奥 1 奥利维尔·布廷 1 Martijn A.古登。 1 皮亚·坎普克。 1 李志武 1 摩尔,托马斯 1 乌韦·内斯特曼 1 尼古拉·帕姆巴基安 1 约格·莱斯 1 安德烈·C·M·兰。 1 费迪·莱恩(Ferdie F.H.Reijnen)。 1 雅各布斯·E·罗达。 1 克劳斯·沃纳施密特 1 安妮·凯瑟琳·施穆克 1 斯文·施奈德 1 范·德·莫特尔·弗朗恰克(van de Mortel-Fronczak),乔安娜·M·。 5篇连载文章中引用 4 离散事件动态系统 1 Automatica公司 1 系统和控制信件 1 自动推理杂志 1 欧洲控制杂志 在4个字段中引用 8 系统论;控制(93至XX) 5 计算机科学(68至XX) 2 运筹学、数学规划(90-XX) 1 组合数学(05-XX) 按年份列出的引文