default search action
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
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 - Kurt Rohloff
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
Contributing Authors. 199-200
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 - Emilio García, Antonio Correcher Salvador
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
Volume 15, Number 4, December 2005
- Jeffrey Ashley, Lawrence E. Holloway:
An Equivalent CTL Formulation for Condition Sequences. 333-348 - Alessandro Giua
Control of Safe Ordinary Petri Nets Using Unfolding. 349-373 - Max H. Queiroz
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, Erik I. Verriest:
Optimal Control of Switching Surfaces in Hybrid Dynamical Systems. 433-448
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-08 01:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: