文件名称:LTLrobust
- 所属分类：
- 数学计算/工程计算
- 资源属性：
- [Windows] [Visual.Net] [源码]
- 上传时间：
- 2012-11-26
- 文件大小：
- 384kb
- 下载次数：
- 0次
- 提 供 者：
- 刘**
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
用形式化语言LTL(linear temporal logic)离线测试系统。程序SystemMonitor采用系统运行在线测试，本程序采用离线测试。输入为系统运行数据和LTL表达式，输出为该系统的鲁棒特征值。本程序采用了动态程序设计方法。对从事系统验证工作的开发人员和研究人员非常有帮助。-Its very useful for researchers and programmers who are working on system control and verification. it is a soft tool that used for verifying a system offline using formula language LTL. We use dynamic programming method in this soft.
(系统自动生成,下载前可以参看下载内容)
下载文件列表
LTLrobust\LTLrobust\dataProcess.cpp
.........\.........\dataProcess.h
.........\.........\demo_data.txt
.........\.........\demo_spec.txt
.........\.........\distances.h
.........\.........\ltl2ba.h
.........\.........\LTLrobust.vcproj
.........\.........\LTLrobust.vcproj.ASUAD.cliu81.user
.........\.........\LTLrobust.vcproj.CheLiu-PC.Che Liu.user
.........\.........\monitor.h
.........\.........\output.txt
.........\.........\RubustLTL.cpp
.........\.........\timepoint.txt
.........\.........\verify.txt
.........\LTLrobust.sln
.........\LTLrobust.suo
.........\LTLrobust
LTLrobust
.........\.........\dataProcess.h
.........\.........\demo_data.txt
.........\.........\demo_spec.txt
.........\.........\distances.h
.........\.........\ltl2ba.h
.........\.........\LTLrobust.vcproj
.........\.........\LTLrobust.vcproj.ASUAD.cliu81.user
.........\.........\LTLrobust.vcproj.CheLiu-PC.Che Liu.user
.........\.........\monitor.h
.........\.........\output.txt
.........\.........\RubustLTL.cpp
.........\.........\timepoint.txt
.........\.........\verify.txt
.........\LTLrobust.sln
.........\LTLrobust.suo
.........\LTLrobust
LTLrobust