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

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)

Petter Falkman , Chalmers University of Technology
Johan Nielsen , Kungliga Tekniska Hogskolan
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)

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

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

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

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

Patrice Bonhomme , Institut d?Informatique d?Entreprise, CNAM
Pascal Aygalinc , Universit? de Savoie
Soizick Calvez , Universit? de Savoie
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
F. Simonot-Lion , LORIA-ENSEM
J. Toussaint , Université B. Pascal, Clermont-Ferrand
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

Centralized Modular Diagnosis and the Phenomenon of Coupling (Abstract)

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

Distributed Diagnosis for Qualitative Systems (Abstract)

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

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

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

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

Yiping Cheng , Tsinghua University
Da-Zhong Zheng , 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)

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

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

Gernot Schullerus , Universität Karlsruhe
Volker Krebs , 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)

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)

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

Deadlock-Free Distributed Control for Repetitive Flows (Abstract)

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

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

M. A. Jafari , Rutgers University
H. Darabi , University of Illinois at Chicago
T. O. Boucher , Rutgers University
A. Amini , 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. Ghariani , Ecole Centrale de Lille
A. K. A. Toguyéni , Ecole Centrale de Lille
E. Craye , Ecole Centrale de Lille
pp. 289

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

José Merseguer , Universidad de Zaragoza
Javier Campos , Universidad de Zaragoza
Simona Bernardi , Università di Torino
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)

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

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

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

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

Alberto Bemporad , Università di Siena
Alessandro Giua , Università di Cagliari
Carla Seatzu , 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)

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

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

Marinella Giordano , Università di Roma "Tor Vergata"
Francesco Martinelli , 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)

Angela Di Febbraro , Politecnico di Torino
Davide Giglio , Università di Genova
Riccardo Minciardi , Università di Genova
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)

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

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

Jing Liu , University of Illinois at Chicago
Houshang Darabi , 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
85 ms
(Ver 3.3 (11022016))