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