Workshop Program

Social Event Information

Mount Saint Helens Volcano Tour

Friday, October 15, 2010, 12 pm – 7 pm

Join us as knowledgeable guides from EcoTours tell us about the “blast zone,” mudflows, pyroclastic flows, biological regeneration and the largest avalanche recorded by man. The immense effects from the eruption of Mount Saint Helens on the surrounding region must be seen to be appreciated. Incredible photo stops including the Johnston Ridge Observatory, which includes exhibits, a 20-minute film, and hiking trails. We will depart from the conference hotel at noon and return to the hotel around 7 pm. A boxed lunch will be provided.

Tentative Program (Subject to change anytime)

October 12 – Tuesday
October 13 – Wednesday
October 14
– Thursday
October 15 – Friday
October 16
– Saturday

5:00 PM-8:00 PM DX Registration ( Plaza Foyer )

7:00 AM-8:00 AM Joint DX and PHM Breakfast ( Grand Ballroom Foyer )

8:00 AM-8:30 AM Free Time

8:30 AM-9:45 AM Invited Speaker DX & PHM (Luminaries Session) ( Grand Ballroom 1 )

9:45 AM-10:00 AM Break ( Grand Ballroom Foyer )

10:00 AM-11:00 AM Invited Speaker DX & PHM (Luminaries Session) ( Grand Ballroom 1 )

11:00 AM-12:00 PM PHM Awards/ DX Free Time

12:00 PM-1:30 PM DX Lunch/Announcements ( Broadway )

1:30 PM-3:00 PM Oral Session 1 ( Broadway Room 1 )

3:00 PM-3:30 PM Break ( Pavilion Ballroom )

3:30 PM-5:00 PM Oral Session 2 ( Broadway Room 1 )

5:00 PM-10:00 PM PHM Dinner / DX only folks on their own

7:30 AM-8:30 AM
DX Breakfast ( Salon Foyer )

8:30 AM-10:30 AM Oral Session 3 ( Salon Ballroom )

10:30 AM-11:00 AM Break ( Salon Foyer )

11:00 AM-12:00 PM Invited Speaker ( Salon Ballroom )

12:00 PM-1:00 PM Lunch ( Salon Foyer )

1:00 PM-2:30 PM Oral Session 4  ( Salon Ballroom )

2:30 PM-3:00 PM Break ( Salon Foyer )

3:00 PM-5:00 PM Poster Session 1 ( Salon Ballroom )

5:00 PM-7:30 PM
Free Time – Prepare for DX Dinner Banquet

7:30 PM-10:00 PM DX Dinner ( South Park )

7:30 AM-8:30 AM DX Breakfast ( Salon Foyer )

8:30 AM-10:00 AM Oral Session
5 ( Salon Ballroom )

10:00 AM-10:15 AM Break ( Salon Foyer )

10:15 AM-11:45 AM DXC Session ( Salon Ballroom )

11:45 AM-12:15 PM Prepare for Bus Tour

12:15 PM-7:00 PM Social Event + Box Lunch ( Bus Tour to Mt. St. Helens )

7:30 AM-8:30 AM
DX Breakfast ( Salon Foyer )

8:30 AM-9:30 AM Oral Session
6 ( Salon Ballroom )

9:30 AM-9:45 AM Break ( Salon Foyer )

9:45 AM-11:30 AM Poster Session 2 ( Salon Ballroom )

11:30 AM-12:30 PM DX Business Meeting ( Salon Ballroom )

Detailed Program

Tuesday, October 12, 2010

5:00 PM – 8:00 PM  DX Registration ( Plaza Foyer ) ( Information )

Wednesday, October 13, 2010

7:00 AM – 8:00 AM  Joint DX and PHM Breakfast ( Grand Ballroom Foyer ) ( Food )
8:00 AM – 8:30 AM  Free Time ( Free Time )

8:30 AM – 9:45 AM  
Invited Speaker DX & PHM (Luminaries Session) ( Grand Ballroom 1 ) ( Special Talk )

8:30 AM – 8:45 AM Luminary Session Introduction
8:45 AM – 9:15 AM Invited Speaker Dr. Sameer Vittal
9:15 AM – 9:45 AM Invited Speaker Dr. Henry Schellhorn
9:45 AM – 10:00 AM  Break ( Grand Ballroom Foyer ) ( Break )

10:00 AM – 11:00 AM  Invited Speaker DX & PHM (Luminaries Session) ( Grand Ballroom 1 ) ( Special Talk )

10:00 AM – 10:30 AM Invited Speaker Dr. Antonio Sanfilippo
10:30 AM – 11:00 AM Plenary Session
11:00 AM – 12:00 PM  >PHM Awards / DX Free Time ( Free Time )
12:00 PM – 1:30 PM  DX Lunch/Announcements ( Broadway ) ( Food )
1:30 PM – 3:00 PM  Oral Session 1 ( Broadway Room 1 ) ( Oral Session )

1:30 PM – 2:00 PM Overcoming Non-Discernibility through Mode-Sequence Analytic Redundancy Relations in Hybrid Diagnosis and Estimation
2:00 PM – 2:30 PM A Diagnosis Algorithm for Inconsistent Constraint Sets
2:30 PM – 3:00 PM Distributed Consistency-Based Diagnosis without Behavior
3:00 PM – 3:30 PM  Break ( Pavilion Ballroom ) ( Break )
3:30 PM – 5:00 PM  Oral Session 2 ( Broadway Room 1 ) ( Oral Session )

3:30 PM – 4:00 PM An Event-based Approach to Distributed Diagnosis of Continuous Systems
4:00 PM – 4:30 PM Reformulation for the Diagnosis of Discrete-Event Systems
4:30 PM – 5:00 PM Fault Free Model Based Approach for Decentralized Fault Detection and Isolation of Discrete Event Systems

 

5:00 PM – 10:00 PM  PHM Dinner / DX only folks on their own ( Food )

Thursday, October 14, 2010

7:30 AM – 8:30 AM  DX Breakfast ( Salon Foyer ) ( Food )
8:30 AM – 10:30 AM  Oral Session 3 ( Salon Ballroom ) ( Oral Session )

8:30 AM – 9:00 AM Diagnosis as Planning Revisited
9:00 AM – 9:30 AM Spectrum-Based Sequential Diagnosis
9:30 AM – 10:00 AM Factoring Dynamic Bayesian Networks using Possible Conflicts
10:00 AM – 10:30 AM Diagnosing Intermittent and Persistent Faults using Static Bayesian Networks

 

10:30 AM – 11:00 AM  Break ( Salon Foyer ) ( Break )
11:00 AM – 12:00 PM  Invited Speaker ( Salon Ballroom ) ( Special Talk )
12:00 PM – 1:00 PM  Lunch ( Salon Foyer ) ( Food )
1:00 PM – 2:30 PM  Oral Session 4 ( Salon Ballroom ) ( Oral Session )

1:00 PM – 1:30 PM A Component-Based Framework for Integrating Design and Diagnosis
1:30 PM – 2:00 PM Diagnosability Analysis Considering Causal Interpretations for Differential Constraints
2:00 PM – 2:30 PM Generalizing diagnosability definition and checking for open systems: a Game structure approach

 

2:30 PM – 3:00 PM  Break ( Salon Foyer ) ( Break )
3:00 PM – 5:00 PM  Poster Session 1 ( Salon Ballroom ) ( Poster Session )

Solving Model-Based Diagnosis Problems with Max-SAT Solvers and Vice Versa
Defining and exploring properties in diagnostic systems
Using distinguishing tests to reduce the number of fault candidates
Computing Energy Efficient Tests using DNNF Graphs
Structural Observability. Application to decompose a System with Possible Conflicts
OPBUS: Automating Structural Fault Diagnosis for Graphical Models in the Design of Business Processes
Contract-based Diagnosis for Business Process Instances using Business Compliance Rules
Fault diagnosis for data input in databases of business process
Event-driven Data Mining Techniques for Automotive Fault Diagnosis
Solving the ADAPT Benchmark Problem – A Student Project Study
On the Way to Automated Belief Repair for Autonomous Robots
Large-scale sensor monitoring and diagnostics in nuclear power plants
Diagnosis of Autosub 6000 using Automatically Generated Software Models

 

5:00 PM – 7:30 PM  Prepare for DX Dinner Banquet ( Free Time )
7:30 PM – 10:00 PM  DX Dinner ( South Park ) ( Food )

Friday, October 15, 2010

7:30 AM – 8:30 AM  DX Breakfast ( Salon Foyer ) ( Food )
8:30 AM – 10:00 AM  Oral Session 5 ( Salon Ballroom ) ( Oral Session )

8:30 AM – 9:00 AM Efficient Optimal Sensor Placement for Structural Model Based Diagnosis
9:00 AM – 9:30 AM A Structural Algorithm for Finding Testable Sub-models and Multiple Fault Isolability Analysis
9:30 AM – 9:00 AM On non-invertibilities for Structural Analysis

 

10:00 AM – 10:15 AM  Break ( Salon Foyer ) ( Break )
10:15 AM – 11:45 AM  DXC Session ( Salon Ballroom ) ( Oral Session )
11:45 AM – 12:15 PM  Prepare for Bus Tour ( Free Time )
12:15 PM – 10:00 PM  Social Event + Box Lunch ( Bus Tour to Mt. St. Helens ) ( Social Event )

Saturday, October 16, 2010

7:30 AM – 8:30 AM  DX Breakfast ( Salon Foyer ) ( Food )
8:30 AM – 9:30 AM  Oral Session 6 ( Salon Ballroom ) ( Oral Session )

8::30 AM – 9:00 AM Sensor and Actuator Fault Isolation Using Parameter Interval based Method for Nonlinear Dynamic Systems
9:00 AM – 9:30 AM Diagnosing Process Trajectories Under Partially Known Behavior

 

9:30 AM – 9:45 AM Break ( Salon Foyer ) ( Break )
9:45 AM – 11:30 AM  Poster Session 2 ( Salon Ballroom ) ( Poster Session )

Diagnosis with Incomplete Models: Diagnosing Hidden Interaction Faults
Towards Partial (and Useful) Model Identification for Model-Based Diagnosis
Synthesis of a distributed and accurate diagnoser
Injecting semantics into diagnosis of discrete-event systems
Diagnosability for Patterns in Distributed Discrete Event Systems
Role-Based Diagnosis for Distributed Vehicle Functions
Foundations for Consistency-based Diagnosis of Systems with Arbitrary, Uncertain Delays
MBD Techniques for Internet Delay Diagnosis
Remote Diagnosis of Timed I/O-Automata
Self-adapting Strategies guided by Diagnosis and Situation Assessment in Collaborative Communicating Systems
Combining Model-Based and Feature-Driven Diagnosis Approaches: A Case Study on Electromechanical Actuators
Diagnostic Modeling and Architecture of Large-Scale Fault-Tolerant Mechatronic Control Systems
11:30 AM – 12:30 PM  DX Business Meeting ( Salon Ballroom ) ( Information )