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

Wednesday 26 August 1998

9.00 Plenary Speaker

W M Wonham (University of Toronto, Canada)

10.00 Coffee

Session 1 Stream A Stream B

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)


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)


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)


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)


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)


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

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)


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)


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)


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)


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)


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

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)


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)


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)


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)


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)


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

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)


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)


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)


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)


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)


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

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)


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)


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)


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)


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)


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

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)


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)


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)


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)


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)


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)


Friday 28 August 1998

9.00 Plenary Speaker

M Silva (Universidad de Zaragoza, Spain)

10.00 Coffee

Session 7 Stream A Stream B

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)


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)


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)


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)


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)


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

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)


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)


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)


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)


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)


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)


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)