乌帕阿尔提加

UPPAAL-TIGA(图1)是UPPAAL[BDL04]的扩展,它实现了第一个基于时间博弈自动机的关于可达性和安全性的有效的动态求解算法。虽然时间游戏早已被认为是可判定的,但到目前为止,还缺乏有效和真正的实时算法来分析它们。我们提出的算法[CDFLL05]是Liu&Smolka[LS98]提出的有限状态系统线性时间模型检验的动态算法的符号扩展。在运行中,符号算法可能会在探索整个状态空间之前很久就终止。此外,算法的各个步骤也通过使用所谓的分区作为底层数据结构来高效地执行。我们的工具实现了基本符号算法的各种优化,以及获得时间最优的获胜策略的方法(对于可达性游戏)。


zbMATH中的参考文献(参考 40篇文章

显示第1到第20个结果,共40个。
按年份排序(引用)
  1. Bersani,Marcello M.;Soldo,Matteo;Menghi,Claudio;Pelliccione,Patrizio;Rossi,Matteo:追求——从机器人环境规范到控制器综合(2020)
  2. 弗雷泽,道格拉斯;贾昆塔,鲁本;霍夫曼,露丝;爱尔兰,默里;米勒,爱丽丝;诺曼,盖钦:自主系统控制器综合的协作模型(2020)
  3. Jovanović,Aleksandra;Lime,Didier;Roux,Olivier H.:实时系统参数控制的博弈方法(2019)
  4. Majumdar,Rupak;Raskin,Jean François:非布尔域中的符号模型检查(2018)
  5. Bouyer,Patricia;Markey,Nicolas;Perrin,Nicolas;Schlehuber Caissier,Philipp:使用控制不变量对切换动态系统的时间自动机抽象(2017)
  6. Waez,Md Tawhid Bin;Wąsowski,Andrzej;Dingel,Juergen;Rudie,Karen:使用时间自动机的动态分层实时对象的控制器综合(2017)
  7. Bérard,Béatrice;Lafourcade,Pascal;Millet,Laure;Potop Butucaru,Maria;Thierry Mieg,Yann;Tixeuil,Sébastien:移动机器人协议的正式验证(2016年)
  8. Cimatti,Alessandro;Hunsberger,Luke;Micheli,Andrea;Posenato,Roberto;Roveri,Marco:通过时间游戏自动机实现动态可控性(2016)
  9. Forejt,Vojtěch;Kwiatkowska,Marta;Norman,Gethin;Trivedi,Ashutosh:预期可达性时间游戏(2016)
  10. Jensen,Peter Gjøl;Larsen,Kim Guldstrand;Srba,Jiří:基于离散化的定时弧Petri网博弈的实时策略综合(2016)
  11. Dräger,Klaus;Forejt,Vojtěch;Kwiatkowska,Marta;Parker,David;Ujma,Mateusz:概率系统的许可控制器综合(2015)
  12. Larsen,Kim Guldstrand;Mikučionis,Marius;Taankvist,Jakob Haahr:安全和最佳自适应巡航控制(2015)
  13. Waez,Md Tawhid Bin;Wąsowski,Andrzej;Dingel,Juergen;Rudie,Karen:工业实时系统模型(2015)
  14. Bulychev,Peter;David,Alexandre;Larsen,Kim G.;Li,Guangyuan:一个片段的有效控制器合成(2014)
  15. David,Alexandre;Fang,Huixing;Larsen,Kim Guldstrand;Zhang,Zhengkui:时间博弈策略的验证与绩效评估(2014)
  16. Larsen,Kim G.;Legay,Axel;Traonouez,Louis Marie;Wąsowski,Andrzej:实时系统的鲁棒综合(2014)
  17. Chen,Taoloue;Forejt,Vojtěch;Kwiatkowska,Marta;Parker,David;Simaitis,Aistis:PRISM games:随机多人博弈的模型检验器(2013)
  18. Della Penna,Giuseppe;Intrigila,Benedetto;Magazzeni,Daniele;Melatti,Igor;Tronci,Enrico:CGMurphi:非线性混合系统数字控制器的自动综合(2013)
  19. 基于Axleng、Legay和Lagren的系统性能评估;基于Axleng、Legay的系统综合;2013年
  20. Jovanović,Aleksandra;Lime,Didier;Roux,Olivier H.:参数定时可达博弈的有界整数参数的综合(2013)