申请/专利权人：青海师范大学

申请日：2023-07-04

公开（公告）日：2024-04-09

公开（公告）号：CN117272776B

主分类号：G06F30/27

分类号：G06F30/27;G06F17/13;G06N7/02

优先权：

专利状态码：有效-授权

法律状态：2024.04.09#授权;2024.01.09#实质审查的生效;2023.12.22#公开

摘要：本申请提供一种基于决策过程的不确定性CPS建模与验证方法，属于信息物理融合技术领域。方法通过基于广义可能性决策过程构建CPS系统模型，并定义模型的广义可能性线性时序逻辑的CPS语法和语义；引入时钟不变量，基于时间的微分方程和不确定性混成时间自动机对CPS系统模型进行扩展建模，获得不确定性CPS扩展模型；基于可能性测度理论与语法和语义，对扩展模型的活性和安全属性进行动态验证，并根据动态验证结果优化扩展模型的执行路径；利用预设建模工具对扩展模型进行建模仿真，分析CPS动态执行过程，并根据分析结果对扩展模型输出的动态行为进行精化。本申请验证了CPS系统的活性和安全属性，使系统每个状态内部能用基于时间的状态精化来描述。

主权项：1.一种基于决策过程的不确定性CPS建模与验证方法，其特征在于，包括：基于广义可能性决策过程构建CPS系统模型，并定义所述CPS系统模型的广义可能性线性时序逻辑的CPS语法和语义，其中，CPS为信息物理融合系统；具体包括：以广义可能性决策过程为系统模型，构建CPS系统模型；所述广义可能性决策过程具体为一个六元组M＝S,Act,P,I,AP,L，其中，S是一个可数非空状态之集；Act是一个动作集；P是可能性转移函数，P：S×Act×T→[0,1]，对于每个状态s∈S，t∈T,都存在一个动作α∈Act，使得Ps,α,t＞0；I是一个可能性初始分布函数；AP是一组原子命题集；L是一个可能性标签函数；基于状态s，分别确定广义可能性决策过程中以状态s开始的无限路径片段的集合Pathss和以状态s开始的有限路径片段的集合Pathsfins；预先设置所述六元组M的策略，并将策略定义为函数ζ；基于原子命题集AP，定义CPS系统模型的广义可能性线性时序逻辑的CPS语法，CPS语法如下式所示： 其中r是可能性的区间取值，r∈[0,1]，a∈AP；依据所述CPS语法，分别定义广义可能性线性时序逻辑的语言语义和路径语义；引入时钟不变量，基于时间的微分方程和不确定性混成时间自动机对CPS系统模型进行扩展建模，获得不确定性CPS扩展模型；基于可能性测度理论和广义可能性线性时序逻辑的CPS语法和语义，对所述不确定性CPS扩展模型的活性和安全属性进行动态验证，并根据动态验证结果优化不确定性CPS扩展模型的执行路径；利用预设建模工具对不确定性CPS扩展模型进行建模仿真，分析不确定性CPS扩展模型的CPS动态执行过程，并根据CPS动态执行过程的分析结果对不确定性CPS扩展模型输出的动态行为进行精化。

全文数据：

权利要求：

百度查询： 青海师范大学 一种基于决策过程的不确定性CPS建模与验证方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD