Probabilistic systems and applications

概率系统和应用

• 批准号: 104873-2010
• 负责人: Panangaden, Prakash
• 金额: $ 3.72万
• 依托单位: McGill University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2012
• 资助国家: 加拿大
• 起止时间: 2012-01-01 至 2013-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=513576
• 关键词: Probabilistic; systems; applications

Probabilistic systems are becoming more common as we move towards a world in which embedded real-time systems, process control systems, flight management systems and communication systems become more common. Establishing the correctness of such systems poses new challenges for verification technology especially when we combine continuous space and real-time aspects with probability. The purpose of this proposal is to develop the mathematical framework for reasoning about such systems. This project is not about randomized algorithms but rather about reasoning in the presence of uncertainty with a view towards verification.

随着嵌入式实时系统、过程控制系统、飞行管理系统和通信系统越来越普遍，概率系统变得越来越普遍。 建立这样的系统的正确性提出了新的挑战，验证技术，特别是当我们结合联合收割机连续空间和实时方面的概率。 这个建议的目的是发展数学框架推理这样的系统。 这个项目不是关于随机算法，而是关于在存在不确定性的情况下进行推理，以期进行验证。