The Community for Technology Leaders
Discrete Event Systems, International Workshop on (2002)
Zaragoza, Spain
Oct. 2, 2002 to Oct. 4, 2002
ISBN: 0-7695-1683-1
TABLE OF CONTENTS
Introduction

Preface (PDF)

pp. ix

Referees (PDF)

pp. xii
Invited Lecture
Supervisory Control I
Invited Session: Discrete Event Systems and Transportation

A Formal Mapping of Static Information Models into Dynamic Models for Process Planning and Control Purposes (Abstract)

Johan Nielsen , Kungliga Tekniska Hogskolan
Petter Falkman , Chalmers University of Technology
Bengt Lennartson , Chalmers University of Technology
pp. 43

Connection and Speed Control in Railway Systems — A Model Predictive Control Approach (Abstract)

B. De Schutter , Delft University of Technology
T. J. J. van den Boom , Delft University of Technology
pp. 49
Supervisory Control II

An Assume-Guarantee Reasoning for Hierarchical Coordination of Discrete Event Systems (Abstract)

José E. R. Cury , Universidade Federal de Santa Catarina
Bruce H. Krogh , Carnegie Mellon University
Antonio E. C. da Cunha , Universidade Federal de Santa Catarina
pp. 75
Timed Petri Nets

An Extended Event Graph with Negative Places and Negative Tokens for Time Window Constraints (Abstract)

Seong-Ho Park , Korea Advanced Institute of Science and Technology
Jeong-Won Seo , Korea Advanced Institute of Science and Technology
Tae-Eog Lee , Korea Advanced Institute of Science and Technology
pp. 91

Firing Instant Approach to Control Time Critical Systems in Multi-Product Processing (Abstract)

Pascal Aygalinc , Universit? de Savoie
Soizick Calvez , Universit? de Savoie
Patrice Bonhomme , Institut d?Informatique d?Entreprise, CNAM
pp. 97
Supervisory Control and Timed Systems

State Feedback Stabilizing Controller for the Failure Recovery of Timed Discrete Event Systems (Abstract)

A. Khatab , Laboratoire d?Automatique Industrielle de l?INSA de Lyon
E. Niel , Laboratoire d?Automatique Industrielle de l?INSA de Lyon
pp. 113

Equivalence of Timed State Machines and Safe TPN (Abstract)

S. Haar , Campus de Beaulieu
L. Kaiser , LORIA-ENSEM
J. Toussaint , Université B. Pascal, Clermont-Ferrand
F. Simonot-Lion , LORIA-ENSEM
pp. 119
Colored Petri Nets

Towards a Monitoring Framework for Discrete-Event System Simulations (Abstract)

Bo Lindstrøm , University of Aarhus
Lisa Wells , University of Aarhus
pp. 127

Local Contact State Space Generation Using Colored Petri Nets (Abstract)

Jan Rosell , Institut déOrganització i Control de Sistemes Industrials
pp. 143
Invited Lecture

Model Checking Embedded System Designs (Abstract)

Ed Brinksma , University of Twente
Angelika Mader , University of Twente
pp. 151
Diagnosis

Centralized Modular Diagnosis and the Phenomenon of Coupling (Abstract)

F. Morant , Universidad Polit?cnica de Valencia
A. Correcher , Universidad Polit?cnica de Valencia
R. Blasco-Giménez , Universidad Polit?cnica de Valencia
E. García , Universidad Polit?cnica de Valencia
E. Quiles , Universidad Polit?cnica de Valencia
pp. 161

Distributed Diagnosis for Qualitative Systems (Abstract)

W. M. Wonham , University of Toronto
J. Kurien , Palo Alto Research Center
R. Su , University of Toronto
X. Koutsoukos , Palo Alto Research Center
pp. 169

Diagnosis of Asynchronous Discrete Event Systems: A Net Unfolding Approach (Abstract)

Stefan Haar , Campus de Beaulieu
Albert Benveniste , Campus de Beaulieu
Eric Fabre , Campus de Beaulieu
Claude Jard , Campus de Beaulieu
pp. 182
Max-Plus and Dioid Algebra

On the Cycle Time of Non-Autonomous Min-Max Systems (Abstract)

Da-Zhong Zheng , Tsinghua University
Yiping Cheng , Tsinghua University
pp. 191

Generalized Multivariable Control of Discrete Event Systems in Dioids (Abstract)

Ricardo Lüders , Federal Center of Technological Education of Paraná
Rafael Santos-Mendes , State University of Campinas
pp. 197

About Disturbance Decoupling of Timed Event Graphs in Dioids (Abstract)

Bertrand Cottenceau , Laboratoire déIngénierie des Systèmes Automatisés
Laurent Hardouin , Laboratoire déIngénierie des Systèmes Automatisés
Mehdi Lhommeau , Laboratoire déIngénierie des Systèmes Automatisés
pp. 203

A Method for Estimating the Holding Times in Timed Event Graphs (Abstract)

Volker Krebs , Universität Karlsruhe
Gernot Schullerus , Universität Karlsruhe
pp. 209
Petri Net Languages and Supervisory Control

Algebraic and Geometric Characterization of Petri Net Controllers Using the Theory of Regions (Abstract)

Nidhal Rezg , INRIA and LGIPM, ISGMP-ILE DU SAULCY
Asma Ghaffari , INRIA and LGIPM, ISGMP-ILE DU SAULCY
Xiaolan Xie , INRIA and LGIPM, ISGMP-ILE DU SAULCY
pp. 219

On Minimal Representations of Petri Net Languages (Abstract)

Ramavarapu S. Sreenivas , University of Illinois at Urbana-Champaign
pp. 237
Perturbation Analysis and Queueing Systems

An Application of IPA Approach on the Optimization of a Mining Port Stockyard System (Abstract)

Michael Cardew-Hall , Australian National University
Media A. Ayu , Australian National University
pp. 264
Distributed Systems

Deadlock-Free Distributed Control for Repetitive Flows (Abstract)

Michal Polak , Advanced Digital Broadcast Polska Ltd.
Zbigniew A. Banaszak , Polish Academy of Sciences
pp. 273

A Distributed Discrete Event Dynamic Model for Supply Chain of Business Enterprise (Abstract)

H. Darabi , University of Illinois at Chicago
M. A. Jafari , Rutgers University
A. Amini , Rutgers University
T. O. Boucher , Rutgers University
pp. 279
Analysis and Verification of DES

A Functional Graph Approach for Alarm Filtering and Fault Recovery for Automated Production Systems (Abstract)

A. K. A. Toguyéni , Ecole Centrale de Lille
E. Craye , Ecole Centrale de Lille
A. Ghariani , Ecole Centrale de Lille
pp. 289

A Compositional Semantics for UML State Machines Aimed at Performance Evaluation (Abstract)

Simona Bernardi , Università di Torino
José Merseguer , Universidad de Zaragoza
Javier Campos , Universidad de Zaragoza
Susanna Donatelli , Università di Torino
pp. 295

An Algebraic Approach for PLC Programs Verification (Abstract)

Jean-Marc Roussel , LURPA-ENS de Cachan
Jean-Marc Faure , LURPA-ENS de Cachan
pp. 303
Invited Lecture
Hybrid Systems

Supervisory Eventuality Synthesis (Abstract)

Anastasios Trontis , University of Strathclyde
Yan Pang , University of Strathclyde
Hao Xia , University of Strathclyde
Michael P. Spathopoulos , University of Strathclyde
pp. 323

Strategic Refinements in Abstraction Based Supervisory Control of Hybrid Systems (Abstract)

Jörg Raisch , Otto-von-Guericke Universität and Max-Planck-Institut für Dynamik komplexer technischer Systeme
J. M. Davoren , Australian National University
Thomas Moor , Australian National University
pp. 329

An Iterative Algorithm for the Optimal Control of Continuous-Time Switched Linear Systems (Abstract)

Alberto Bemporad , Università di Siena
Carla Seatzu , Università di Cagliari
Alessandro Giua , Università di Cagliari
pp. 335
Invited Session: Optimization Techniques for Discrete Event Systems

Model Predictive Control for Max-Min-Plus-Scaling Systems — Efficient Implementation (Abstract)

T. J. J. van den Boom , Delft University of Technology
B. De Schutter , Delft University of Technology
pp. 343

The Effect of Finite Buffers on the Optimal Safety Stock for Unreliable Systems (Abstract)

Francesco Martinelli , Università di Roma "Tor Vergata"
Marinella Giordano , Università di Roma "Tor Vergata"
Paolo Valigi , Università di Perugia
pp. 349

Unreliable Transfer Lines Throughput Maximization (Abstract)

Javad Sadr , École Polytechnique de Montréal
Roland P. Malhamé , École Polytechnique de Montréal and GERAD
pp. 355

Optimization of Manufacturing Systems Modelled by Timed Petri Nets (Abstract)

Davide Giglio , Università di Genova
Riccardo Minciardi , Università di Genova
Angela Di Febbraro , Politecnico di Torino
Simona Sacone , Università di Genova
pp. 361
Invited session: Implementation of Supervisory Controllers

Modelling and PLC-Based Implementation of Modular Supervisory Control (Abstract)

Anders Hellgren , Chalmers University of Technology
Bengt Lennartson , Chalmers University of Technology
Martin Fabian , Chalmers University of Technology
pp. 371

Synthesis and Implementation of Local Modular Supervisory Control for a Manufacturing Cell (Abstract)

José E. R. Cury , Federal University of Santa Catarina
Max H. de Queiroz , Federal University of Santa Catarina
pp. 377

Ladder Logic Implementation of Ramadge-Wonham Supervisory Controller (Abstract)

Houshang Darabi , University of Illinois at Chicago
Jing Liu , University of Illinois at Chicago
pp. 383
Invited Session: Discrete Event Methodologies in Telecommunications

IPA for Loss Volume and Buffer Workload in Tandem SFM Networks (Abstract)

Yorai Wardi , Georgia Institute of Technology
George F. Riley , Georgia Institute of Technology
pp. 393
Author Index

Author Index (PDF)

pp. 411
106 ms
(Ver )