连续时间时序逻辑LTLC的公理化和可判定性研究
基本信息
批准号：60273025
项目类别：面上项目
资助金额：22.00
负责人：李广元
学科分类：
依托单位：中国科学院软件研究所
批准年份：2002
结题年份：2005
起止时间：2003-01-01 - 2005-12-31
项目状态： 已结题
项目参与者：唐稚松,郭亮,朱雪阳
关键词：
公理化可判定性连续时间时序逻辑
结项摘要
随着嵌入式实时系统的广泛使用,其可靠性成为急待解决的严重问题,利用时序逻辑等形式化方法对其进行分析和验证,是确保其可靠性的一条极有希望的途径.LTLC是一个面向实时系统的连续语义时序逻辑,本项目将研究LTLC中与实时系统的形式化验证相关的几个问题;1各种语言子类的算法可判定性;2实时性质的验证规则;3公理化证明系统,
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
武功山山地草甸主要群落类型高光谱特征
武功山山地草甸主要群落类型高光谱特征
DOI：
发表时间：2016
2
新产品脱销等待时间对顾客抱怨行为的影响:基于有调节的双中介模型
新产品脱销等待时间对顾客抱怨行为的影响:基于有调节的双中介模型
DOI：
发表时间：2023
3
WMTL-代数中的蕴涵滤子及其应用
WMTL-代数中的蕴涵滤子及其应用
DOI：10.11897/SP.J.1016.2018.00886
发表时间：2018
4
基于自组织小波小脑模型关节控制器的不确定非线性系统鲁棒自适应终端滑模控制
基于自组织小波小脑模型关节控制器的不确定非线性系统鲁棒自适应终端滑模控制
DOI：
发表时间：2016
5
知识嵌入式图神经网络在风机多元状态预测中的应用
知识嵌入式图神经网络在风机多元状态预测中的应用
DOI：https://doi.org/10.1360/SSI-2021-0300
发表时间：2022
李广元的其他基金
批准号：60673051
批准年份：2006
资助金额：24.00
项目类别：面上项目
批准号：61472406
批准年份：2014
资助金额：80.00
项目类别：面上项目
相似国自然基金
1
基于不确定测度的定量时序逻辑的表示与可判定性研究
批准号：11671244
批准年份：2016
负责人：李永明
学科分类：A0602
资助金额：48.00
项目类别：面上项目
2
连续GPS时序与中国大陆现今地壳运动时间过程研究
批准号：40074024
批准年份：2000
负责人：吴云
学科分类：D0407
资助金额：18.00
项目类别：面上项目
3
时段时序逻辑的Petri网模型
批准号：60173012
批准年份：2001
负责人：林闯
学科分类：F0201
资助金额：21.00
项目类别：面上项目
4
框架时序逻辑程序设计
批准号：60433010
批准年份：2004
负责人：段振华
学科分类：F0203
资助金额：180.00
项目类别：重点项目