Supervisory control based on minimal cuts and Petri net sub-controllers coordination

This paper addresses the synthesis of Petri net (PN) controller for the forbidden state transition problem with a new utilisation of the theory of regions. Moreover, as any method of control synthesis based on a reachability graph, the theory of regions suffers from the combinatorial explosion problem. The proposed work minimises the number of equations in the linear system of theory of regions and therefore one can reduce the computation time. In this paper, two different approaches are proposed to select minimal cuts in the reachability graph in order to synthesise a PN controller. Thanks to a switch from one cut to another, one can activate and deactivate the corresponding?PNcontroller. An application is implemented in a flexible manufacturing system to illustrate the present method. Finally, comparison with previous works with experimental results in obtaining a maximally permissive controller is presented.     

Information Ordering with an Event‐Enriched Vector Space Model for Multi‐Document News Summarization

Information ordering is a nontrivial task in multi‐document summarization (MDS), which typically relies on the traditional vector space model (VSM) notorious for semantic deficiency. In this article, we propose a novel event‐enriched VSM to alleviate the problem by building event semantics into sentence representations. The mediation of event information between sentence and term, especially in the news domain, has an intuitive appeal as well as technical advantage in common sentence‐level operations such as sentence similarity computation. Inspired by the block‐style writing by humans, we base the sentence ordering algorithm on sentence clustering. To accommodate the complexity introduced by event information, we adopt a soft‐to‐hard clustering strategy on the event and sentence levels, using expectation–maximization clustering and K‐means, respectively. For the purpose of cluster‐based sentence ordering, the event‐enriched VSM enables us to design an ordering algorithm to enhance event coherence computed between sentence and sentence–context pairs. Drawing on the findings of earlier research, we also incorporate topic continuity measures and time information into the scheme. We evaluate the performance of the model and its variants automatically and manually, with experimental results showing clear advantage of the event‐based model over baseline and non‐event‐based models in information ordering for multi‐document news summarization. We are confident that the event‐enriched VSM has even greater potential in summarization and beyond, which awaits further research. © 2014 Wiley Periodicals, Inc.     

Event‐Triggered Control for Couple‐Group Multi‐Agent Systems with Logarithmic Quantizers and Communication Delays

This paper mainly investigates the event‐triggered control for couple‐group multi‐agent systems with communication delay. Logarithmic quantization is considered in the communication channels. Event‐triggered control laws are adopted to reduce the frequency of individual actuation updating for discrete‐time agent dynamics. The proposed protocol is efficient as long as the quantization levels are dense enough, i.e. the density of quantization levels goes to infinity is a sufficient condition for the asymptotic consensus of the multi‐agent systems. It turns out that the bounded consensus depends on not only the density of quantization levels, but also the updating strategy of events. Finally, a simulation example is given to demonstrate the effectiveness of the proposed methods.     

Distributed Adaptive Event‐Triggered Control for Leader‐Following Consensus of Multi‐Agent Systems

This paper studies the leader‐following consensus problem for Lipschitz nonlinear multi‐agent systems using novel event‐triggered controllers. A distributed adaptive law is introduced for the event‐based control strategy design such that the proposed controllers are independent of system parameters and only use the relative states of neighboring agents, and hence are fully distributed. Due to the introduction of an event‐triggered control scheme, the controller of the agent is only triggered at it's own event times, and thus reduces the amount of communication between controller and actuator and lowers the frequency of controller updates in practice. Based on a quadratic Lyapunov function, the event condition which uses only neighbor information and local computation at trigger instants is established. Infinite triggers within a finite time are also verified to be impossible. The effectiveness of the theoretical results are illustrated through simulation examples.     

视频图像中动态目标检测系统的FPGA硬件设计

为解决传统视频图像数据处理时,通常以软件为基础,存在工作量大、存储时间长的问题,提出了基于FPGA硬件结构处理的设计,提高系统的处理速度和实时性.针对图像处理问题,采用背景差分法检测运动目标,通过二值化方法剔除图像中的静止场景,然后再做形态滤波,消除空洞和噪声点,最后提取出目标中心点,达到检测运动目标的目的.同时加入sobel边缘检测模块,扩展运动目标检测体系结构,在检测目标时,系统能够根据物体的形状以及它的运动路径,来识别对象并对其检测结果进行分类.此外,对一些特定环境,设置适当禁区,当目标中心点进入禁区时,做出相应判断.硬件设计和Verilog HDL程序编写完成后,在Modelsim中做仿真验证,可以得到正确的目标检测结果.     

Event‐triggered distributed constrained consensus

We consider a distributed consensus problem for continuous‐time multi‐agent systems with set constraints on the final states. To save communication costs, an event‐triggered communication‐based protocol is proposed. By comparing its own instantaneous state with the one previously broadcasted to neighbours, each agent determines the next communication time. Based on this event‐triggered communication, each agent is not required to continuously monitor its neighbours' state and the communication only happens at discrete time instants. We show that, under some mild conditions, the constrained consensus of the multi‐agent system with the proposed protocol can be achieved with an exponential convergence rate. A lower bound of the transmission time intervals is provided that can be adjusted by choosing different values of parameters. Numerical examples illustrate the results. Copyright © 2016 John Wiley & Sons, Ltd.     

一种以人为中心的智能化城市交通综合监控方法

随着我国城市化的进程、汽车行业的蓬勃发展和人民生活水平的日益提高,行驶在城市道路上的车辆越来越多,造成了一系列的问题,如何更加高效地监控城市交通,近年来已经成为了研究重点。研究表明,交通监控员通过远程调阅路面监控录像的模式,实施有效监控的推荐显示屏幕个数只有4个,因此,传统的交通监控模式将导致很高的交通事件漏报率和误报率。针对这些问题,提出了一个以人为中心的智能化城市交通监控方法,主要特点包括:1．采用眼球追踪技术,对交通监控员的眼球活动状态进行跟踪和分析,根据已建立的事件模型和判定模型进行快速屏幕切换操作;2．通过结合RFID技术,对道路上车辆的RFID标签进行追踪和统计分析,根据模型进行交通事件快速预警和关联分析。该方法的使用比较简单,能有效提升交通监控员的交通事件发现率。     

Extreme value analysis of streamflow time series in Poyang Lake Basin, China

Extreme meteorological and hydrological events may cause major disasters and heavy social and economic losses.Therefore,more and more studies have focused on extreme hydro-meteorological events in various climates and geographic regions.Based on nearly 50 years of observed records of the Poyang Lake Basin,the occurrence and changing trends of extreme streamflow indices,including the annual maximum flow,annual peak-over-threshold flows,and low flows,were analyzed for ten hydrological stations.The results indicate that most annual maximum flows occurred from April to July,highly attributed to the Southeast Asian summer monsoons,whereas the annual minimum flows were concentrated between January and February.As for the low flow indices (the annual minimum flow,annual minimum 7-d flow,and annual minimum 30-d flow),a significant increasing trend was detected in most parts of the Poyang Lake Basin.The trends illustrate the potential effects of climate change and human activities on the hydrological cycle over the Poyang Lake Basin.     

Active fault tolerant control of discrete event systems using online diagnostics

The aim of this paper is to deal with the problem of fault tolerant control in the framework of discrete event systems modeled as automata. A fault tolerant controller is a controller able to satisfy control specifications both in nominal operation and after the occurrence of a fault. This task is solved by means of a parameterized controller that is suitably updated on the basis of the information provided by online diagnostics: the supervisor actively reacts to the detection of a malfunctioning component in order to eventually meet degraded control specifications. Starting from an appropriate model of the system, we recall the notion of safe diagnosability as a necessary step in order to achieve fault tolerant control. We then introduce two new notions: (i) “safe controllability”, which represents the capability, after the occurrence of a fault, of steering the system away from forbidden zones and (ii) “active fault tolerant system”, which is the property of safely continuing operation after faults. Finally, we show how the problem can be solved using a general control architecture based on the use of special kind of diagnoser, called “diagnosing controller”, which is used to safely detect faults and to switch between the nominal control policy and a bank of reconfigured control policies. A simple example is used to illustrate the new notions and the control architecture introduced in the paper.     

Partial order reduction for state/event LTL with application to component-interaction automata

Software systems assembled from a large number of autonomous components become an interesting target for formal verification due to the issue of correct interplay in component interaction. State/event LTL (Chaki et al. (2004, 2005) [1] and [2]) incorporates both states and events to express important properties of component-based software systems.The main contribution of this paper is a partial order reduction technique for verification of state/event LTL properties. The core of the partial order reduction is a novel notion of stuttering equivalence which we call state/event stuttering equivalence. The positive attribute of the equivalence is that it can be resolved with existing methods for partial order reduction. State/event LTL properties are, in general, not preserved under state/event stuttering equivalence. To this end we define a new logic, called weak state/event LTL, which is invariant under the new equivalence.To bring some evidence of the method’s efficiency, we present some of the results obtained by employing the partial order reduction technique within our tool for verification of component-based systems modelled using the formalism of component-interaction automata (Brim et al. (2005) [3]).