Discrete Event Dynamic Systems, Volume 15

Volume 15, Number 1, March 2005

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

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

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

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

Last update Tue Feb 14 04:16:48 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page