DISC School on Control of Discrete-Event Systems:
Automata and Petri nets perspectives
The proposed PhD School is organized in the framework of the
DISC
(Distributed Supervisory Control of Large Plants)
INFSO-ICT-224498 European Project in the work programme 2007-08 of
the Theme ICT (Information and Communication Technologies),
addresses Objective: Networked Embedded and Control Systems.
The activity of DISC has started in September 2008 and will finish
at the end of December 2011. The main goal of this project is to
develop
methods and algorithms for modular control design and
diagnosis of complex distributed plants and new tools for the
modeling, simulation and supervisory control design that have been
integrated in a common software platform.
As the DoW and later the survey (SWP1.1) put into light, inside DISC two complementary lines of research are being developed. A first one tries to develop modeling techniques for distributed architectures
(asynchronous) or to convenient
approximations thereof (synchronous products of automata). The second one put the accent on largely populated systems, rather than on the distributiveness, even if distributed systems are obviously considered. In other words, distribution and fluidification are two complementary aims inside DISC.
Among the different objectives of the DISC project, there is the
dissemination of the results. The organization of this school is one
of the most important contributions in this respect.
Venue
The PhD DISC School will be held in
Cagliari, Sardinia,
Italy, from
June 6 to
June 10, 2011.
On Saturday June 11, it will be given the possibility to interested
students, to take a final examination.
Detailed information on the venue, flights and hotels can be found
here.
Program
The DISC PhD school includes
lectures based on automata, Petri nets,
dioid theory and applications, software sessions and short
lectures by participants.
The
scientific program is divided into three main tracks: one
devoted to automata, the second one to Petri nets and the last one
to case studies and dioid theory. A list of the lectures is
given in the following. The three tracks are intertwined in the
program.
A
pdf file containing the whole program is also downloadable.
Here can be downloaded useful material for DISC school regarding:
Automata.
Petri nets.
Dioid Theory tool session.
Petri toolbox.
Registration
The registration fee is 200,00 Euros and includes lunches and coffee breaks (from Monday June 6 to Friday June 10)
and the social dinner.
Registration is now open and it will close on Friday May 13, 2011. All interested participants are kindly invited to send as soon as possible an email to Maria Paola Cabasino.
Organizing Committee
Maria Paola Cabasino
University of Cagliari, Italy
Email: cabasino@diee.unica.it
Carla Seatzu
University of Cagliari, Italy
Email: seatzu@diee.unica.it
Manuel Silva
University of Zaragoza, Spain
Email: silva@unizar.es
Jan H. van Schuppen
Centre for Mathematics and Computer Science, Amsterdam, The Netherlands
Email: J.H.van.Schuppen@cwi.nl
Web: http://www.disc-project.eu