Wednesday 22 September 2004
Download the PDF file of the program.
|
|
08:30
|
Registration
|
|
10:00
|
Opening session
|
|
10:20
|
Invited Lecture: Oded
Maler. On optimal and sub-optimal control in the presence of adversaries
|
|
11:20
|
Parallel Sessions
|
|
|
Control Synthesis
Practice
|
|
|
|
D. Gouyon, J.F. Petin, G. Morel. Control synthesis
for product-driven automation
|
|
|
|
I. Tolga Hasdemir, S. Kurtulan, L. Gören. Implementation
of local modular supervisory control for a pneumatic system using PLC
|
|
|
|
E. Almeida, D. Tilbury. Automatic logic generation
for reconfigurable cell-based manufacturing systems
|
|
|
|
A. Khoumsi. Supervisory control for the conformance
of real-time discrete event systems
|
|
|
Petri nets
|
|
|
|
A. Di Febbraro, D. Giglio, N. Sacco. A HPN-based
control structure for privileged vehicle performance optimisation
|
|
|
|
Z. Achour, N. Rezg, X. Xie. Supervisory controller
of Petri nets under partial observation
|
|
|
|
J. Ashley, L.E. Holloway. An equivalent LTL/Kripke
structure for the Condition Sequence/Condition System model
|
|
|
|
A. Giua, X. Xie. Control of safe ordinary
Petri nets with marking specifications using unfolding
|
|
13:00
|
Lunch
|
|
15:00
|
Parallel Sessions
|
|
|
Supervisory Control:
Theory and Applications (1)
Invited session, organized by Toshimitsu Ushio and Naly Rakoto
|
|
|
|
R. Kumar, S. Takai, M. Fabian, T. Ushio. Maximally
permissive mutually & globally nonblocking supervisors for discrete
event systems
|
|
|
|
J. Komenda, J. H. van Schuppen. Supremal
normal sublanguages of large distributed discrete-event systems
|
|
|
|
A. Vahidi, B. Lennartson, M. Fabian. Efficient
supervisory synthesis of large systems
|
|
|
|
S. Khuller, G. Kortsarz, K. R. Rohloff. Approximating
the minimal sensor selection for supervisory control
|
|
|
|
K. Hiraishi. On solvability of an agent-based
control problem under dynamic environment
|
|
|
Dioids Algebra (MIN,+), (MAX,+)
|
|
|
|
B. Heidergott, J. van der Woude, G. J. Olsder. An
ergodic theorem for stochastic max-plus linear systems
|
|
|
|
L. Houssin, S. Lahaye, J.-L. Boimond. Modelling
and control of urban bus networks in dioids algebra
|
|
|
|
E. Münz, G. Schullerus, V. Krebs. On
the use of hybrid system identification methods for max-plus-linear system
identification
|
|
|
|
T. T. J. van den Boom, B. De Schutter. Modelling
and control of discrete event systems using switching max-plus-linear
systems
|
|
|
|
M. Lhommeau, L. Hardouin, C.-A. Maia, R. Santos-Mendes. Control
and robustness analysis for (max,+)-linear systems
|
|
17:00
|
End of Parallel Sessions
|
|
18:30
|
Reception at the city hall
|
top