Event-Triggered Finite-Time H∞ Filtering for Discrete-Time Nonlinear Stochastic Systems

This paper addresses the problem of event-triggered finite-time H∞ filter design for a class of discrete-time nonlinear stochastic systems with exogenous disturbances. The stochastic Lyapunov-Krasoviskii functional method is adopted to design a filter such that the filtering error system is stochastic finite-time stable (SFTS) and preserves a prescribed performance level according to the pre-defined event-triggered criteria. Based on stochastic differential equations theory, some sufficient conditions for the existence of H∞ filter are obtained for the suggested system by employing linear matrix inequality technique. Finally, the desired H∞ filter gain matrices can be expressed in an explicit form.

Poisson theory and integration method of Birkhoffian systems in the event space

This paper focuses on studying the Poisson theory and the integration method of a Birkhoffian system in the event space. The Birkhoff＇s equations in the event space are given. The Poisson theory of the Birkhoffian system in the event space is established. The definition of the Jacobi last multiplier of the system is given, and the relation between the Jacobi last multiplier and the first integrals of the system is discussed. The researches show that for a Birkhoffian system in the event space, whose configuration is determined by （2n ＋ 1） Birkhoff＇s variables, the solution of the system can be found by the Jacobi last multiplier if 2n first integrals are known. An example is given to illustrate the application of the results.

Discrete Event System Framework for Fault Diagnosis with Measurement Inconsistency:Case Study of Rogue DHCP Attack

Fault detection and diagnosis(FDD) facilitates reliable operation of systems. Various approaches have been proposed for FDD like Analytical redundancy(AR), Principal component analysis(PCA), Discrete event system(DES) model etc., in the literature. Performance of FDD schemes greatly depends on accuracy of the sensors which measure the system parameters.Due to various reasons like faults, communication errors etc.,sensors may occasionally miss or report erroneous values of some system parameters to FDD engine, resulting in measurement inconsistency of these parameters. Schemes like AR, PCA etc.,have mechanisms to handle measurement inconsistency, however,they are computationally heavy. DES based FDD techniques are widely used because of computational simplicity, but they cannot handle measurement inconsistency efficiently. Existing DES based schemes do not use Measurement inconsistent(MI)parameters for FDD. These parameters are not permanently unmeasurable or erroneous, so ignoring them may lead to weak diagnosis. To address this issue, we propose a Measurement inconsistent discrete event system(MIDES) framework, which uses MI parameters for FDD at the instances they are measured by the sensors. Otherwise, when they are unmeasurable or erroneously reported, the MIDES invokes an estimator diagnoser that predicts the state(s) the system is expected to be in, using the subsequent parameters measured by the other sensors. The efficacy of the proposed method is illustrated using a pumpvalve system. In addition, an MIDES based intrusion detection system has been developed for detection of rogue dynamic host configuration protocol(DHCP) server attack by mapping the attack to a fault in the DES framework.

Conformal invariance and Noether symmetry, Lie symmetry of holonomic mechanical systems in event space

This paper is devoted to studying the conformal invariance and Noether symmetry and Lie symmetry of a holonomic mechanical system in event space. The definition of the conformal invariance and the corresponding conformal factors of the holonomic system in event space are given. By investigating the relation between the conformal invariance and the Noether symmetry and the Lie symmetry, expressions of conformal factors of the system under these circumstances are obtained, and the Noether conserved quantity and the Hojman conserved quantity directly derived from the conformal invariance are given. Two examples are given to illustrate the application of the results.

Single-event effects induced by medium-energy protons in 28 nm system-on-chip

Single-event effects(SEEs)induced by mediumenergy protons in a 28 nm system-on-chip(SoC)were investigated at the China Institute of Atomic Energy.An on-chip memory block was irradiated with 90 MeV and 70 MeV protons,respectively.Single-bit upset and multicell upset events were observed,and an uppermost number of nine upset cells were discovered in the 90 MeV proton irradiation test.The results indicate that the SEE sensitivities of the 28 nm SoC to the 90 MeV and 70 MeV protons were similar.Cosmic Ray Effects on Micro-Electronics Monte Carlo simulations were analyzed,and it demonstrates that protons can induce effects in a 28 nm SoC if their energies are greater than 1.4 MeV and that the lowest corresponding linear energy transfer was 0.142 MeV cm^2 mg^-1.The similarities and discrepancies of the SEEs induced by the 90 MeV and 70 MeV protons were analyzed.

PC synchronization of a class of chaotic systems via event-triggered control

The PC synchronization of a class of chaotic systems is investigated in this paper. The drive system is assumed to have only one state variable available. By constructing proper observers, some novel criteria for PC synchronization are proposed via event-triggered control scheme. The Lii system and Chen system are taken as examples to demonstrate the efficiency of the proposed approach.

Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems

A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especially the deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem.

The Relation between the Stabilization Problem for Discrete Event Systems Modeled with Timed Petri Nets via Lyapunov Methods and Max-Plus Algebra

A discrete event system is a dynamical system whose state evolves in time by the occurrence of events at possibly irregular time intervals. Timed Petri nets are a graphical and mathematical modeling tool applicable to discrete event systems in order to represent its states evolution where the timing at which the state changes is taken into consideration. One of the most important performance issues to be considered in a discrete event system is its stability. Lyapunov theory provides the required tools needed to aboard the stability and stabilization problems for discrete event systems modeled with timed Petri nets whose mathematical model is given in terms of difference equations. By proving stability one guarantees a bound on the discrete event systems state dynamics. When the system is unstable, a sufficient condition to stabilize the system is given. It is shown that it is possible to restrict the discrete event systems state space in such a way that boundedness is achieved. However, the restriction is not numerically precisely known. This inconvenience is overcome by considering a specific recurrence equation, in the max-plus algebra, which is assigned to the timed Petri net graphical model.

Optimal switching policy for performance enhancement of distributed parameter systems based on event-driven control

This paper aims to improve the performance of a class of distributed parameter systems for the optimal switching of actuators and controllers based on event-driven control. It is assumed that in the available multiple actuators, only one actuator can receive the control signal and be activated over an unfixed time interval, and the other actuators keep dormant. After incorporating a state observer into the event generator, the event-driven control loop and the minimum inter-event time are ultimately bounded. Based on the event-driven state feedback control, the time intervals of unfixed length can be obtained. The optimal switching policy is based on finite horizon linear quadratic optimal control at the beginning of each time subinterval. A simulation example demonstrate the effectiveness of the proposed policy.

Hybrid event based control architecture for tele-robotic systems controlled through Internet

A new hybrid event based control architecture for tele-robotic systems controlled through the Internet is pro-posed in this paper. Different from the traditional event based control method, the new framework does not require every part of the system to be strictly event synchronized. Instead, it allows time referenced control components to be integrated into this framework, which makes it more convenient to develop Internet based control systems. Since there are two reference variables, time and event, in this architecture, how to coordinate these components with different references to keep the stability of the whole system is discussed in detail in this paper. To verify this new idea, an experiment was conducted to control the end effector of a PUMA robot tracking a continuous state trajectory given on-line by the remote operator. Ex-perimental results confirmed the stability of such systems being controlled through the Internet in real-time.

PARAMETRIC EQUATIONS OF NONHOLONOMIC NONCONSERVATIVE SYSTEMS IN THE EVENT SPACE AND THE METHOD OF THEIR INTEGRATION

In this paper,the parametric equations with multipliers of nonholonomic nonconservative sys- tems in the event space are established,their properties are studied,and their explicit formulation is obtained. And then the field method for integrating these equations is given.Finally,an example illustrating the appli- cation of the integration method is given.

Detectability for Nondeterministic Discrete Event Systems and Its Applications in Medical Diagnosis

In this paper,we extend our previous results on detectability to nondeterministic discrete event systems.Many practical systems are nondeterministic,especially those in biomedicine.Disease models of patients are usually nondeterministic because hardly anything is deterministic in biological systems.The goal is to determine or estimate the current and subsequent states of a system based on a sequence of observations when the initial state of the system is unknown.We say that a system is detectable if one can determine its state after observing some outputs.The observation includes partial event observation and/or partial state observation.We define four types of detectabilities:strong detectability,(weak) detectability,strong periodic detectability,and (weak) periodic detectability.We derive necessary and sufficient conditions for these detectabilities.These conditions can be checked by constructing an observer,which models the estimation of states under different observation.Furthermore,we apply the results to medical diagnosis by considering a realistic example of diagnosing whether a patient suffers from one of the following five similar diseases:(1) rheumatoid arthritis,(2) rheumatic arthritis,(3) systemic lupus eruthematosus,(4) bony ankylosis,or (5) spondylitis ankylopoietica.

Routh method of reduction for Birkhoffian systems in the event space

For a Birkhoffian system in the event space, this paper presents the Routh method of reduction. The parametric equations of the Birkhoffian system in the event space are established, and the definition of cyclic coordinates for the system is given and the corresponding cyclic integral is obtained. Through the cyclic integral, the order of the system can be reduced. The Routh functions for the Birkhoffian system in the event space are constructed, and the Routh method of reduction is successfully generalized to the Birkhoffian system in the event space. The results show that if the system has a cyclic integral, then the parametric equations of the system can be reduced at least by two degrees and the form of the equations holds. An example is given to illustrate the application of the results.

Intrusion Detection System for PS-Poll DoS Attack in 802.11 Networks Using Real Time Discrete Event System

Wi-Fi devices have limited battery life because of which conserving battery life is imperative. The 802.11 Wi-Fi standard provides power management feature that allows stations(STAs) to enter into sleep state to preserve energy without any frame losses. After the STA wakes up, it sends a null data or PS-Poll frame to retrieve frame(s) buffered by the access point(AP), if any during its sleep period. An attacker can launch a power save denial of service(PS-DoS) attack on the sleeping STA(s) by transmitting a spoofed null data or PS-Poll frame(s) to retrieve the buffered frame(s) of the sleeping STA(s) from the AP causing frame losses for the targeted STA(s). Current approaches to prevent or detect the PS-DoS attack require encryption,change in protocol or installation of proprietary hardware. These solutions suffer from expensive setup, maintenance, scalability and deployment issues. The PS-DoS attack does not differ in semantics or statistics under normal and attack circumstances.So signature and anomaly based intrusion detection system(IDS) are unfit to detect the PS-DoS attack. In this paper we propose a timed IDS based on real time discrete event system(RTDES) for detecting PS-DoS attack. The proposed DES based IDS overcomes the drawbacks of existing systems and detects the PS-DoS attack with high accuracy and detection rate. The correctness of the RTDES based IDS is proved by experimenting all possible attack scenarios.

Topology-Based and Event-Oriented Approach to Simulation of Cyber-Physical Systems

A simulation model for cyber-physical systems(CPSs)was presented.The model was developed by the method of combination of topology-based and event-oriented that could be used to simulate systems with routing flexibility,service-selection flexibility and service- mode flexibility overall by integrating the strategies related.The validity of the model has been verified by two extensive experiments.

Hojman conserved quantity for nonholonomic systems of unilateral non-Chetaev type in the event space

Hojman conserved quantities deduced from the special Lie symmetry, the Noether symmetry and the form invariance for a nonholonomic system of the unilateral non-Chetacv type in the event space are investigated. The differential equations of motion of the system above are established. The criteria of the Lie symmetry, the Noether symmetry and the form invariance are given and the relations between them are obtained. The Hojman conserved quantities are gained by which the Hojman theorem is extended and applied to the nonholonomic system of the unilateral non-Chetacv type in the event space. An example is given to illustrate the application of the results.

Decentralized supervisory control of continuous timed discrete event systems

In this paper,we presented the decentralized supervisory control problem of discrete event system with continuous-time variable.By presenting the definition of coobservability for the timed specification,a necessary and sufficient condition for the existence of decentralized supervisors is obtained.Finally,a numerical example is given.

Supervisory Control of Fuzzy Discrete Event Systems Based on Agent

FDES(fuzzy discrete event systems) can effectively represent a kind of complicated systems involving deterministic uncertainties and vagueness as well as human subjective observation and judgement from the view of discrete events, here the information system is divided into some independent intelligent entitative Agents. The concept of information processing state based on Agents was proposed. The processing state of Agent can be judged by some assistant observation parameters about the Agent and its environment around, and the transition among these states can be represented by FDES based on rules. In order to ensure the harmony of the Agents for information processing, its upstream and downstream buffers are considered in the modeling of the Agent system, and the supervisory controller based on FDES is constructed. The processing state of Agent can be adjusted by the supervisory controller to improve the stability of the system and the efficiency of resource utilization during the process according to the control policies. The result of its application was provided to illustrate the validity of the supervisory adjustment.

An Event Alarm System Based on Single and Group Human Behavior Analysis

Due to the increasing demand for security, the development of intelligent surveillance systems has attracted considerable attention in recent years. This study aims to develop a system that is able to identify whether or not the people need help in a public place. Different from previous work, our work considers not only the behaviors of the target person but also the interaction between him and nearby people. In the paper, we propose an event alarm system which can detect the human behaviors and recognize the happening event through integrating the results generated from the single and group behavior analysis. Several new effective features are proposed in the study. Besides, a mechanism capable of extracting one-to-one and multiple-to-one relations is also developed. Experimental results show that the proposed approach can correctly detect human behaviors and provide the alarm messages when emergency events occur.

Modelling Problems of Hybrid Event Systems

This paper discusses the mathematical description of hybrid event systems, consisting of continuous, discrete, even logic-judgment and inference-decision event systems. The description takes events as its core, and information interconnection as its tie. In this paper, an event, instead of a process, is regarded as an analyzed element. The hybrid event systems are described in mathematical models with the following tools: chains of time, generalized space and interconnecting information.