Discrete Event Dynamic Systems, Volume 15

Volume 15, Number 1, March 2005

• René K. Boel, Philippe Darondeau, Sadatoshi Kumagai:
  Foreword. 5-6
  Electronic Edition (link) BibTeX
• Shigemasa Takai, Toshimitsu Ushio:
  Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation. 7-32
  Electronic Edition (link) BibTeX
• Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard:
  Distributed Monitoring of Concurrent and Asynchronous Systems*. 33-84
  Electronic Edition (link) BibTeX
• Alessandro Giua, Daniele Corona, Carla Seatzu:
  State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*. 85-108
  Electronic Edition (link) BibTeX
• Shigemasa Takai, Toshimitsu Ushio, Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Alessandro Giua, Daniele Corona, Carla Seatzu:
  Contributing Authors. 109-112
  Electronic Edition (link) BibTeX

Volume 15, Number 2, June 2005

• Yiping Cheng, Da-Zhong Zheng:
  Min-Max Inequalities and the Timing Verification Problem with Max and Linear Constraints. 119-143
  Electronic Edition (link) BibTeX
• Kurt Rohloff, Stéphane Lafortune:
  PSPACE-completeness of Modular Supervisory Control Problems*. 145-167
  Electronic Edition (link) BibTeX
• Xi-Ren Cao:
  Basic Ideas for Event-Based Optimization of Markov Systems. 169-197
  Electronic Edition (link) BibTeX
• Yiping Cheng, Da-Zhong Zheng, Kurt Rohloff, Stéphane Lafortune, Xi-Ren Cao:
  Contributing Authors. 199-200
  Electronic Edition (link) BibTeX

Volume 15, Number 3, September 2005

• Felisa J. Vázquez-Abad, Lourdes Zubieta:
  Ghost Simulation Model for the Optimization of an Urban Subway System. 207-235
  Electronic Edition (link) BibTeX
• Emilio García, Antonio Correcher Salvador, Francisco Morant, Eduardo Quiles Cucarella, Ramón Blasco Giménez:
  Modular Fault Diagnosis Based on Discrete Event Systems. 237-256
  Electronic Edition (link) BibTeX
• Jan Komenda, Jan H. van Schuppen:
  Control of Discrete-Event Systems with Partial Observations Using Coalgebra and Coinduction. 257-315
  Electronic Edition (link) BibTeX

Volume 15, Number 4, December 2005

• Jeffrey Ashley, Lawrence E. Holloway:
  An Equivalent CTL Formulation for Condition Sequences. 333-348
  Electronic Edition (link) BibTeX
• Alessandro Giua, Xiaolan Xie:
  Control of Safe Ordinary Petri Nets Using Unfolding. 349-373
  Electronic Edition (link) BibTeX
• Max H. Queiroz, José E. R. Cury, W. Murray Wonham:
  Multitasking Supervisory Control of Discrete-Event Systems. 375-395
  Electronic Edition (link) BibTeX
• Ahmed Khoumsi:
  A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems. 397-431
  Electronic Edition (link) BibTeX
• Mauro Boccadoro, Yorai Wardi, Magnus Egerstedt, E. Verriest:
  Optimal Control of Switching Surfaces in Hybrid Dynamical Systems. 433-448
  Electronic Edition (link) BibTeX