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
Johan Nielsen , Kungliga Tekniska Hogskolan
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
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
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
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
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
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
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
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
Yiping Cheng , Tsinghua University
Da-Zhong Zheng , Tsinghua University
pp. 191
Ricardo Lüders , Federal Center of Technological Education of Paraná
Rafael Santos-Mendes , State University of Campinas
pp. 197
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
Gernot Schullerus , Universität Karlsruhe
Volker Krebs , Universität Karlsruhe
pp. 209
Petri Net Languages and Supervisory Control
Asma Ghaffari , INRIA and LGIPM, ISGMP-ILE DU SAULCY
Nidhal Rezg , 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
Media A. Ayu , Australian National University
Michael Cardew-Hall , Australian National University
pp. 264
Distributed Systems
Zbigniew A. Banaszak , Polish Academy of Sciences
Michal Polak , Advanced Digital Broadcast Polska Ltd.
pp. 273
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. Ghariani , Ecole Centrale de Lille
A. K. A. Toguyéni , Ecole Centrale de Lille
E. Craye , Ecole Centrale de Lille
pp. 289
José Merseguer , Universidad de Zaragoza
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
Toshimitsu Ushio , Osaka University
Shigemasa Takai , Wakayama University
pp. 317
Hao Xia , University of Strathclyde
Anastasios Trontis , University of Strathclyde
Yan Pang , University of Strathclyde
Michael P. Spathopoulos , University of Strathclyde
pp. 323
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
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
B. De Schutter , Delft University of Technology
T. J. J. van den Boom , Delft University of Technology
pp. 343
Marinella Giordano , Università di Roma "Tor Vergata"
Francesco Martinelli , 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
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
Anders Hellgren , Chalmers University of Technology
Bengt Lennartson , Chalmers University of Technology
Martin Fabian , Chalmers University of Technology
pp. 371
Max H. de Queiroz , Federal University of Santa Catarina
José E. R. Cury , Federal University of Santa Catarina
pp. 377
Jing Liu , University of Illinois at Chicago
Houshang Darabi , 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
Felisa J. Vazquez-Abad , University of Montreal
Vikram Krishnamurthy , University of British Columbia
pp. 399
Author Index
Author Index (PDF)
pp. 411
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool