基于线性时序逻辑的最优巡回路径规划

基于线性时序逻辑(Linear temporal logic, LTL)的路径规划方法中, 多点巡回路径规划问题尚无有效解决方案. 为了在道路网络中实现最优巡回监测, 提出了基于LTL的最优巡回路径规划方法. 首先, 将环境建模成一个切换系统, 用LTL语言描述包含多个巡回点和障碍物的任务需求; 接着, 利用循环移位法构建能够融合任务需求和环境模型的扩展乘机自动机, 以建立路径信息完整的网络拓扑; 最后, 采用基于迪科斯彻法的最优综合算法搜索扩展乘机自动机网络上的最优路径, 从而获得能够满足复杂任务需求的最优巡回路径. 仿真结果表明, 该方法能够有效实现最优巡回路径规划.     

线性时序逻辑约束下的滚动时域控制路径规划

针对有限确定性系统中的路径规划问题,本文提出了一种线性时序逻辑约束下的在线实时求解滚动时域控制的新方法。该方法将滚动时域控制方法和满足线性时序逻辑公式的策略相结合,控制目标是在满足高级别任务规范的同时,使收集的累积回报值最大化。其中,在有限时域内的每个时间步长上局部优化回报值,并应用当前时刻计算获得的最优控制序列。通过执行适当的约束,保证控制器产生的无限轨迹满足期望的时序逻辑公式。而且,由于地势影响因子的引入,所建议的方案更接近于真实情况。仿真实验结果验证了文中提出方法的可行性和有效性。     

满足复杂要求的机器人最优巡回控制系统设计与实现

本文结合线性时序逻辑理论与模糊控制方法,设计并实现了一种满足复杂任务需求的移动机器人巡回控制系统,它既能够针对复杂时序任务进行路径规划,又能够对机器人进行模糊控制实现路径跟踪.首先,基于线性时序逻辑理论,确定能够满足复杂巡回任务需求的全局最优路径.接着,根据所获得的最优路径,采用模糊控制方法设计轨迹跟踪控制器,使其通过实时位姿反馈对机器人进行路径跟踪控制.仿真结果验证了移动机器人巡回控制系统的有效性.最后,基于E-Puck移动机器人构建了能够满足复杂任务需求的移动机器人巡回控制实验系统.基于所提出的最优巡回路径规划算法和模糊控制器设计方法,通过图像处理、数据通信、算法加载等软件模块的实现完成了满足复杂任务需求的移动机器人巡回控制.     

一种不确定时段的扩展时段对序逻辑：时间Petri网模型表示和线性推理

针对点－时段时序逻辑的不足,提出了一种新的时段时序逻辑－－扩展时段时序逻辑,对不确定时间段发生的事件具有较好的描述能力。时间Petri网模型表示的引入,增强了扩展时段时序逻辑的描述直观性及分析能力,为进行线性推理提供了有利的工具。同时还提出了几种变迁间的实施推理规则。运用这些规则可以简化复杂时序关系的Petri网模型,并在线性时间复杂度内定量地得到各变迁间的时序逻辑关系,因而是一种行这有效的方法。     

度量区间时序逻辑下四旋翼的集成任务与运动规划

本文采用优化方法解决度量区间时序逻辑下进行四旋翼的集成任务与运动规划问题。传统方法通常将任务约束和运动约束分层处理。由于不同规划层所使用的抽象模型并不完全匹配,任务规划层求解出的高层策略往往无法有效地被低层的运动规划层执行,从而只能找到次优的运动轨迹甚至找不到解。本文摒弃分层规划的策略,采用B样条拟合运动轨迹,将问题转化问一个混合整数线性规划问题,直接在同一层处理带有时序逻辑的任务约束以及运动约束。与其他现有方法对比,我们的方法保证了连续时间下的轨迹也可以完全满足所有约束条件,而非只有离散的轨迹点才可以满足。我们用四旋翼模型进行了一系列仿真验证,仿真结果表明了方法的有效性     

Spatio-temporal feature-extraction techniques for isolated gesture recognition in Arabic sign language.

This paper presents various spatio-temporal feature-extraction techniques with applications to online and offline recognitions of isolated Arabic Sign Language gestures. The temporal features of a video-based gesture are extracted through forward, backward, and bidirectional predictions. The prediction errors are thresholded and accumulated into one image that represents the motion of the sequence. The motion representation is then followed by spatial-domain feature extractions. As such, the temporal dependencies are eliminated and the whole video sequence is represented by a few coefficients. The linear separability of the extracted features is assessed, and its suitability for both parametric and nonparametric classification techniques is elaborated upon. The proposed feature-extraction scheme was complemented by simple classification techniques, namely, K nearest neighbor (KNN) and Bayesian, i.e., likelihood ratio, classifiers. Experimental results showed classification performance ranging from 97% to 100% recognition rates. To validate our proposed technique, we have conducted a series of experiments using the classical way of classifying data with temporal dependencies, namely, hidden Markov models (HMMs). Experimental results revealed that the proposed feature-extraction scheme combined with simple KNN or Bayesian classification yields comparable results to the classical HMM-based scheme. Moreover, since the proposed scheme compresses the motion information of an image sequence into a single image, it allows for using simple classification techniques where the temporal dimension is eliminated. This is actually advantageous for both computational and storage requirements of the classifier.     

视频标准帧速率上变换的自适应运动补偿方案

提出了一种自适应的运动补偿方案，首先利用预测三步搜索算法进行运动估计，由于此运动估计算法能够很好地利用运动向量的时空相关性．从而能得到更加平滑的运动向量场。其次．为了能够抑制运动向量场中个别奇异向量以及块匹配算法所固有的块效应问题，对向量场进行中值滤波，并采用了一种特殊的向量分配算法。方案的最后一个环节是运动补偿插值，它综合考虑插值帧的局部图像质量以及全局图像质量，利用一种白适应性较强的中值滤波操作来达到一定的综合效果。实验结果证明，此算法与运动补偿时间插值(MCTI)算法相比，插值得到的图像更加平滑，而且，两者的信噪比指标对比也充分说明了本算法的优越性。     

Temporal logic motion planning for dynamic robots

In this paper, we address the temporal logic motion planning problem for mobile robots that are modeled by second order dynamics. Temporal logic specifications can capture the usual control specifications such as reachability and invariance as well as more complex specifications like sequencing and obstacle avoidance. Our approach consists of three basic steps. First, we design a control law that enables the dynamic model to track a simpler kinematic model with a globally bounded error. Second, we built a robust temporal logic specification that takes into account the tracking errors of the first step. Finally, we solve the new robust temporal logic path planning problem for the kinematic model using automata theory and simple local vector fields. The resulting continuous time trajectory is provably guaranteed to satisfy the initial user specification.     

子带内运动补偿时域滤波的优化

在用提升算法实现子带内运动补偿时域滤波时,为了提高运动模型的有效性,探索了利用多假设预测技术以改善运动补偿。提出了更新算子的优化设计,以提高低码率下视频编码的可扩展性,并取得改善的重建视频质量。实验结果显示,优化的子带内运动补偿时域滤波,在保证运动估计精度下,通过合理选择时间滤波器,结合改善的提升实现中的更新操作,提高了编码系统的编码效率和可扩展性能。     

Fuzzy controller for wall-climbing microrobots

This paper presents a fuzzy control system that incorporates sensing, control and planning to improve the performance of the wall-climbing microrobots in unstructured environments. After introduction of the robot system, a task reference method is proposed which is based on a fuzzy multisensor data fusion scheme. The method provides a novel mechanism to efficiently integrate task scheduling, action planning and motion control in a unified framework. A robot gait generation method is described which switches the robot locomotion between different motion modes with the help of a finite state machine driven by sensory information. A fuzzy motion controller is designed to improve control performance and reduce power consumption by the suitable selection of fuzzy sets and inference methods, as well as the definition of corresponding membership functions and control rule bases. A fuzzy logic compensator is developed to compensate the gravitational effects according to different robot configurations and task situations. Experimental results prove the validity of the proposed methods.     

Operating robot manipulators through kinematic singularities using a continuously sliding mode control

Planning the motion of end-effectors of robot manipulators can be carried out more directly in the Cartesian space compared to the joint space. Yet, Cartesian paths may include singular configurations where conventional control schemes suffer from excessive joint velocities and loss of tracking accuracy. The difficulties arise because the Jacobian matrix that is used to establish a linear relation between the velocities in the task and joint spaces loses rank at singularities. The problem can be resolved by using a local second-order approximation of robot kinematics for the joint velocities, which is called Resolved Motion Quadratic Rate Control. In this article, we present a control strategy based on this approach and a recently developed variable structure control scheme. The controller receives Cartesian inputs whenever the manipulator is outside the singular domain. Otherwise, it uses resolved motion quadratic rate control to compute the required joint inputs. Numerical simulation is performed to show that the proposed control scheme provides accurate tracking of the desired motion without inducing excessive control activity when operating robot manipulators through singular configurations. © 1994 John Wiley & Sons, Inc.     

Fuzzy branching temporal logic

Intelligent systems require a systematic way to represent and handle temporal information containing uncertainty. In particular, a logical framework is needed that can represent uncertain temporal information and its relationships with logical formulae. Fuzzy linear temporal logic (FLTL), a generalization of propositional linear temporal logic (PLTL) with fuzzy temporal events and fuzzy temporal states defined on a linear time model, was previously proposed for this purpose. However, many systems are best represented by branching time models in which each state can have more than one possible future path. In this paper, fuzzy branching temporal logic (FBTL) is proposed to address this problem. FBTL adopts and generalizes concurrent tree logic (CTL*), which is a classical branching temporal logic. The temporal model of FBTL is capable of representing fuzzy temporal events and fuzzy temporal states, and the order relation among them is represented as a directed graph. The utility of FBTL is demonstrated using a fuzzy job shop scheduling problem as an example.     

可扩展视频编码中运动补偿时域滤波的改进

在基于小波变换的可扩展视频编码方案中,研究运动补偿时域滤波的优化方法.将有效的多相位子带内运动估计纳入分层运动估计策略中,用提升算法实现子带内运动补偿时域滤波,融入多假设预测以优化运动补偿技术;为了提高低码率下视频编码的可扩展性,提出更新算子的优化设计.实验结果显示,在保证运动估计精度下,合理选择时间滤波器,结合改善的提升实现中的更新操作,提高了编码系统的编码效率和可扩展性能.     

Articulated motion reconstruction from feature points

A fundamental task of reconstructing non-rigid articulated motion from sequences of unstructured feature points is to solve the problem of feature correspondence and motion estimation. This problem is challenging in high-dimensional configuration spaces. In this paper, we propose a general model-based dynamic point matching algorithm to reconstruct freeform non-rigid articulated movements from data presented solely by sparse feature points. The algorithm integrates key-frame-based self-initialising hierarchial segmental matching with inter-frame tracking to achieve computation effectiveness and robustness in the presence of data noise. A dynamic scheme of motion verification, dynamic key-frame-shift identification and backward parent-segment correction, incorporating temporal coherency embedded in inter-frames, is employed to enhance the segment-based spatial matching. Such a spatial–temporal approach ultimately reduces the ambiguity of identification inherent in a single frame. Performance evaluation is provided by a series of empirical analyses using synthetic data. Testing on motion capture data for a common articulated motion, namely human motion, gave feature-point identification and matching without the need for manual intervention, in buffered real-time. These results demonstrate the proposed algorithm to be a candidate for feature-based real-time reconstruction tasks involving self-resuming tracking for articulated motion.     

线性时序逻辑引导的安全强化学习

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

Model recovery anti-windup for output saturated SISO linear closed loops

We define model recovery anti-windup for SISO linear control systems with output saturation. We address the problem by relying on a hybrid modification of the linear closed loop which employs a suitable logic variable to activate/deactivate various components of a control scheme. The scheme relies on a finite-time observation law, an open-loop observer and an open-loop input generator which is capable of driving the plant output within the saturation limits. Then the control scheme is based on suitable (hybrid) resetting laws allowing the controller to operate on the artificial output signal generated by the open-loop observer when the actual plant output is outside the saturation limits. Unlike existing results, not only we prove uniform global asymptotic stability of the closed loop, but we also prove the local preservation and global recovery properties, typical of model recovery anti-windup paradigms. We also illustrate the proposed technique on an example study.     

基于伪逆的导轨机械臂关节速度纠偏运动规划方案

针对导轨机械臂在任务执行过程中出现的关节速度偏离期望值的问题,提出了一种基于伪逆算法的导轨机械臂关节速度纠偏运动规划方案。首先,根据机械臂的关节角状态和末端执行器的运动状态,运用伪逆算法对导轨机械臂在速度层上进行冗余度解析。然后,设计时变函数对关节速度进行约束调整,使偏离后的关节速度收敛于期望值。接着,针对末端执行器出现的位置误差设计了误差修正方法以保证轨迹跟踪任务的顺利执行。最后,将运动规划方案在Matlab软件上以基座直线移动和弧形移动的四连杆冗余度机械臂为例进行了仿真实验。仿真结果表明了该方案能纠正导轨机械臂在任务执行过程中偏离期望值的关节速度,且能使末端执行器的轨迹跟踪达到较高的精度。     

基于伪逆的导轨机械臂关节速度纠偏运动规划方案

针对导轨机械臂在任务执行过程中出现的关节速度偏离期望值的问题，提出了一种基于伪逆算法的导轨机械臂关节速度纠偏运动规划方案。首先，根据机械臂的关节角状态和末端执行器的运动状态，运用伪逆算法对导轨机械臂在速度层上进行冗余度解析。然后，设计时变函数对关节速度进行约束调整，使偏离后的关节速度收敛于期望值。接着，针对末端执行器出现的位置误差设计了误差修正方法以保证轨迹跟踪任务的顺利执行。最后，将运动规划方案在Matlab软件上以基座直线移动和弧形移动的四连杆冗余度机械臂为例进行了仿真实验。仿真结果表明了该方案能纠正导轨机械臂在任务执行过程中偏离期望值的关节速度，且能使末端执行器的轨迹跟踪达到较高的精度。     

LTL receding horizon control for finite deterministic systems

This paper considers receding horizon control of finite deterministic systems, which must satisfy a high level, rich specification expressed as a linear temporal logic formula. Under the assumption that time-varying rewards are associated with states of the system and these rewards can be observed in real-time, the control objective is to maximize the collected reward while satisfying the high level task specification. In order to properly react to the changing rewards, a controller synthesis framework inspired by model predictive control is proposed, where the rewards are locally optimized at each time-step over a finite horizon, and the optimal control computed for the current time-step is applied. By enforcing appropriate constraints, the infinite trajectory produced by the controller is guaranteed to satisfy the desired temporal logic formula. Simulation results demonstrate the effectiveness of the approach.