• W
  • WODES
  • 2002
  • Sixth International Workshop on Discrete Event Systems (WODES'02)
Advanced Search 
Sixth International Workshop on Discrete Event Systems (WODES'02)
Zaragoza, Spain
October 02-October 04
ISBN: 0-7695-1683-1
Table of Contents
Introduction
Invited Lecture
Supervisory Control I
Invited Session: Discrete Event Systems and Transportation
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
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
Jan Rosell, Institut déOrganització i Control de Sistemes Industrials
pp. 143
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
Max-Plus and Dioid Algebra
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
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
Perturbation Analysis and Queueing Systems
Distributed Systems
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
Hybrid Systems
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
Invited Session: Optimization Techniques for Discrete Event Systems
Javad Sadr, École Polytechnique de Montréal
Roland P. Malhamé, École Polytechnique de Montréal and GERAD
pp. 355
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
Invited Session: Discrete Event Methodologies in Telecommunications
Author Index
Usage of this product signifies your acceptance of the Terms of Use.