线性时序逻辑相关论文
本文提出了一种基于局部线性时序逻辑任务描述的滚动时域多机器人协同规划在线合成方法,初步解决了如何在建模为马尔可夫决策过程......
随着社会生产生活智能化水平的提高,多机器人之间的协作广泛存在于智慧物流、无人工厂以及协同环境监测等领域,这对多机器人系统提......
路径规划是移动机器人领域的核心技术之一。目前移动机器人路径规划主要集中在算法的研究上,与实际应用背景相结合的路径规划研究......
Web服务是基于网络的、分布式的模块化构件,应用程序或其它Web服务可以发现并调用部署后的Web服务。单个Web服务的功能粒度有限,组......
由设计瑕疵引起的安全问题占据了系统开发过程中出现的安全性问题的50%,因此,无论在多么坚实的软件安全程序中,对于系统体系结构的......
目前国际上已实现的入侵检测系统绝大多数使用模式匹配来检测入侵。随着网络数据量的增大，上述系统面临着一些难以解决的问题。为此......
物联网(Internet Of Things,Io T)如今已深入到个人生活和工业生产的各个方面,智能设备大量出现在家庭生活中,为用户带来舒适和便......
移动机器人的广泛应用使得路径规划成为研究热点。时序任务约束的路径规划则是机器人研究中的关键技术之一。线性时序逻辑(LTL)理......
在运行时验证中,对于给定的线性时序逻辑公式,常用其可监控性和弱可监控性来衡量其是否适合用于运行时验证.而实际上,可监控性的要......
列车运行控制系统是轨道交通信号系统的重要组成部分之一，是保证列车运行安全的主要因素之一。随着计算机技术在列车运行控制系统中......
随着信息技术和网络技术的迅速发展，计算机网络在日常生活中的应用日益普遍。如何确保其正确性和安全性成为日益紧迫的问题.在现有......
突破传统计算框架的DNA计算为模型检测提供了新思路.目前已经实现了LTL公式pUq的DNA模型检测算法,并在其基础上实现了Gp、Fp模型检......
时序逻辑程序的形式化验证对提高程序的正确性具有重要意义.基于自动机的理论,用标签转移系统(S)表示程序的行为,用时序逻辑公式(F......
