2009 IEEE International Conference on
Systems, Man, and Cybernetics
Home
Session: Discrete Event Systems and Petri Nets II
Date/Time: Tuesday, 13 October 2009 / 03:30pm – 04:50pm
Venue: Room 14
Chair(s): Gary Alan Bundell/Ying Tang
Time 03:30 – 03:42
[P561]
Aspects of the Safety Analysis of an On-board Automatic Train Operation Supervisor
Author(s):
Gary Alan Bundell
Time 03:42 – 03:54
[P1002]
Formal Modeling and Synthesis of State-Transferring Communication among Decentralized Supervisors for Discrete-Event Systems
Author(s):
Amin Mannani, peyman gohari
Time 03:54 – 04:06
[P1141]
Formal Modeling and Synthesis of Event-Transferring Communication among Decentralized Supervisors for Discrete-Event Systems
Author(s):
Amin Mannani, peyman gohari
Time 04:06 – 04:18
[P770]
Game Theoretic Validation of Air Combat Simulation Models
Author(s):
Kai Matti Virtanen
Time 04:18 – 04:30
[P1081]
A Conceptual Model for a Value-Driven Learning Healthcare System
Author(s):
Ying Tang
Time 04:30 – 04:42
[P948]
A consistency based approach to deal with modeling errors and process failures in D.E.S
Author(s):
Carmen lopez varela, Audine Subias, Michel Combacau