Probabilistic Analysis of Hybrid Systems

混合系统的概率分析

• 批准号: 0130550
• 负责人: Michael Mislove
• 金额: $ 5.45万
• 依托单位: Tulane University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2001
• 资助国家: 美国
• 起止时间: 2001-09-01 至 2002-12-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0130550&HistoricalAwards=false
• 关键词: Probabilistic; Analysis; Hybrid; Systems

This proposal will bring together three specific, recent advances to study the behavior of hybrid systems, most notably those systems for which the traditional algorithmic methods fail because the reachability and omega-language problems are undecidable. The tools that will be used include:1. The recent development of a model for the probabilistic process algebra PCSP in which the expected laws for both nondeterministic choice and for probabilistic choice operators hold,2. The recent development of a quantified m-calculus and associated quantified temporal logic for reasoning about finite state systems that support both nondeterministic choice and probabilistic choice, and3. Recent results about the expressibility of simple measures on locally compact spaces - in particular, the fact that any probability measure on such a space is the directed supremum of simple measures.These results tie together to provide an interesting and novel approach to modeling hybrid systems.

该提案将汇集三个具体的最新进展来研究混合系统的行为，尤其是那些传统算法方法因可达性和欧米伽语言问题不可判定而失败的系统。 将使用的工具包括： 1．最近开发了概率过程代数 PCSP 模型，其中非确定性选择和概率选择算子的预期定律都成立，2。最近开发了量化 m 微积分和相关的量化时态逻辑，用于推理支持非确定性选择和概率选择的有限状态系统，以及 3。关于局部紧凑空间上简单测度的可表达性的最新结果 - 特别是，这样一个空间上的任何概率测度都是简单测度的有向至上这一事实。这些结果结合在一起，为混合系统建模提供了一种有趣且新颖的方法。