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