Day 2Programme_Day_2.html
Day 3Programme_Day_3.html

8:00

  Registration - Foyer Abbrescia

8:45

  Opening Session - Room Abbrescia

9:15

  Plenary 1: Chair: T.L. Johnson  -> Room Abbrescia


          “Real-Time Scheduling and Control of Cluster Tools in Semiconductor Manufacturing”

           
  Mengchu Zhou    (info)


10:15

 
Coffee break - Gallery


10:45

  WM1 -> Room Abbrescia  WM2 -> Room Japigia



10:50 - [50] - Live WS3PR, Ding Liu. ZhiWu Li, MengChu Zhou


11:15 - [51] - Wafer Sojourn Time Fluctuation Caused by Activity Time Variation in Dual-Arm Cluster Tools.  Naiqi Wu,

                        MengChu Zhou


11:40 - [9] - Redundant Tasks in Multitasking Control of Discrete Event Systems. Klaus Schmidt, Jose Eduardo Ribeiro Cury


12:05 - [74] - Design and Verification of Time-Constrained Workflow with Multi-Level Security, Awatef Hicheur, Kamel Barkaoui,

                        Hanifa Boucheneb



10:50 - [11] - Direct Model Checking of PLC Programs in IL, Bastian Schlich, Jörg Brauer, Jörg Wernerus,

                    Stefan Kowalewski


11:15 - [67] - Verification and Validation of Safety Applications based on PLC open Safety Function Blocks using Timed Automata

                    in Uppaal, Doaa Soliman, Georg Frey


11:40 - [23] - Neutral Representation, Visualization and Verification of Logic Controllers Represented by Function Block Diagrams,

                    Stephan Fischer, Sven Lohmann, Sebastian Engell


12:05 - [41] - Verification of Infinite-Step Opacity and Analysis of its Complexity, Anooshiravan Saboori, Christoforos N. Hadjicostis



12:30

 
Lunch - Murat Restaurant


13:45

  WA1 -> Room Abbrescia WA2 -> Room Japigia



13:50 - [16] - Diagnosis of discrete event systems using labeled Petri nets. Maria Paola Cabasino, Alessandro Giua, Carla Seatzu


14:15 - [68] - Part-Whole Hierarchical Modularization of Fault-Tolerant and Goal-Based Autonomic Systems. Luca Pazzi,

                        Marco Pradelli


14:40 - [36] - Monitoring of Temporal Requirements with Stocharts Observation Patterns, Application to a

                        Level Crossing Control System. Mohamed Ghazel, Malek Masmoudi, Armand Toguyéni


15:05 - [72] - Discrete Event Model-Based Approach for Fault Detection and Isolation of Manufacturing Systems.

                        Alexandre Philippot, Moamar Sayed - Mouchaweh, Véronique Carré-Ménétrier, B. Riera

 


13:50 - [69] - Towards Optimal Supervisory Control of Probabilistic Discrete Event Systems. Vera Pantelic, Mark Lawford


14:15 - [10] - Controller Aggregation for Distributed Discrete-Event Supervisors on a Shared-medium Network. Klaus Schmidt


14:40 - [27] - Controllability of (max,+) Formal Power Series. Jan Komenda, Sébastien Lahaye, Jean-Louis Boimond


15:05 - [25] - Max-Plus Algebraic Modeling and Control of High-Throughput Screening Systems- Thomas Brunsch, Jörg Raisch



15:30

 
Coffe break - Gallery


16:00

  WA3 -> Room Abbrescia  WA4 -> Room Japigia



16:05 - [2] - Identification of DES unobservable behaviour by Petri nets. Mariagrazia Dotoli, Maria Pia Fanti, Agostino Marcello

                    Mangini, Walter Ukovich


16:30 - [3] - Determination of distinguishing input sequences for the diagnosis of discrete-event systems. Jan Lunze


16:55 - [32] - Online Diagnosis of Discrete Events Systems based on Petri Nets and Integer Linear Programming, Francesco Basile,

                        Pasquale Chiacchio, Gianmaria De Tommasi


17:20 - [4] - Algebraic Expression of the Structure Function of a subclass of Dynamic Fault Trees, Guillaume Merle,

                    Jean-Marc Roussel, Jean-Jacques Lesage, Andrea Bobbio



16:05 - [22] - Real time Estimation of Supersonic Projectile Roll Angle using Magnetometers: In-lab Experimental Validation,

                        Sebastien Changey, Pecheur Emmanuel, Pierre Wey


16:30 - [45] - Toward Improved Verification and Certification of Legacy Systems, Timothy Johnson, Syed Suhaib


16:55 - [18] - Introduction to Model-based Reliability Evaluation of Wireless Sensor Networks, Claudia Jäggle, Jörg Neidig,

                        Thomas Grosch, Falko Dressler


17:20 - [77] - A Multi-Criteria Economic Evaluation Framework for Control System Configuration – Framework and Case Study,

                        Peng Zhao, Yan Lu, Mohsen Jafari, Davood Golmohammadi



17:45

  End Sessions Day 1