|
9h00-9h15
|
Opening
|
|
|
|
9h15-10h15
|
Plenary Lecture: "Discrete-Event Modeling and Design of Embedded Software
" (E. Lee, UC Berkeley) abstract
|
|
|
|
10h45-12h00
|
MA1: Automata theory
|
|
|
|
|
Coalgebra, Concurrency, and Control
J.J.M.M. Rutten
|
|
|
|
Symbolic Abstractions of Automata
S. Pinchinat and H. Marchand
|
|
|
|
Efficient Computation and Representation of Large Reachability Sets
for Composed Automata
P. Buchholz and P. Kemper
|
|
|
|
10h45-12h25
|
MA2: Max,+ theory I
|
|
|
|
|
Heaps of pieces with a continuum of resources
R.J. van Egmond
|
|
|
|
Eigenvalues of interconnected bipartite (min,max,+)-systems
Subiono and J. van der Woude
|
|
|
|
A (max,+) approach for time in Message Sequence Charts
P. Le Maigat and L. Helouet
|
|
|
|
Analysis of periodic Discrete Event Systems in (max,+) algebra
S. Lahaye, J.L. Boimond and L. Hardouin
|
|
|
|
|
|
12h25-14h00
|
Lunch
|
|
|
|
14h00-15h40
|
MP1: Supervisory control I
|
|
|
|
|
Modular supervisory control of large scale discrete event systems
M.H. de Queiroz and J.E.R. Cury
|
|
|
|
A General Architecture for Decentralized Supervisory Control of
Discrete-Event Systems
T. Yoo and S. Lafortune
|
|
|
|
Reduced supervisors for timed discrete-event systems
P. Gohari and W.M. Wonham
|
|
|
|
Synthesis of Reliable Decentralized Supervisors for Discrete Event
Systems
S. Takai and T. Ushio
|
|
|
|
|
|
14h00-15h40
|
Minicourse: Hybrid Dynamical Systems: Modeling and Optimal Control - Part I (C. Cassandras and Y. Wardi) abstract
|
|
|
|
16h10-18h15
|
MP2: Control of Petri nets I
|
|
|
|
|
An Iterative Method for Deadlock Prevention in FMS
F. Tricas, J.M. Colom and J. Ezpeleta
|
|
|
|
Avoiding Deadlocks in Flexible Manufacturing Systems
M. Seidl and G. Schmidt
|
|
|
|
On Partially Controlled Free Choice Petri Nets
R.S. Sreenivas
|
|
|
|
Closed-Loop live Petri Net Supervisors for Generalized Mutual
Exclusion Constraints
F. Basile, L. Recalde, P. Chiacchio and M. Silva
|
|
|
|
Selecting the optimal deadlock resolution strategy in buffer space
allocation of flexibly automated production systems: an analytic
perspective
S.A. Reveliotis
|
|
|
|
|
|
16h10-18h15
|
Minicourse: Sensitivity Analysis for Gradient Estimation of DES Performance Measures - Part I (F. Vázquez-Abad) abstract
|
|
8h30-9h45
|
Tools session
|
|
|
|
10h15-11h30
|
TA1: Petri net theory
|
|
|
|
|
Structurally safe net systems
F. Garcia-Valles, F. Tricas, J. Ezpeleta and J.M. Colom
|
|
|
|
Modelling and Analyzing Systems with Recursive Petri Nets
S. Haddad and D. Poitrenaud
|
|
|
|
Prioritised Synchronous Composition of Petri Nets
A. Hellgren, M. Fabian and B. Lennartson
|
|
|
|
|
|
10h15-11h30
|
TA2: Max,+ theory II
|
|
|
|
|
The power algorithm and the Howard algorithm in the (max,+) semiring
G. Soto y Koelemeijer
|
|
|
|
Model predictive control for max-min-plus systems
B. De Schutter and T. van den Boom
|
|
|
|
Optimal token allocation in timed cyclic event-graphs
A. Giua, A. Piccaluga and C. Seatzu
|
|
|
|
|
|
11h35-12h35
|
Plenary Lecture: "Networking Applications of Discrete Event Systems" (A. Deshpande, Teja Technologies) abstract
|
|
|
|
12h35-14h05
|
Lunch
|
|
|
|
14h05-15h45
|
TP1: Scheduling and optimisation
|
|
|
|
|
A Two Phase Optimisation Strategy for DEDS: Application to a Manufacturing System
A. Zimmerman, D. Rodriguez and M. Silva
|
|
|
|
Optimal Resource Allocation in Blending Production Systems: A Genetic Algorithm Solution
Z. Liu and B.J. McCarragher
|
|
|
|
Off-Line Computation of Real-Time Schedules by Means of Petri nets
E. Grolleau and A. Choquet-Geniet
|
|
|
|
m-Balanced Sequences and Their Applications to Some Network Scheduling Problems
S. Sano and N. Miyoshi
|
|
|
|
|
|
14h05-15h45
|
Minicourse: Hybrid Dynamical Systems: Modeling and Optimal Control - Part II (C. Cassandras and Y. Wardi) abstract
|
|
|
|
16h15-17h55
|
TP2: Supervisory control II
|
|
|
|
|
State Observer Synthesis for a Class of Condition Systems
Y. Gong and L.E. Holloway
|
|
|
|
Separability of Predicates and Languages in Large-Scale Discrete Event Systems
S. Takai, T. Ushio and Y. Furukawa
|
|
|
|
A General Control Switching Framework for Supervisory Control of Discrete Event Systems
H. Darabi and M.A. Jafari
|
|
|
|
Fair Control of omega-Automata
H. Yen
|
|
|
|
|
|
|
|
16h15-18h00
|
Minicourse: Sensitivity Analysis for Gradient Estimation of DES Performance Measures - Part II (F. Vázquez-Abad) abstract
|
|
8h30-9h45
|
WA1: Control of Petri nets II
|
|
|
|
|
Supervisory Control in Discrete Event Systems Using the Theory of Regions
N. Rezg, X. Xie and A. Ghaffari
|
|
|
|
Linear and integer programmes in supervisory control of Petri nets
G. Stremersch
|
|
|
|
Synthesis of admissible behavior of Petri nets for partially ordered specifications
A. Luder and H.M. Hanisch
|
|
|
|
|
|
8h30-9h45
|
WA2: Formal Models and Methods for PLCs I (special session)
|
|
|
|
|
A Classification of PLC Models and Applications
A. Mader
|
|
|
|
Formal Verification of the Sequential Part of PLC pograms
S. Lamperiere-Couffin, J.-J. Lesage
|
|
|
|
An Abstract Model for SFCs
S. Bornot, R. Huuck, Y. Lakhnech and B. Lukoschus
|
|
|
|
|
|
10h05-11h20
|
WA3: Stochastic systems
|
|
|
|
|
Safety Control of Completely Observed Markov Chains
A. Arapostathis, R. Kumar and S. Tangirala
|
|
|
|
Singularly perturbed Markov chains with general structure
K.E. Avrachenkov
|
|
|
|
Weak Differentation and Gradient Estimation for Discrete Event Driven Processes
B. Heidergott and F.J. Vázquez-Abad
|
|
|
|
|
|
10h05-11h20
|
WA4: Formal Models and Methods for PLCs II (special session)
|
|
|
|
|
Modeling, Analysis, and Implementation of Logic Controllers for Machining Systems using Petri Nets and SFC
E. Park, D.M. Tilbury and P.P. Khargonekar
|
|
|
|
Time-related Modelling of PLC Systems with Time-less Petri Nets
M. Heiner and T. Menzel
|
|
|
|
Verification of IL Programs with a Detailed Model of their PLC Execution
H. Treseler, N. Bauer and S. Kowalewski
|
|
|
|
|
|
11h30-12h30
|
Plenary Lecture: "VALID Tool set: Validation of Software Applications" (B. Brandin, Siemens) abstract
|
|
|
|
12h30-14h00
|
Lunch
|
|
|
|
14h00-14h50
|
WP1: Timed Discrete Event Systems
|
|
|
|
|
A limit semantics for timed Petri nets
B. Gaujal and S. Haar
|
|
|
|
Verification of a Hybrid Model of a Manufacturing System using Rectangular Petri Nets
B. Bordbar, L. Giacomini and D.J. Holding
|
|
|
|
|
|
14h00-15h15
|
WP2: Applications
|
|
|
|
|
Detection of the main failure in complex critical systems
E. Gregoire and D. Ansart
|
|
|
|
Transitory control in scheduling of Cyclic Job Shop
A.B. Noronha and R. Santos-Mendes
|
|
|
|
An architecture of a Petri net based event-driven controller
S. Bulach, A. Brauchle, H.-J. Pfeiderer and Z. Kucerovsky
|
|
|
|
|
|
15h20-16h30
|
Closing discussion
|
|
|
|
16h30
|
Coffee
|
|
|