Discrete Event Dynamic Systems, Volume 12

Volume 12, Number 1, January 2002

• Alessandro Giua, Rein Smedinga, Michael Spathopoulos, Jan H. van Schuppen:
  Guest Editorial. 5
  Electronic Edition (link) BibTeX
• G. Stremersch, René K. Boel:
  Structuring Acyclic Petri Nets for Reachability Analysis and Control. 7-41
  Electronic Edition (link) BibTeX
• Laurence Rozé, Marie-Odile Cordier:
  Diagnosing Discrete-Event Systems: Extending the "Diagnoser Approach" to Deal with Telecommunication Networks. 43-81
  Electronic Edition (link) BibTeX
• Thomas Moor, Jörg Raisch, Siu O'Young:
  Discrete Supervisory Control of Hybrid Systems Based on l-Complete Approximations. 83-107
  Electronic Edition (link) BibTeX
• Xiaolan Xie:
  Evaluation and Optimization of Two-Stage Continuous Transfer Lines Subject to Time-Dependent Failures. 109-122
  Electronic Edition (link) BibTeX

Volume 12, Number 2, April 2002

• Gabriel A. Wainer, Norbert Giambiasi:
  N-dimensional Cell-DEVS Models. 135-157
  Electronic Edition (link) BibTeX
• Bor-Ruey Fu, Leyuan Shi, Rajan Suri:
  Analysis of Departure Times in Discrete and Continuous Tandem Production Lines. 159-186
  Electronic Edition (link) BibTeX
• Eitan Altman, Bruno Gaujal, Arie Hordijk:
  Regular Ordering and Applications in Control Policies. 187-210
  Electronic Edition (link) BibTeX
• Sigurdur Ólafsson, Leyuan Shi:
  Ordinal Comparison via the Nested Partitions Method. 211-239
  Electronic Edition (link) BibTeX

Volume 12, Number 3, July 2002

• René K. Boel:
  Introduction to the WODES2000 Special Issue. 251
  Electronic Edition (link) BibTeX
• X.-R. Cao, G. Cohen, Alessandro Giua, W. Murray Wonham, Jan H. van Schuppen:
  Unity in Diversity, Diversity in Unity: Retrospective and Prospective Views on Control of Discrete Event Systems. 253-264
  Electronic Edition (link) BibTeX
• Peter Buchholz, Peter Kemper:
  Efficient Computation and Representation of Large Reachability Sets for Composed Automata. 265-286
  Electronic Edition (link) BibTeX
• Slavek Bulach, Anton Brauchle, Hans-Jörg Pfleiderer, Zdenek Kucerovsky:
  Design and Implementation of Discrete Event Control Systems: A Petri Net Based Hardware Approach. 287-309
  Electronic Edition (link) BibTeX
• Emmanuel Grolleau, Annie Choquet-Geniet:
  Off-Line Computation of Real-Time Schedules Using Petri Nets. 311-333
  Electronic Edition (link) BibTeX
• Tae-Sic Yoo, Stéphane Lafortune:
  A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems. 335-377
  Electronic Edition (link) BibTeX

Volume 12, Number 4, October 2002

• Yong Liu, Weibo Gong:
  Perturbation Analysis for Stochastic Fluid Queueing Systems. 391-416
  Electronic Edition (link) BibTeX
• Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis:
  On an Optimization Problem in Sensor Selection*. 417-445
  Electronic Edition (link) BibTeX
• Michael C. Fu, Xiaolan Xie:
  Derivative Estimation for Buffer Capacity of Continuous Transfer Lines Subject to Operation-Dependent Failures. 447-469
  Electronic Edition (link) BibTeX