8:00
8:45
9:15
“Real-Time Scheduling and Control of Cluster Tools in Semiconductor Manufacturing”
10:15
10:45
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
13:45
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
16:00
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
