公共文化服务平台

搜索到345篇“ 线性时序逻辑“的相关文章

基于超线性时序逻辑的无二义加权自动机的可检测性研究: 2025年; 文中从超线性时序逻辑(hyper linear temporal logic, HyperLTL)的角度深入探讨了加权离散事件系统(discrete event systems, DESs)的可检测性问题。先前关于DESs的研究通常假设事件转换是瞬时的或无需成本的。然而,在实际生产环境中,事件转换往往涉及时间和成本的消耗,这需要在DESs研究中引入加权因素。加权决策策略旨在通过为不同事件或状态分配权重来优化系统性能、指导政策制定,并实现高效、安全和可靠地运行。讨论了从加权DESs建模中得出的无二义加权自动机(unambiguous weighted automata, UWAs)。在此基础上,将其转换为一种特殊的Kripke结构,以捕获此类加权自动机的信息,从而实现HyperLTL的明确表示。; 张涛彭皓天; 关键词：网络安全离散事件系统可检测性

一种基于线性时序逻辑的双足机器人运动规划方法及装置: 本发明提供了一种基于线性时序逻辑的双足机器人运动规划方法及装置，该方法包括：步骤S1：根据邻接矩阵和属性矩阵对双足机器人所运动的地图环境进行建模，获得地图环境的有向图；步骤S2：基于有向图搜索一条满足双足机器人到达目标位...; 何舟张凯袁世龙董胜

线性时序逻辑引导的安全强化学习被引量：3: 2023年; 针对动态不确定环境下机器人执行复杂任务的需求,提出一种线性时序逻辑(linear temporal logic,LTL)引导的无模型安全强化学习算法,能在最大化任务完成概率的同时保证学习过程的安全性.首先,综合考虑环境中的不确定因素,构建马尔可夫决策过程(Markov decision process,MDP),再用LTL刻画智能体的复杂任务,将其转化为有多接受集的基于转移的有限确定性广义布奇自动机(transition-based limit deterministic generalized Büchi automaton,tLDGBA),并通过接受边界函数构建可记录当前待访问接受集的约束型tLDGBA(constrained tLDGBA,ctLDGBA);其次,构建乘积MDP用于强化学习搜索最优策略;最后,基于LTL对安全性的描述和MDP的观测函数构建安全博弈,并根据安全博弈设计安全盾机制保证系统在学习过程中的安全性.严格的分析证明了所提出的算法能获得最大化LTL任务完成概率的最优策略.仿真结果验证了LTL引导的安全强化学习算法的有效性.; 李保罗蔡明钰阚震; 关键词：线性时序逻辑自动机马尔可夫决策过程

一种智能家居线性时序逻辑规约生成的方法和装置: 本发明公开了一种智能家居线性时序逻辑规约生成的方法和装置，用于在智能家居领域中将用户输入的自然语言需求文本转换成线性时序逻辑规约。该方法首先对输入的自然语言文本进行预处理；然后使用自然语言处理技术，生成语法分析树和语法依...; 卜磊翟娟张时雨张秋萍赵建华李宣东

一种基于线性时序逻辑的移动机器人运动规划算法: 本发明涉及机器人运动规划技术领域，具体为一种基于线性时序逻辑的移动机器人运动规划算法，包括：S1、构建栅格地图，并对栅格地图做膨胀处理；构建机器人时序任务，并将其转换为自动机；S2、增量构建前缀采样树；S3、获取候选前缀...; 缪志强曾健鑫王耀南吴文杰黄姿蓉张辉

基于深度强化学习和线性时序逻辑约束的离散事件系统的监督控制: 工业系统的控制涵盖多个关键要求,如产品质量、生产效率、工人和机器的安全性。这增加了控制器设计的挑战。随着现代工业系统的规模和复杂性不断增加,传统的控制器设计方法变得力不从心,因此需要寻求新的解决方案。本研究采用强化学习作...; 杨军军; 关键词：离散事件系统有限状态自动机神经网络线性时序逻辑

基于线性时序逻辑的机械臂任务与运动规划方法及系统: 本发明公开了基于线性时序逻辑的机械臂任务与运动规划方法及系统，首先搭建机械臂任务与运动规划模型，获取机械臂的任务信息、机械臂及其工作环境位置信息和，将其输入至模型中的上层任务规划模块，经过处理并优化，得到可行性网络拓扑图...; 缪志强吴文杰王耀南黄姿蓉覃光宇刘泰来李林

直觉模糊线性时序逻辑推理与应用研究: 2023年; 量化时序逻辑比布尔时序逻辑表达力更丰富;不确定性时序逻辑作为量化逻辑的一种扩展在处理具有不确定和不完备系统的决策和搜索问题中更加客观自然。用直觉模糊集作为时序逻辑真值测度,给出了直觉模糊线性时序逻辑的语法。探讨了直觉模糊线性时序逻辑的实用性,研究了其性质,对其进行布尔化。给出了直觉模糊线性时序逻辑的自动机构造算法,讨论了算法的复杂度。给出了基于直觉模糊线性时序逻辑推理的有效性、可满足性、模型检测等搜索和决策问题的求解算法。; 鱼先锋李超耿生玲; 关键词：直觉模糊时序逻辑搜索

一种基于线性时序逻辑的人机协同博弈仿真决策方法: 本发明公开了一种基于线性时序逻辑的人机协同博弈仿真决策方法，包括：使用线性时序逻辑表达式对人机之间的任务进行描述，并将表达式转换为自动机；对无人机进行形式化综合建模，并利用规划自动机进行无人机系统的初始全局路径规划；无人...; 董晨殷翔姚子羽杨曦中赵佳伟任晓华罗广庆

一种基于线性时序逻辑的分布式多智能体任务协作方法: 本发明公开了一种基于线性时序逻辑的分布式多智能体任务协作方法，解决了多智能体任务解耦问题。各智能体通过检测耦合边，构建自身的解耦乘积式Büchi自动机，并通过该解耦乘积式Büchi自动机构建出自身动作序列；耦合边的端点对...; 方浩田戴荧陈杰杨庆凯曾宪琳尉越陈仲瑶

相关作者