The Community for Technology Leaders
RSS Icon
Subscribe
Proceedings Sixth International Workshop on Discrete Event Systems (2002)
Zaragoza, Spain
Oct. 4, 2002 to Oct. 4, 2002
ISBN: 0-7695-1683-1
TABLE OF CONTENTS
Introduction
Preface (PDF)
pp. ix
Referees (PDF)
pp. xii
Invited Lecture
Christos G. Cassandras , Boston University
pp. 3
Supervisory Control I
Jan Komenda , Centrum voor Wiskunde en Informatica
pp. 26
Invited Session: Discrete Event Systems and Transportation
Petter Falkman , Chalmers University of Technology
Bengt Lennartson , Chalmers University of Technology
pp. 43
B. De Schutter , Delft University of Technology
T. J. J. van den Boom , Delft University of Technology
pp. 49
Supervisory Control II
José E. R. Cury , Universidade Federal de Santa Catarina
Antonio E. C. da Cunha , Universidade Federal de Santa Catarina
pp. 75
Timed Petri Nets
Jeong-Won Seo , Korea Advanced Institute of Science and Technology
Tae-Eog Lee , Korea Advanced Institute of Science and Technology
pp. 91
Pascal Aygalinc , Universit? de Savoie
Patrice Bonhomme , Institut d?Informatique d?Entreprise, CNAM
pp. 97
Supervisory Control and Timed Systems
A. Khatab , Laboratoire d?Automatique Industrielle de l?INSA de Lyon
E. Niel , Laboratoire d?Automatique Industrielle de l?INSA de Lyon
pp. 113
S. Haar , Campus de Beaulieu
L. Kaiser , LORIA-ENSEM
F. Simonot-Lion , LORIA-ENSEM
J. Toussaint , Université B. Pascal, Clermont-Ferrand
pp. 119
Colored Petri Nets
Bo Lindstrøm , University of Aarhus
Lisa Wells , University of Aarhus
pp. 127
Jan Rosell , Institut déOrganització i Control de Sistemes Industrials
pp. 143
Invited Lecture
Ed Brinksma , University of Twente
Angelika Mader , University of Twente
pp. 151
Diagnosis
F. Morant , 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
W. M. Wonham , University of Toronto
R. Su , University of Toronto
X. Koutsoukos , Palo Alto Research Center
pp. 169
Eric Fabre , Campus de Beaulieu
Claude Jard , Campus de Beaulieu
Stefan Haar , Campus de Beaulieu
pp. 182
Max-Plus and Dioid Algebra
Yiping Cheng , Tsinghua University
pp. 191
Ricardo Lüders , Federal Center of Technological Education of Paraná
Rafael Santos-Mendes , State University of Campinas
pp. 197
Laurent Hardouin , Laboratoire déIngénierie des Systèmes Automatisés
Mehdi Lhommeau , Laboratoire déIngénierie des Systèmes Automatisés
pp. 203
Petri Net Languages and Supervisory Control
Asma Ghaffari , INRIA and LGIPM, ISGMP-ILE DU SAULCY
Xiaolan Xie , INRIA and LGIPM, ISGMP-ILE DU SAULCY
pp. 219
Ramavarapu S. Sreenivas , University of Illinois at Urbana-Champaign
pp. 237
Perturbation Analysis and Queueing Systems
Bruno Gaujal , INRIA/LIP, ENS Lyon
Emmanuel Hyon , LORIA/INRIA
pp. 251
Distributed Systems
Zbigniew A. Banaszak , Polish Academy of Sciences
pp. 273
M. A. Jafari , Rutgers University
T. O. Boucher , Rutgers University
A. Amini , Rutgers University
pp. 279
Analysis and Verification of DES
Javier Campos , Universidad de Zaragoza
Simona Bernardi , Università di Torino
Susanna Donatelli , Università di Torino
pp. 295
Jean-Marc Roussel , LURPA-ENS de Cachan
Jean-Marc Faure , LURPA-ENS de Cachan
pp. 303
Invited Lecture
Hybrid Systems
Anastasios Trontis , University of Strathclyde
Hao Xia , University of Strathclyde
Michael P. Spathopoulos , University of Strathclyde
pp. 323
J. M. Davoren , Australian National University
Thomas Moor , Australian National University
pp. 329
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
Marinella Giordano , Università di Roma "Tor Vergata"
Paolo Valigi , Università di Perugia
pp. 349
Javad Sadr , École Polytechnique de Montréal
Roland P. Malhamé , École Polytechnique de Montréal and GERAD
pp. 355
Davide Giglio , Università di Genova
Angela Di Febbraro , Politecnico di Torino
Simona Sacone , Università di Genova
pp. 361
Invited session: Implementation of Supervisory Controllers
Anders Hellgren , Chalmers University of Technology
Bengt Lennartson , Chalmers University of Technology
Martin Fabian , Chalmers University of Technology
pp. 371
Jing Liu , University of Illinois at Chicago
pp. 383
Invited Session: Discrete Event Methodologies in Telecommunications
Yorai Wardi , Georgia Institute of Technology
George F. Riley , Georgia Institute of Technology
pp. 393
Author Index
Author Index (PDF)
pp. 411
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool