[Newsletter] for July, 2013

 

 

 

           IEEE CONTROL SYSTEMS SOCIETY TECHNICAL COMMITTEE

 

                      ON DISCRETE EVENT SYSTEMS

 

 

 

Newsletter......................................... July, 2013

 

 

 

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

 

         China

 

 

 

         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.

 

_.___________________________________________________________________._

 

 

 

Contents:

 

 

 

1. Editorial

 

 

 

2. Announcement

 

         2.1 WODES 2014 call for papers

 

 

 

3. Journals

 

  3.1 Selections from the Automatica

 

          Volume: 49, Issue: 8, August 2013

 

  3.2 Selections from the IEEE Transactions on Automatic Control

 

          Volume: 58, Issue: 7, July 2013

 

  3.3 Selections from the IEEE Transactions on Automation Science and Engineering

 

          Volume: 10, Issue: 3, July 2013

 

 

 

 

 

_.___________________________________________________________________._

 

 

 

                                                           Editorial

 

_.___________________________________________________________________._

 

 

 

Welcome to the newsletter of the IEEE Control Systems Technical

 

Committee on Discrete Event Systems!

 

 

 

Personal note from the editor:

 

 

 

Welcome to the JULy 2013 newsletter.

 

 

 

Samuel

 

 

 

 

 

_.___________________________________________________________________._

 

 

 

                                                     Announcements

 

_.___________________________________________________________________._

 

Contributed by: Jean-Jacques Lesage < Jean-Jacques.lesage@lurpa.ens-cachan.fr>

 

 

 

12th IFAC International Workshop on Discrete Event Systems

 

WODES’14

 

May 14-16, 2014, Paris - Cachan, France

 

http://wodes2014.lurpa.ens-cachan.fr

 

CALL FOR PAPERS

 

 

 

(Apologies for multiple copies of this announcement)

 

 

 


Program Committee Chairs


Jean-Jacques Lesage (France)


José E. Ribeiro Cury (Brazil)


Bengt Lennartson (Sweden)


Steering Committee


Xiren Cao (China)


Christos Cassandras (USA)


Stephane Lafortune (USA), Chair


Bengt Lennartson (Sweden)


Jean-Jacques Lesage (France)


Jörg Raisch (Germany)


Antonio Ramírez-Treviño (Mexico)


Organizing Committee Chair


Jean-Marc Faure (France)


Important Dates


Special sessions proposal:


October 11, 2013


Paper submission:


November 8, 2013


Paper acceptance notification:


February 13, 2014


Final paper submission:


March 13, 2014


Conference Fees


• Early registration fee: 550 €


• Student registration fee: 350 €


• Early reg. deadline: April 1, 2014


• Late registration fee surcharge: 100 €


Standard registration fees include lunches, coffee breaks and a banquet to take place in a typical Parisian place


Best student paper


A best paper award will be granted to a MS or PhD student who signs the paper as the first author


and presents the paper during the workshop.

 

Aims and scope

 

The interdisciplinary field of Discrete Event Systems (DES) combines different

 

formalisms, methodologies and tools from control, computer science and operations

 

 research. The research activity in this field is driven by the needs of many different

 

applications domains: manufacturing, process control, supervisory systems, software

 

engineering, transportation, and so on. Discrete Event Systems is now a mature field

 

 and many interesting applications have been developed. This 12th International

 

Workshop on Discrete Event Systems will be hosted at ENS Cachan, France. It aims

 

 to provide researchers from different fields (control theoreticians and control engineers,

 

 software engineers and computer scientists, operations research specialists) with an

 

opportunity to exchange information and new ideas, and to discuss new developments

 

in the field of DES theory and applications.

 

Topics

 

The workshop will cover all topics related to Discrete Event Systems theory and

 

applications, including (but not limited to) the following:

 

    • Formalisms and modeling methodologies: Petri nets, automata, statecharts,

 

process algebras, max-plus algebra, queuing networks…

 

    • Control of discrete-event systems with emphasis on supervisory control and on real time control

 

    • Performance evaluation, optimization and scheduling

 

    • Diagnosis, fault detection, test, identification

 

    • Discrete approaches for hybrid systems

 

    • Applications including manufacturing systems, transportation systems,

 

power production, distributed systems, software engineering, home automation,

 

workflow, protocols, telecommunication systems, biological systems…

 

    • Automation methods and software tools enabling efficient handling of industrial-sized systems

 

    • Computer tools for DES modeling, synthesis, analysis…

 

Paper Submission and Publication

 

Prospective participants are invited to electronically submit full papers of their

 

work following the instructions on the website. Conference proceedings will be

 

published online on the IFAC-PapersOnline website and will receive an ISBN number

 

and the ISSN number of series. The presented papers will be further screened for

 

possible publications in IFAC Journals.

 

Contributions must be not published or submitted to other conferences/journals

 

 before or parallel to this workshop. They should clearly state the problem

 

being addressed, the goal of the work and the results achieved.

 

 

 

 

 

_.___________________________________________________________________._

 

 

 

                                Journals

 

_.___________________________________________________________________._

 

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

 

 

 

Selections from the Automatica

 

                                                        Volume: 49 Issue: 8

 

august 2013

 

 

 

1)      

Optimal sensor selection for ensuring diagnosability in labeled Petri nets

 

 

 

Maria Paola Cabasinoa, Stéphane Lafortuneb, Carla Seatzu

 

 

 

Abstract:

 

 

 

This paper studies the problem of optimal static sensor selection for ensuring

 

diagnosability in labeled bounded and unbounded Petri nets. Starting from a

 

non-diagnosable labeled Petri net system, we present a systematic procedure to

 

design a new labeling function that makes the system diagnosable and optimizes

 

a given objective function. This procedure employs a particular net, called Verifier

 

Net, that is built from the original Petri net and provides necessary and sufficient

 

conditions for diagnosability. We exploit the system structure captured in the

 

verifier net to guide the search for the desired new labeling function. The search

 

 is performed over an unfolding of the reachability/coverability tree of the verifier

 

net and follows a set of rules that capture the relabeling strategy. We allow for

 

unobservable transitions that cannot be labeled as well as for multiple fault classes.

 

 We formulate an integer linear programming problem that finds an optimal

 

labeling function when numerical costs are associated with transition relabeling.

 

 

 

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

 

 

 

 

 

_.___________________________________________________________________._

 

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

 

 

 

Selections from the IEEE Transactions on Automatic Control

 

                                             Volume: 58 Issue: 7

 

                                                      july 2013

 

 

 

1)      

Event Triggered Adaptive Differential Modulation: A New Method

 

for Traffic Reduction in Networked Control Systems

 

 

 

Premaratne, U. ; Halgamuge, S.K. ; Mareels, I.M.Y.

 

 

 

Abstract:

 

 

 

Congestion in a networked control system (NCS) has many undesirable effects

 

that can make a control system unstable if severe enough. These include delays

 

 and packet drops. Therefore, reducing network traffic, including traffic generated

 

by the NCS itself is a necessity. In event based control (EBC) a control signal is generated

 

 when a specific event is triggered such as the control error exceeding a predetermined

 

threshold. When the rate of change of a variable is bounded, event triggering reduces

 

the effective frequency in which control signals have to be generated when compared

 

to a system with periodic sampling. This paper proposes a new method of event triggering

 

 called event triggered adaptive differential modulation (ETADM) that combines the

 

bandwidth reduction strategies of event triggering and human speech coding techniques.

 

The proposed method can be applied to nonlinear systems with a stabilizing feedback.

 

 In addition, it can be shown to be robust to packet drops. Stability for this method

 

 can be analyzed in terms of input to state stability (ISS) for a given bound of the signal

 

 reconstruction error.

 

 

 

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

 

 

 

 

 

_.___________________________________________________________________._

 

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

 

 

 

IEEE Transactions on Automation Science and Engineering

 

                                             Volume: 10 Issue: 3

 

                                                      july 2013

 

 

 

1)      

Building Energy Management: Integrated Control of Active and

 

Passive Heating, Cooling, Lighting, Shading, and Ventilation Systems

 

 

 

Sun, B.; Luh, P.B. ; Jia, Q.-S. ; Jiang, Z.

 

 

 

Abstract:

 

 

 

Buildings account for nearly 40% of global energy consumption. About 40% and 15%

 

 of that are consumed, respectively, by HVAC and lighting. These energy uses can be

 

reduced by integrated control of active and passive sources of heating, cooling, lighting,

 

shading and ventilation. However, rigorous studies of such control strategies are

 

lacking since computationally tractable models are not available. In this paper, a

 

novel formulation capturing key interactions of the above building functions is

 

established to minimize the total daily energy cost. To obtain effective integrated

 

strategies in a timely manner, a methodology that combines stochastic dynamic

 

programming (DP) and the rollout technique is developed within the price-based

 

coordination framework. For easy implementation, DP-derived heuristic rules are

 

developed to coordinate shading blinds and natural ventilation, with simplified

 

optimization strategies for HVAC and lighting systems. Numerical simulation results

 

 show that these strategies are scalable, and can effectively reduce energy costs

 

and improve human comfort.

 

 

 

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

 

 

 

 

 

2)      

Smart Management of Multiple Energy Systems in Automotive Painting Shop

 

 

 

Xu, Z. ; Jia, Q.-S. ; Guan, X. ; Shen, J.

 

 

 

Abstract:

 

 

 

Automotive painting shops consume electricity and natural gas to provide the

 

required temperature and humidity for painting processes. The painting shop is not

 

only responsible for a significant portion of energy consumption with automobile

 

manufacturers, but also affects the quality of the product. Various storage devices play

 

 a crucial role in the management of multiple energy systems. It is thus of great

 

practical interest to manage the storage devices together with other energy systems

 

 to provide the required environment with minimal cost. In this paper, we formulate

 

 the scheduling problem of these multiple energy systems as a Markov decision

 

process (MDP) and then provide two approximate solution methods. Method 1 is

 

 dynamic programming with value function approximation. Method 2 is mixed integer

 

programming with mean value approximation. The performance of the two methods is

 

demonstrated on numerical examples. The results show that method 2 provides good

 

 solutions fast and with little performance degradation comparing with method 1.

 

Then, we apply method 2 to optimize the capacity and to select the combination

 

of the storage devices, and demonstrate the performance by numerical examples.

 

 

 

Web sites: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6418062

 

 

 

 

 

3)      

Noncyclic Scheduling for Timed Discrete-Event Systems With Application

 

to Single-Armed Cluster Tools Using Pareto-Optimal Optimization

 

 

 

Wikborg, U. ;  Lee, T.-E.

 

 

 

Abstract:

 

 

 

Recently, semiconductor manufacturing fabs tend to reduce the wafer lot size,

 

down to just a few. Consequently, the wafer recipe or wafer flow pattern changes

 

frequently. For such problems, it is impossible to apply conventional prevalent

 

cyclic scheduling methods that repeat processing of wafers in an identical cyclic

 

tool operation sequence. We therefore consider the noncyclic scheduling problem

 

of single-armed cluster tools that process wafers with different recipes.

 

 

 

Web sites: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6332550

 

 

 

 

 

4)      

An Optimization Approach to Improved Petri Net Controller Design for

 

Automated Manufacturing Systems

 

 

 

Hu, H. ; Zhou, M.C. ; Li, Z. ; Tang, Y.

 

 

 

Abstract:

 

 

 

Sensors and actuators are two indispensable parts in the paradigm of feedback control.

 

 Their implementation cost should be properly evaluated and constrained. In the previous

 

work, a Petri net monitor with the least cost is synthesized through integer programming

 

 formulation. Despite its technical correctness, the existing method may lead to undesirable

 

 results when the net structure contains some shared or unshared resource places of a

 

manufacturing-oriented net model. A necessary and sufficient condition is established

 

to show that certain structures can lead to deadlock-prone supervisors. An efficient

 

algorithm is developed to identify such structures. Furthermore, it is shown that if one

 

can identify such structures at the initial stage, it is possible to achieve desirable controllers

 

 for the original systems. The theoretical correctness of the proposed algorithm is

 

discussed. A manufacturing example is provided to illustrate the proposed approach.

 

 

 

Web sites: http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6244818

 

 

 

 

 

_.___________________________________________________________________._

 

 

 

                                                           The End

 

_.___________________________________________________________________._