![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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
, 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
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
, Francisco José Morant Anglada
, Eduardo Quiles
, 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
Volume 15, Number 4, December 2005
- 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, Walter 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, Erik I. Verriest:
Optimal Control of Switching Surfaces in Hybrid Dynamical Systems. 433-448
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.