利比亚人

libFAUDES:离散事件系统的软件库。离散事件系统库libFAUDES实现了有限自动机和正则语言的数据结构和算法。图书馆采用控制理论的观点,最初由P.J.Ramadge和W.M.Wonham在1980年代提出。从那时起,许多研究者对监控理论做出了贡献,包括对分层、模块化和分散式控制器综合的扩展;参见[参考文献]。对于libFAUDES,我们的目标是(a)减少实现用于控制离散事件系统的方法的编码工作量,(b)通过向公众提供这些方法来有效地宣传这些方法。


zbMATH中的参考文献(参考文献10条)

显示第1到第10个结果,共10个。
按年份排序(引用)

  1. 科斯塔,加布里埃尔;加莱塔,莱特欧;德加诺,皮耶尔帕洛;盆地,大卫;博德,恰拉:作为部分模型检查的自然投影(2020年)
  2. 雷伊宁,费迪·费迪费希尔。;古尔登,马蒂金A。;范德莫泰尔弗隆扎克,乔安娜M。;Rooda,Jacobus E.:监管机构综合建模——船闸桥组合案例研究(2020)
  3. 王喜;李志武;Moor,Thomas:基于SCT的具有精确任务执行时间的模块化实时系统的无优先级条件抢占调度(2019)
  4. 科斯塔,加布里埃尔;盆地,大卫;博德,恰拉;德加诺,皮耶尔帕洛;Galletta,Letterio:从自然投影到部分模型检查和备份(2018)
  5. 笨蛋,安妮·凯瑟琳;施耐德,斯文;拉什,约格;Nestmann,Uwe:确定性上下文无关规范语言的监督控制综合。最低限度地实施可控性(2016年)
  6. 科门达,一月;Masopust,Tomš:分布式离散事件系统的协调控制(2015)
  7. 科门达,一月;马索普斯特,汤姆š;van Schuppen,Jan H.:离散事件系统的协调控制(2015)
  8. 科门达,一月;马索普斯特,汤姆š;Van Schuppen,Jan H.:关于条件分解性(2012)
  9. 范舒本,简·H。;鲍丁,奥利弗;坎普克尔,Pia L。;科门达,一月;马索普斯特,汤姆š;帕姆布基安,尼古拉;Ran,AndréC.M.:分布式系统的控制:教程和概述(2011)
  10. Schmidt,K.:基于抽象的离散事件系统可诊断性验证(2010)


更多出版物请访问:http://www.rt.eei.uni-erlangen.de/FGdes/faudes/reference/reference_literature.html