Specifications for decidable hybrid games
Theoretical Computer Science(2011)
摘要
We introduce STORMED hybrid games (SHG), a generalization of STORMED hybrid systems, Vladimerou et al. (2008) [33], which have natural specifications that allow rich continuous dynamics and various decidable properties. We solve the control problem for SHG using a reduction to bisimulation on finite game graphs. This generalizes to a greater family of games, which includes o-minimal hybrid games, Bouyer et al. (2006) [6]. We also solve the optimal-cost reachability problem for Weighted SHG and prove decidability of WCTL for Weighted STORMED hybrid systems.
更多查看译文
关键词
optimal-cost reachability problem,Weighted STORMED hybrid system,STORMED hybrid system,STORMED hybrid game,decidable hybrid game,natural specification,greater family,Weighted SHG,control problem,finite game graph,o-minimal hybrid game
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要