文件名称:LTLrobust
-
所属分类：
- 标签属性：
- 上传时间：2012-11-16
-
文件大小：384.29kb
-
已下载：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
LTLrobust/LTLrobust/dataProcess.h
LTLrobust/LTLrobust/demo_data.txt
LTLrobust/LTLrobust/demo_spec.txt
LTLrobust/LTLrobust/distances.h
LTLrobust/LTLrobust/ltl2ba.h
LTLrobust/LTLrobust/LTLrobust.vcproj
LTLrobust/LTLrobust/LTLrobust.vcproj.ASUAD.cliu81.user
LTLrobust/LTLrobust/LTLrobust.vcproj.CheLiu-PC.Che Liu.user
LTLrobust/LTLrobust/monitor.h
LTLrobust/LTLrobust/output.txt
LTLrobust/LTLrobust/RubustLTL.cpp
LTLrobust/LTLrobust/timepoint.txt
LTLrobust/LTLrobust/verify.txt
LTLrobust/LTLrobust.sln
LTLrobust/LTLrobust.suo
LTLrobust/LTLrobust
LTLrobust
LTLrobust/LTLrobust/dataProcess.h
LTLrobust/LTLrobust/demo_data.txt
LTLrobust/LTLrobust/demo_spec.txt
LTLrobust/LTLrobust/distances.h
LTLrobust/LTLrobust/ltl2ba.h
LTLrobust/LTLrobust/LTLrobust.vcproj
LTLrobust/LTLrobust/LTLrobust.vcproj.ASUAD.cliu81.user
LTLrobust/LTLrobust/LTLrobust.vcproj.CheLiu-PC.Che Liu.user
LTLrobust/LTLrobust/monitor.h
LTLrobust/LTLrobust/output.txt
LTLrobust/LTLrobust/RubustLTL.cpp
LTLrobust/LTLrobust/timepoint.txt
LTLrobust/LTLrobust/verify.txt
LTLrobust/LTLrobust.sln
LTLrobust/LTLrobust.suo
LTLrobust/LTLrobust
LTLrobust
本网站为编程资源及源代码搜集、介绍的搜索网站，版权归原作者所有！ 粤ICP备11031372号
1999-2046 搜珍网 All Rights Reserved.