Discrete Event Dynamic Systems, Volume 17

Volume 17, Number 1, March 2007

Hongxing Bai, Xi Chen, Bin Li, Dianfei Han:
A Location-free Algorithm of Energy-Efficient Connected Coverage for High Density Wireless Sensor Networks. 1-21
Electronic Edition (link) BibTeX
Mohammed Shahid Abdulla, Shalabh Bhatnagar:
Reinforcement Learning Based Algorithms for Average Cost Markov Decision Processes. 23-52
Electronic Edition (link) BibTeX
Gül Gürkan, Fikri Karaesmen, Özge Özdemir:
Optimal Threshold Levels in Stochastic Fluid Models via Simulation-based Optimization. 53-97
Electronic Edition (link) BibTeX
Yiping Cheng, Da-Zhong Zheng:
An Algorithm for Timing Verification of Systems Constrained by Min-max Inequalities. 99-129
Electronic Edition (link) BibTeX

Modelling and Control of Reactive Systems

Hassane Alla, René K. Boel, Éric Rutten:
Editorial. 131-132
Electronic Edition (link) BibTeX
Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat:
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. 133-158
Electronic Edition (link) BibTeX
Laurent Houssin, Sébastien Lahaye, Jean-Louis Boimond:
Just in Time Control of Constrained ( max , +)-Linear Systems. 159-178
Electronic Edition (link) BibTeX
Benoit Gaudin, Hervé Marchand:
An Efficient Modular Method for the Control of Concurrent Discrete Event Systems: A Language-based Approach. 179-209
Electronic Edition (link) BibTeX
Guillaume Feuillade, Sophie Pinchinat:
Modal Specifications for the Control Theory of Discrete Event Systems. 211-232
Electronic Edition (link) BibTeX
Yin Wang, Tae-Sic Yoo, Stéphane Lafortune:
Diagnosis of Discrete Event Systems Using Decentralized Architectures. 233-263
Electronic Edition (link) BibTeX

Xi-Ren Cao:
Editorial. 265
Electronic Edition (link) BibTeX
Eric Fabre:
Trellis Processes : A Compact Representation for Runs of Concurrent Systems. 267-306
Electronic Edition (link) BibTeX
Spyros A. Reveliotis, Theologos Bountourelis:
Efficient PAC Learning for Episodic Tasks with Acyclic State Spaces. 307-327
Electronic Edition (link) BibTeX
Ion Necoara, Bart De Schutter, Ton J. J. van den Boom, Hans Hellendoorn:
Stable Model Predictive Control for Constrained Max-Plus-Linear Systems. 329-354
Electronic Edition (link) BibTeX
Eric Fabre, Albert Benveniste:
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them. 355-403
Electronic Edition (link) BibTeX
Thomas Bonald:
Insensitive Traffic Models for Communication Networks. 405-421
Electronic Edition (link) BibTeX

Stéphane Lafortune, Feng Lin, Dawn M. Tilbury:
Special Issue on WODES'06. 423-424
Electronic Edition (link) BibTeX
Eric Badouel, Marek A. Bednarczyk, Andrzej M. Borzyszkowski, Benoît Caillaud, Philippe Darondeau:
Concurrent Secrets. 425-446
Electronic Edition (link) BibTeX
Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Identification of Petri Nets from Knowledge of Their Language. 447-474
Electronic Edition (link) BibTeX
Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson:
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence. 475-504
Electronic Edition (link) BibTeX
Jianfeng Mao, Christos G. Cassandras:
Optimal Control of Two-Stage Discrete Event Systems with Real-Time Constraints. 505-529
Electronic Edition (link) BibTeX
David Thorsley, Demosthenis Teneketzis:
Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems. 531-583
Electronic Edition (link) BibTeX
David Thorsley, Demosthenis Teneketzis:
Active Acquisition of Information for Diagnosis and Supervisory Control of Discrete Event Systems. 585-586
Electronic Edition (link) BibTeX