软件搜索-zbMATH Open

libFAUDES公司

swMATH ID:	16433
软件作者：	伯恩德·奥皮茨、托马斯·摩尔、克劳斯·施密特
说明：	libFAUDES：离散事件系统的软件库。离散事件系统库libFAUDES实现了有限自动机和正则语言的数据结构和算法。正如P.J.Ramadge和W.M.Wonham在20世纪80年代最初介绍的那样，图书馆采用了控制理论的观点。自那时以来，许多研究人员对监督控制理论作出了贡献，包括对分层、模块化和分散控制器综合的扩展；参见[参考文献]。使用libFAUDES，我们的目标是（a）减少实现离散事件系统控制方法的编码工作量，以及（b）通过向公众提供这些方法来有效宣传这些方法。
主页：	网址：http://www.rt.eei.uni-erlangen.de/FGdes/fudes/
相关软件：	UMDES公司;TCT公司;害虫;MuDiv公司;苏普雷米卡;GPU验证;github;CMC公司
引用于：	10文件
更多出版物：	http://www.rt.eei.uni-erlangen.de/FGdes/faudes/reference/reference参考文献.html

4	简·科门达
4	汤马斯·马斯托普斯
三	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·。