[Newsletter] for March, 2014

                      ON DISCRETE EVENT SYSTEMS

Newsletter......................................... March, 2014

Editor: (Samuel) Qing-Shan Jia
         Chair, IEEE CSS Technical Committee on DES
         Center for Intelligent and Networked Systems
         Department of Automation
         Tsinghua University
         Beijing 100084

         Phone: (+86) 10-6277-3006
         Fax: (+86) 10-6279-6115
         e-mail: jiaqs@tsinghua.edu.cn
         WWW: http://cfins.au.tsinghua.edu.cn/personalhg/jiaqingshan/

It is the responsibility of the contributor to ensure that they have
the necessary permissions/clearance required for the transmittal of
their news item.


1. Editorial

2. Journals
2.1 Selections from the Automatica
    Volume: 50, Issue: 2, February 2014
2.2 Selections from the Discrete Event Dynamic Systems: Theory and Applications
    Volume: 24, Issue: 1, March 2014
2.3 Selections from the IEEE Transactions on Automatic Control
    Volume: 59, Issue: 3, March 2014
2.4 Selections from the International Journal of Control
    Volume: 87, Issue: 6



Welcome to the newsletter of the IEEE Control Systems Technical
Committee on Discrete Event Systems!

Personal note from the editor:





Contributed by: Yulin Lei < leiyl11@mails.tsinghua.edu.cn >

   VOLUME: 50 ISSUE: 2
     FEBRUARY 2014

1) Event-triggered transmission for linear control over communication channels

Fulvio Forni, Sergio Galeani, Dragan Nešić, Luca Zaccarian


We consider an exponentially stable closed loop interconnection between a continuous-time
linear plant and a continuous-time linear controller, and we study the problem of interconnecting
the plant output to the controller input through a digital channel. We propose an
event-triggered transmission policy whose goal is to transmit the measured plant output
information as little as possible while preserving closed-loop stability. Global asymptotic
stability is guaranteed when the plant state is available or when an estimate
of the state is available (provided by a classical continuous-time linear observer). Under further
assumptions, the transmission policy guarantees global exponential stability of the origin.

Web site: http://www.sciencedirect.com/science/article/pii/S0005109813005189

2) Event-based consensus of multi-agent systems with general linear models

Wei Zhu, Zhong-Ping Jiang, Gang Feng


In this paper, the event-based consensus problem of general linear multi-agent
systems is considered. Two sufficient conditions with or without continuous communication
 between neighboring agents are presented to guarantee the consensus. The advantage
 of the event-based strategy is the significant decrease of the number of controller updates
 for cooperative tasks of multi-agent systems involving embedded microprocessors with
 limited on-board resources. The controller updates of each agent are driven by properly
defined events, which depend on the measurement error, the states of its neighboring agents
and an arbitrarily small threshold. It is shown that the controller updates for each agent only
trigger at its own event time instants. A simulation example is presented to illustrate the
 theoretical results.

Web site: http://www.sciencedirect.com/science/article/pii/S0005109813005402

Contributed by: Yulin Lei < leiyl11@mails.tsinghua.edu.cn >

                       VOLUME: 24 ISSUE: 1
                         MARCH 2014

1) Necessary and sufficient conditions for strong comparability of
multicomponent systems

Rosario Delgado, F. Javier López, Gerardo Sanz


In this article we analyze the stochastic comparison of continuous time Markov chains
 with state space E = {0,1,2,...}^N used as models for N−component systems. Although the
conditions for comparability of such processes are known in the theory, they involve a huge
family of sets which makes their checking a difficult task. We show how, under some assumptions
 on the transitions allowed in the chains, the conditions can be greatly simplified, writing them
 in terms of conditions for each component. As an application we give the necessary and
sufficient conditions for the stochastic comparability of two batch-arrival assemble-transfer
queueing networks in terms of conditions for their single stations, improving previous
results on the subject (Economou, J Appl Probab 40:1103–1120, 2003b). We also analyze a
 finite site version of interacting particle systems studied in Borrello (Electron J Probab 16:106–151,


Web site: http://link.springer.com/article/10.1007/s10626-012-0146-y

2) Container of (min, +)-linear systems

Euriell Le Corronc, Bertrand Cottenceau, Laurent Hardouin


Based on the (min,+)-linear system theory, the work developed here takes the set membership
approach as a starting point in order to obtain a container for ultimately pseudo-periodic
 functions representative of Discrete Event Dynamic Systems. Such a container, by approximating
 the exact system, ensures to entirely include it in a guaranteed way. To reach that point, the
 container introduced in this paper is given as an interval, the bounds of which are a convex function
 for the upper approximation and a concave function for the lower approximation. Thanks to the
characteristics of the bounds, the aim is both to reduce data storage (that can be very high when
exact functions are handled) and to reduce the algorithm complexity of the operations of sum,
inf-convolution and subadditive closure. These operations are integrated into inclusion functions,
the algorithms of which are of linear or quasi-linear complexity.

Web site: http://link.springer.com/article/10.1007/s10626-012-0148-9

3) State estimation and detection of changes in time interval models

Philippe Declerck, Abdelhak Guezzi


This paper presents an estimation approach for Time Event Graphs such as P-Time Event
Graphs and Time Stream Event Graphs. It is assumed that the nominal behavior is known
and that transitions are partitioned as observable and unobservable transitions. The technique
is applied to the detection of changes which are (possibly small) finite variations of dynamic
models compared to this nominal behavior. The detected changes provide indications that
can be used in future maintenance operations. Using the algebra of dioids, the approach
uses a receding-horizon estimation of the greatest state and analyzes the consistency of the data.

Web site: http://link.springer.com/article/10.1007/s10626-012-0149-8

4) A stochastic hybrid state model for optimizing hedging policies in manufacturing
systems with randomly occurring defects

Fatima Mhada, Roland Malhamé, Robert Pellerin


The paper addresses the optimal production control problems for an unreliable manufacturing
system that produces items that can be regarded as conforming or nonconforming. A new
stochastic hybrid state Markovian model with three discrete states, also called modes is introduced.
 The first two, operational sound and operational defective are not directly observable, while
the third mode, failure, is observable. Production of defective parts is respectively initiated and
stopped at the random entrance times to and departure times from the defective operational mode.
 The intricate, piecewise-deterministic dynamics of the model are studied, and the associated
Kolmogorov equations are developed under the suboptimal class of hedging policies. The behavior
 of the model is numerically investigated, optimized under hedging policies, and subsequently
compared to that of a tractable extension of the two-mode Bielecki-Kumar single machine model,
where both conforming and defective parts are simultaneously produced in the operational mode,
while the ratio of produced non conforming to conforming parts remains fixed.

Web site: http://link.springer.com/article/10.1007/s10626-013-0160-8

Contributed by: Yulin Lei < leiyl11@mails.tsinghua.edu.cn >

                VOLUME: 59 ISSUE: 3
                  MARCH 2014

1) Output Synchronization of Networked Passive Systems With Event-Driven Communication

Han Yu , Antsaklis, P.J.


In this note, we study the output synchronization problem of networked passive systems
 with event-driven communication, in which the information exchange among the coupled agents
 are event-based rather than pre-scheduled periodically. We propose a setup for the interconnected
agents to achieve output synchronization with event-driven communication in the presence of
constant communication delays. The results presented here are important extensions of applying
event-driven communication to control of multi-agent systems, especially when it is difficult to
derive a common upper bound on the admissible network induced delays, or when the network
 induced delays between coupled agents are larger than the inter-event time implicitly determined
 by the event-triggering condition.

Web site: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6567909

Contributed by: Yulin Lei < leiyl11@mails.tsinghua.edu.cn >

            VOLUME: 87 ISSUE: 6

1) Consensus of linear multi-agent systems via event-triggered control

Zhiqiang Zhang, Fei Hao, Lin Zhang, Long Wang


This paper proposes an event-triggered control for multi-agent systems in which all agents
have an identical linear dynamic mode. The asynchronous event-triggered control algorithms
 are proposed based on the triggering time sequences of all agents. The main contribution of this
paper is to extend the event-triggered control method to investigate general linear multi-agent
systems. First, by applying variable substitution method, we give the asynchronous triggering
conditions. Based on the conditions, the consensus can be achieved both under fixed and
switching topologies. Meanwhile, all the proposed event-triggered algorithms can exclude Zeno
behaviours of the closed-loop systems. Then, the asynchronous results are applied to cope with
 formation control problem. Finally, numerical simulations are presented to illustrate the effectiveness
 of the part event-triggered protocol designs.

Web site: http://www.tandfonline.com/doi/full/10.1080/00207179.2013.873952


                                The End