Model Checking of Time Petri Nets Using the State Class Timed Automaton Didier LimeOlivier H. Roux OriginalPaper 05 May 2006 Pages: 179 - 205
A Generalized Kalman Filter for Fixed Point Approximation and Efficient Temporal-Difference Learning David ChoiBenjamin Van Roy OriginalPaper 05 May 2006 Pages: 207 - 239
Modeling and Control of Hybrid Timed Event Graphs with Multipliers Using (Min, +) Algebra S. HamaciJ.-L. BoimondS. Lahaye OriginalPaper 05 May 2006 Pages: 241 - 256
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation Shigemasa TakaiToshimitsu Ushio OriginalPaper 05 May 2006 Pages: 257 - 278
Constrained Ordinal Optimization—A Feasibility Model Based Approach Xiaohong GuanChen SongQianchuan Zhao OriginalPaper 05 May 2006 Pages: 279 - 299
Special Issue of Discrete Event Dynamic System: “Discrete Event Methodologies for Hybrid Systems” Call for Papers 05 May 2006 Pages: 305 - 305