[Newsletter] for July, 2013






                      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






         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. 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
















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.


















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




12th IFAC International Workshop on Discrete Event Systems




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








(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.




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.














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




Selections from the Automatica


                                                        Volume: 49 Issue: 8


august 2013





Optimal sensor selection for ensuring diagnosability in labeled Petri nets




Maria Paola Cabasinoa, Stéphane Lafortuneb, Carla Seatzu








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





Event Triggered Adaptive Differential Modulation: A New Method


for Traffic Reduction in Networked Control Systems




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








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





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.








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







Smart Management of Multiple Energy Systems in Automotive Painting Shop




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








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







Noncyclic Scheduling for Timed Discrete-Event Systems With Application


to Single-Armed Cluster Tools Using Pareto-Optimal Optimization




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








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







An Optimization Approach to Improved Petri Net Controller Design for


Automated Manufacturing Systems




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








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