WODES 98 Final Programme
4th Workshop on Discrete Event Systems
August 26-28, 1998 - Cagliari ITALY
Tuesday 25 August 1998
| 16.00-18.00 | REGISTRATION |
| 19.00 | WELCOME RECEPTION AND DINNER |
Wednesday 26 August 1998
| 9.00 | Plenary Speaker
W M Wonham (University of Toronto, Canada) |
|
| 10.00 | Coffee |
| Session 1 | Stream A | Stream B |
| 10.20
Paper 1.1 |
A state aggregation approach to hierarchical
supervisory control with applications to a transfer-line example.
P. Hubbard, G. Shen and P.E. Caines (McGill University, Canada) |
An object-oriented simulation program generator.
N S Papaspyrou, A N Tsois and E S Skordalakis (National Technical University of Athens, Greece) |
| 10.40
Paper 1.2 |
The modelling and supervisory control of timed
discrete event systems.
B. Brandin (Siemens Corporate Research, Germany) |
An object-oriented efficient microscopic traffic
simulator. Short Paper
A Manunza and M Marchesi (University of Cagliari, Italy) |
| 11.00
Paper 1.3 |
Forbidden state problems in timed automata.
M R Laurence and M Spathopoulos (University of Strathclyde, UK) |
The graphical simulation system for development
and debugging of the synchronization logic for the distributed control
of the manufacturing systems. Short Paper
J Fogel (Slovak Academy of Sciences, Slovakia) |
| 11.20
Paper 1.4 |
Control of stochastic discrete event systems
modelled by probabilistic languages.
R Kumar (University of Kentucky and Pennsylvania State University, USA) and V K Garg (University of Texas at Austin, USA) |
Event-driven evaluation of orthonormal and
non-orthonormal generalised decision diagram.
V Viatkin, K Nakano, T Hayashi (Nagoya Institute of Technology, Japan) and G Ivanov (Taganrog Radio Engineering University, Russia) |
| 11.40
Paper 1.5 |
Specification structures for supervisory control.
B Lennartson, M Fabian, M Tittus, A Hellgren and S-A Andreasson (Chalmers University of Technology, Sweden) |
CANDLE: a high level language and development
environment for high integrity CAN control systems.
D Kendall, W D Henderson, A P Robson (University of Northumbria at Newcastle, UK) and S P Bradley (University of Durham, UK) |
| 12.00
Paper 1.6 |
Decentralised supervisory control with information
structures.
J H vanSchuppen (Eindhoven University of Technology, The Netherlands) |
RT-MEC: a tool for validation and verification
of Petri nets with time parameters. Short Paper
I B Virbitskaite and A V Bystrov (Russian Academy of Sciences, Russia) |
| 12.20 | Lunch |
| Session 2 | Stream A | Stream B |
| 14.00
Paper 2.1 |
Modelling primitives for supervisory control.
B Lennartson, M Fabian, M Tittus and A Hellgren (Chalmers University of Technology, Sweden) |
Comparing two approaches in sensitivity analysis
of Markov chains.
X-R Cao and Z-Y Ren (The Hong Kong University of Science and Technology, Hong Kong) |
| 14.20
Paper 2.2 |
A combined plant + controller model of discrete
event systems.
G A Alpan and M A Jafari (Piscataway, USA) |
The case of the swapping and of the disappearing
phantoms.
F J Vazquez Abad (University of Montreal, Canada) |
| 14.40
Paper 2.3 |
A min-plus polynomial approach to forbidden
state control for general Petri nets.
R K Boel, B Bordbar and G. Stremersch (University of Ghent, Belgium) |
Sample path analysis for continuous tandem
production lines.
L Shi, R Suri (University of Wisconsin-Madison, USA) and B R Fu (Philips Research, USA) |
| 15.00
Paper 2.4 |
Supervisory control of Petri nets based on
suboptimal monitor places. Short Paper
F Basile, P Chiacchio (Università degli Studi di Napoli Federico II, Italy) and A Giua (University of Cagliari, Italy) |
A perspective on the development and application
of queuing-based software for manufacturing.
R. Suri (University of Wisconsin-Madison, USA) |
| 15.20
Paper 2.5 |
Optimal control of discrete
event systems.
F Tricas, F García-Vallés, J M Colom and J. Ezpeleta (Universidad de Zaragoza, Spain) |
Evaluation and optimisation of two-stage continuous
transfer lines subject to time-dependent failures.
X Xie (INRIA, France) |
| 15.40
Paper 2.6 |
Algebraic analysis of Petri Net based control
algorithms. Short Paper
G Frey and H G Schettler (University of Kaiserslautern, Germany) |
The discrete event modelling and analysis
of a mining stockyard.
M Binkowski and B J McCarragher (Australian National University, Australia) |
| 16.00 | Tea |
| Session 3 | Stream A | Stream B |
| 16.30
Paper 3.1 |
Validation of inter-event time learning method
using simulation.
S R Das (Eaton Corporation, USA) and L E Holloway (University of Kentucky, USA) |
A Petri Net semantics for the PLC language
instruction list.
M Heiner and T Menzel (Brandenburg University of Technology at Cottbus, Germany) |
| 16.50
Paper 3.2 |
Diagnosing discrete-event systems: an experiment
in telecommunication networks.
L Rozé and M O Cordier (IRISA, Campus de Beaulieu, France) |
Automatic generation of IEC 1131 PLC code
from statemate statecharts.
I D Bates, E G Chester and D J Kinniment (University of Newcastle, UK) |
| 17.10
Paper 3.3 |
A co-ordinated decentralised protocol for
failure diagnosis of discrete event systems.
R Debouk, S Lafortune and D Teneketzis (University of Michigan, USA) |
Manufacturing system emulation for PLC software
development.
J. Albert and K. Bender (Technical University of Munich, Germany) |
| 17.30
Paper 3.4 |
Diagnosis and communication in distributed
systems.
R Sengupta (University of California at Berkeley, USA) |
A communication support for real-time distributed
computer controlled systems.
E Tovar (Polytechnic Institute of Porto, Portugal) and F Vasques (University of Porto, Portugal) |
| 17.50
Paper 3.5 |
Diagnosis of timed discrete event systems
using temporal causal networks: modelling and analysis. Short Paper
Y L Chen and G Provan (Rockwell Science Center, USA) |
Non-ambiguous Petri nets and their application
to the modeling of ATM switches.
B Gaujal, A Jean-Marie and G Siegel (INRIA Sophia Antipolis, France) |
| 18.10
Paper 3.6 |
Monotone rational series and max-plus algebraic
models of real-time systems.
A Benveniste, C Jard (IRISA/INRIA Campus de Beaulieu, France) and S Gaubert (INRIA Rocquencourt, France) |
Sensitivity estimation of the cell-delay in
the leaky bucket traffic filter with stationary gradual input.
N Miyoshi (Kyoto University, Japan) |
Thursday 27 August 1998
| 9.00 | Plenary Speaker
Y-C Ho (Harvard University, USA) |
|
| 10.00 | Coffee |
| Session 4 | Stream A | Stream B |
| 10.20
Paper 4.1 |
On the complexity of projections of discrete-event
systems.
K. Wong (The Australian National University, Australia) |
On the Boolean minimal realisation problem
in the max-plus algebra.
B DeSchutter and B DeMoor (K U Leuven, Belgium) |
| 10.40
Paper 4.2 |
Hierarchical supervisory control of discrete-event
systems.
M Peyman Gohari and W M Wonham (University of Toronto, Canada) |
A (max,+) algebra for periodic timed discrete
event systems.
G Brat and V K Garg (The University of Texas at Austin, USA) |
| 11.00
Paper 4.3 |
Synthesis of supervisors using learning algorithm
of regular languages.
K Hiraishi (Japan Advanced Institute of Science and Technology, Japan) |
Asymptotic model matching for timed event
graphs.
L Libeaut (Université de Nantes, France) |
| 11.20
Paper 4.4 |
Supervisory control using control objectives.
M P Spathopoulos and M R Laurence (University of Strathclyde, UK) |
A non-linear hierarchy for discrete event
dynamical systems.
S Gaubert (INRIA Rocquencourt, France) and J Gunawardena (Hewlett Packard Labs, UK) |
| 11.40
Paper 4.5 |
Symmetry in the supervisory control problem.
J M Eyzell and J E R Cury (Federal University of Santa Catarina, Brazil) |
Direct and semi-direct
sum decomposition of Rmax semimodules.
E Wagneur (Université de Nantes, France) |
| 12.00
Paper 4.6 |
Managing the complexity of hard supervisory
control problems.
S A Reveliotis (Georgia Institute of Technology, USA) and M A Lawley (Purdue University, USA) |
Optimisation of synchronisation constraints
using weak derivatives.
B Heidergott (ITS, TU Delft, The Netherlands) |
| 12.20 | Lunch |
| Session 5 | Stream A | Stream B |
| 14.00
Paper 5.1 |
Deadlock avoidance using
a (min,+) matrix model for flexible manufacturing systems.
A Doganalp, A Gurel (Eastern Mediterranean University, Turkey), F L Lewis (The University of Texas, USA) and O C Pastravanu (Polytechnic Institute of Isai, Romania) |
The batch evaporator: a
benchmark example for safety analysis of processing systems under logic
control.
S Kowalewski and O Stursberg (University of Dortmund, Germany) |
| 14.20
Paper 5.2 |
A structural approach to
the problem of deadlock prevention in processes with resources.
F Tricas, F García-Vallés, J M Colom and J. Ezpeleta (Universidad de Zaragoza, Spain) |
The application of the
HAZAPS methodology to an automated batch evaporator.
S Yang and P W Chung (Loughborough University, UK) |
| 14.40
Paper 5.3 |
Optimal design of flowshop systems using Petri
nets.
A Ramirez, A Malo and A Sanchez (CINVESTAV-Gdl, Mexico) |
A concept for safety analysis
of chemical plants based on discrete models with an adapted degree of abstraction.
O Stursberg, H Graf, S. Engell and H. Schmidt-Traub (University of Dortmund, Germany) |
| 15.00
Paper 5.4 |
Performance optimisation of just-in-time manufacturing
processes represented by timed event graphs.
A Di Febbraro, R Minciardi and S Sacone (University of Genova, Italy) |
Timestamp petri nets in
technical applications.
H-M Hanisch, J Thieme (University of Magdeburg, Germany), K Lautenbach and C Simon (University Koblenz-Landau, Germany) |
| 15.20
Paper 5.5 |
Robust control using margins
of operation times.
P Bonhomme, P Aygalinc and S Calvez (Université de Savoie, France) |
Safety enforcement in process
control systems - a batch evaporator example.
E Klein and J Raisch (Universität Stuttgart, Germany) |
| 15.40
Paper 5.6 |
Invariant analysis in Z/pZ Petri nets.
M Mares and M Bourcerie (University of Angers, France) |
Supervisory control of timed discrete event
systems in the operational safety context.
A Khatab and E Niel (INSA, France) |
| 16.00 | Tea |
| Session 6 | Stream A | Stream B |
| 16.30
Paper 6.1 |
A fault diagnosis approach using DES.
T Chun (Celestica Incorporated, Canada) and W M Wonham (University of Toronto, Canada) |
Optimal control of hybrid
systems and some manufacturing process applications.
C G Cassandras (Boston University, USA), D L Pepyne (University of Massachusetts, USA) and Y Wardi (Georgia Institute of Technology, USA) |
| 16.50
Paper 6.2 |
Imperfectly specified events in failure diagnosis.
Short Paper
J Pik (Academy of Sciences, Czech Republic) |
Inference-based ordinal
optimisation and its applications.
M S. Yang, L H Lee and Y-C Ho (Harvard Univeristy, USA) |
| 17.10
Paper 6.3 |
A real-time diagnosis method of production
flows deviation in flexible manufacturing systems.
F Ly, A K A Toguyeni and E Cray (Ecole Centrale de Lille, France) |
Ordinal comparison for the control of non-stationary
discrete event systems.
F Martinelli and P Valigi (Università di Roma, Italy) |
| 17.30
Paper 6.4 |
The abstraction-resolution approach to discrete-event
control.
K Inan (Sabanci University, Turkey) |
Dynamic production planning
and control for enterprise integration.
M C Caramanis (Boston University, USA) |
| 17.50
Paper 6.5 |
On the composition of condition/event systems.
S Kowalewski (Universität Dortmund, Germany), Y Lakhnech, B Lukoschus and L Urbina (Universität zu Kiel, Germany) |
On the optimal control of polynomial dynamical
system over z/pz
H Marchand (University of Michigan, USA) and M Le Borgne (Université de Rennes, France) |
| 18.10
Paper 6.6 |
Regular ordering and applications in control
policies.
B Gaujal (INRIA Sophia-Antipolis, France) |
A compositional approach to generalised semi-Markov
processes.
P R D'Argenio, E. Brinksma (University of Twente, The Netherlands) and J-P Katoen (University of Erlangen-Nürnberg, Germany) |
| 19.30 | DRINKS RECEPTION AND FORMAL DINNER | |
Friday 28 August 1998
| 9.00 | Plenary Speaker
M Silva (Universidad de Zaragoza, Spain) |
||
| 10.00 | Coffee | ||
| Session 7 | Stream A | Stream B | |
| 10.20
Paper 7.1 |
Analysis and control synthesis of a class
of monotonous hybrid automata.
H Chen and H-M Hanisch (University of Magdeburg, Germany) |
The (max,+) algebra applied to synchronisation
of traffic light processes
R-J van Egmond and G J Olsder (Delft University of Technology, The Netherlands) |
|
| 10.40
Paper 7.2 |
An integrated environment
for the design of procedural controllers.
M T Marikar, G E Rothstein and S Macchietto (Imperial College of Science, UK) |
On max-algebraic models for transportation
networks.
R de Vries, B De Schutter and B De Moor (Katholieke Universiteit Leuven, Belgium) |
|
| 11.00
Paper 7.3 |
Supervisory control of hybrid systems via
l-complete approximations.
T Moor (Universität der Bundeswehr, Germany), J Raisch (Universität Stuttgart, Germany) and S O'Young (Memorial University of Newfoundland, Canada) |
On large scale max-plus algebra
model in railway systems.
G-J Olsder, Subiono (Delft University of Technology, The Netherlands) and M McGettrick (École des Mines de Paris, France) |
|
| 11.20
Paper 7.4 |
Hybrid stochastic petri nets: firing speed
computation and FMS modelling.
F Balduzzi, G Menga (Politecnico di Torino, Italy), and A Giua (Università di Cagliari, Italy) |
Bounds on mean
cycle time in a cyclic fork-join queuing networks.
N K Krivulin (St Petersburg State University, Russia) |
|
| 11.40
Paper 7.5 |
Hybrid damage-mitigating control of mechanical
systems for life extension and high performance.
H Zhang, A Ray and S Phoha (Pennsylvania State University, USA) |
Predictability and control synthesis
in time deviant graphs.
P Declerck (University of Angers, France) |
|
| 12.00
Paper 7.6 |
The discrete event control of robotic manipulation.
B J McCarragher (Australian National University, Australia) |
Adaptive control for linear systems
in Max-Algebra.
E Menguy, J L Boimond and L Hardouin (University of Angers, France) |
|
| 12.20 | Lunch | ||
| Session 8 | Stream A | Stream A | |
| 14.00
Paper 8.1 |
Symbolic verification of stateflow logic.
M Rausch and B H Krogh (Carnegie Mellon University, USA) |
Toward behaviour analysis of parametric
time Petri nets. Short Paper
E Pokozy (Academy of Sciences, Russia) |
|
| 14.20
Paper 8.2 |
Condition languages and condition systems
for modelling ambiguous control specifications.
L E Holloway and J Ashley Jnr. (University of Kentucky, USA) |
A formal approach to design optimal
static converters. Short Paper
B Mazigh, A Koukam and P Gruer (Institut Polytechnique de Sévenans, France) |
|
| 14.40
Paper 8.3 |
Sequential control specification with TL and
NCES.
L E Pinzon, M A Jafari (Rutgers University, USA) and H-M Hanisch (University of Magdeburg, Germany) |
Hybrid Petri
nets to model transportation systems. Short Paper
A Di Febbraro and S Sacone (University of Genova, Italy) |
|
| 15.00
Paper 8.4 |
Control software synthesis for temporal safety
in discrete-event systems.
K T Seow (University of Toronto, Canada) and R Devanathan (Nanyang Technological University, Singapore) |
Predictive control of stochastic
DES using Petri nets. Short Paper
H Westphal (University of Magdeburg München, Germany) |
|
| 15.20
Paper 8.5 |
Modal logic based algorithms for the verification
of specifications in discrete event systems.
J C Magossi and R Santos-Mendes (DCA/FEEC/Unicamp, Brazil) |
Automatic high level controller
design for flexible manufacturing systems. Short Paper
M Seidl and G Schmidt (Technische Universität, Germany) |
|
| 15.40
Paper 8.6 |
A partial order algorithm for verifying time
Petri nets. Short Paper
I B Virbitskaite and E Pokozy (Russian Academy of Sciences, Russia) |
Advanced decentralised automation
system MV/LV distribution system. Short Paper
F Lorito (ABB Ricerca SpA, Italy) and F Viaro (ABB SACE SpA, Italy) |
|
| 16.00 | CLOSE OF WORKSHOP | ||
Invited Sessions
Please note the following are invited sessions:
Stream A, Session 1, Papers 1-5:
Supervisory control of discrete event systems
Organisers: Martin Fabian (Chalmers University of Technology, Sweden)
Ratnesh Kumar (University of Kentucky, USA)
Stream B, Session 2, Papers 1-4:
Sample path and queuing modelling approaches for the performance analysis of discrete event systems.
Organiser: Christos G Cassandras (Boston University, USA)
Stream A, Session 3, Papers 1-6:
Failure diagnosis and discrete event systems.
Organiser: Raja Sengupta (UC Berkeley, USA)
Stream B, Session 5, Papers 1-5:
Discrete event and hybrid systems methods in the safety analysis of automated processing systems.
Organiser: Stefan Kowalewski (University of Dortmund, Germany)
Stream B, Session 6, Papers 1-4:
New directions in the control and optimisation of discrete event and hybrid systems.
Organiser: Christos G Cassandras (Boston University, USA)