Checkpoint Management with Double Modular Redundancy Based on the Probability of Task Completion

This paper proposes a checkpoint rollback strategy for real-time systems with double modular redundancy.Without built-in fault-detection and spare processors,our scheme is able to recover from both transient and permanent faults.Two comparisons are conducted at each checkpoint.First,the states stored in two consecutive checkpoints of one processor are compared for checking integrity of the processor.The states of two processors are also compared for detecting faults and the system rolls back to the previous checkpoint whenever required by logic of the proposed scheme.A Markov model is induced by the fault recovery scheme and analyzed to provide the probability of task completion within its deadline.The optimal number of checkpoints is selected so as to maximize the probability of task completion.     

Chattering free adaptive fuzzy terminal sliding mode control for second order nonlinear system

A novel fuzzy terminal sliding mode control （FTSMC） scheme is proposed for position tracking of a class of second-order nonlinear uncertain system. In the proposed scheme, we integrate input-output linearization technique to cancel the nonlinearities. By using a function-augmented sliding hyperplane, it is guaranteed that the output tracking error converges to zero in finite time which can be set arbitrarily. The proposed scheme eliminates reaching phase problem, so that the closed-loop system always shows invariance property to parameter uncertainties. Fuzzy logic systems are used to approximate the unknown system functions and switch item. Robust adaptive law is proposed to reduce approximation errors between true nonlinear functions and fuzzy systems, thus chattering phenomenon can be eliminated. Stability of the proposed control scheme is proved and the scheme is applied to an inverted pendulum system. Simulation studies are provided to confirm performance and effectiveness of the proposed control approach.     

Piecewise output feedback control for affine systems with disturbances based on linear temporal logic specifications

In the paper,we investigate the problem of finding a piecewise output feedback control law for an uncertain affine system such that the resulting closed-loop output satisfies a desired linear temporal logic (LTL) specification.A two-level hierarchical approach is proposed to solve the problem in a triangularized output space.In the lower level,we explore whether there exists a robust output feedback control law to make the output starting in a simplex either remains in it or leaves via a specific facet.In the higher level,for the triangularization,we construct the transition system according to the reachability relationship obtained in the lower level and search for feasible paths that meet the LTL specification.The control approach is then applied to solve a motion planning problem.     

Design and implementation of vision-based transport for a mobile robot via Kalman filter

A vision-based scheme for object recognition and transport with a mobile robot is proposed in this paper. First, camera calibration is experimentally performed with Zhenyou Zhang’s method, and a distance measurement method with the monocular camera is presented and tested. Second, Kalman filtering algorithm is used to predict the movement of a target with HSI model as the input and the seed filling algorithm as the image segmentation approach. Finally, the motion control of the pan-tilt camera and mobile robot is designed to fulfill the tracking and transport task. The experiment results demonstrate the robust object recognition and fast tracking capabilities of the proposed scheme.     

仿生机器鱼运动控制算法研究

footnotesize A practical motion control strategy for a radio-controlled, 4-link and free-swimming biomimetic robot fish is presented. Based on control performance of the fish the fish's motion control task is decomposed into on-line speed control and orientation control. The speed control algorithm is implemented by using piecewise control, and orientation control is realized by fuzzy logic. Combining with step control and fuzzy control, a point-to-point (PTP) control algorithm is proposed and applied to the closed-loop experimental system that uses a vision-based position sensing subsystem to provide feedback. Experiments confirm the reliability and effectiveness of the presented algorithms.     

Consistency Property of Finite FC-Normal Logic Programs

Marek＇s forward-chaining construction is one of the important techniques for investigating the non-monotonic reasoning. By introduction of consistency property over a logic program, they proposed a class of logic programs, FC-normal programs, each of which has at least one stable model. However, it is not clear how to choose one appropriate consistency property for deciding whether or not a logic program is FC-normal. In this paper, we firstly discover that, for any finite logic programⅡ, there exists the least consistency property LCon（Ⅱ） overⅡ, which just depends onⅡitself, such that, Ⅱ is FC-normal if and only ifⅡ is FC-normal with respect to （w.r.t.） LCon（Ⅱ）. Actually, in order to determine the FC-normality of a logic program, it is sufficient to check the monotonic closed sets in LCon（Ⅱ） for all non-monotonic rules, that is LFC（Ⅱ）. Secondly, we present an algorithm for computing LFC（Ⅱ）. Finally, we reveal that the brave reasoning task and cautious reasoning task for FC-normal logic programs are of the same difficulty as that of normal logic programs.     

Distributing and Scheduling Divisible Task on Parallel Communicating Processors

In this paper we propose a novel scheme for scheduling divisible task on parallel processors connected by system interconnection network with arbitrary topology,The divisible task is a computation that can be divided into arbitrary independent subtasks solved in parallel.Our model takes into consideration communication initial time and communication delays between processors.Moreover,by constructing the corresponding Network Spanning present the concept of Balanced Task Distribution Tree and use it to design the Equation Set Creation Algorithm in which the set of linear equations is created by traversing the NST in Post-order.After solving the created equations,we get the optimal task assignment scheme.Experiments confirm the applicability of our scheme in real-life situations.     

Dynamics and control of a novel 3-DOF parallel manipulator with actuation redundancy

This paper deals with the dynamics and control of a novel 3-degrees-of-freedom （DOF） parallel manipulator with actuation redundancy. According to the kinematics of the redundant manipulator, the inverse dynamic equation is formulated in the task space by using the Lagrangian formalism, and the driving force is optimized by utilizing the minimal 2-norm method. Based on the dynamic model, a synchronized sliding mode control scheme based on contour error is proposed to implement accurate motion tracking control. Additionally, an adaptive method is introduced to approximate the lumped uncertainty of the system and provide a chattering-free control. The simulation results indicate the effectiveness of the proposed approaches and demonstrate the satisfactory tracking performance compared to the conventional controller in the presence of the parameter uncertainties and un-modelled dynamics for the motion control of manipulators.     

Packet combining based on cross-packet coding

We propose a packet combining scheme of using cross-packet coding. With the coding scheme, one redundant packet can be used to ensure the error-correction of multiple source packets. Thus, the proposed scheme can increase the code rate. Moreover, the proposed coding scheme has also advantages of decoding complexity, reducing undetectable errors (by the proposed low-complexity decoder) and flexibility (applicable to channels with and without feedback). Theoretical analysis under the proposed low-complexity decoding algorithm is given to maximize the code rate by optimizing the number of source packets. Finally, we give numerical results to demonstrate the advantages of the proposed scheme in terms of code rates compared to the traditional packet combining without coding or ARQ (automatic repeat-request) techniques.     

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

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

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

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

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

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

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

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

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.     

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

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

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

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