(PN) Call for papers: DCDS09 2nd IFAC Workshop on Dependable
This is a multi-part message in MIME format.
–===============1397207364==
Content-Type: multipart/alternative;
boundary=”—-=_NextPart_000_0174_01C8DDD0.C960CEC0″
This is a multi-part message in MIME format.
——=_NextPart_000_0174_01C8DDD0.C960CEC0
Content-Type: text/plain;
charset=”iso-8859-1″
Content-Transfer-Encoding: quoted-printable
————————————————————————-=
——————————- =20
[Apologies for multiple postings]
————————————————————————-=
——————————- =20
SECOND CALL FOR PAPERS
————————————————————————-=
——————————-
DCDS’09
2nd IFAC WORKSHOP ON DEPENDABLE CONTROL OF DISCRETE SYSTEMS
Bari, Italy=20
June 10-12, 2009=20
————————————————————————-=
——————————- =20
WEB SITE
http://dcds09.poliba.it/
————————————————————————-=
——————————- =20
Sponsored by IFAC Technical Committee
. TC 1.3 Discrete Event and Hybrid Systems=20
Co-sponsored by IFAC Technical Committees:=20
. TC 4.1 Components and Technologies for Control
. TC 4.2 Mechatronic Systems
. TC 5.1 Manufacturing Plant Control
. TC 6.4 Safeprocess
————————————————————————-=
——————————-
AIMS AND SCOPE
The aim of the workshop is to provide the communities of =
safety/reliability analysis and of DES (Discrete Event Systems) with an =
opportunity to exchange information and new ideas, and to discuss new =
developments in the field of dependable control of DES. Researches in =
this field are driven by the needs of many different application =
domains, such as production systems, transport systems, embedded =
systems, computers and communication systems, to name a few.
Several research results recently issued by the two communities are able =
to bring partial solutions to dependability requirements of these =
application domains. Fault-forecasting methods for systems =
dependability, dependability modeling thanks to Bayesian networks, =
fault-tolerant systems design, formal verification of control software, =
timed and probabilistic model-checking, fault detection and diagnosis of =
DES for instance, provide promising solutions for increasing control =
systems dependability. Nevertheless, none of these approaches is able to =
provide a global solution. Hence, there is a need to bridge the gaps =
between the different models, methods and tools that are proposed so as =
to improve design and operation of dependable control of DES.=20
Gathering researchers of these two communities, this workshop will =
favour exchanges and will contribute to a better interdisciplinary =
approach for control dependability improvement. Works focusing on =
dependability improvement when designing and implementing the system =
(”off-line” approaches) as well as during system operation (”on-line” =
approaches) will be considered.=20
————————————————————————-=
——————————-
TOPICS
The workshop will cover all topics related to specification, design, =
implementation and operation of dependable controllers for critical DES, =
including (but not limited to) the following:=20
. Recent advances in fault-forecasting methods
. Formal methods for timed and probabilistic systems
. Modeling and analysis of stochastic systems
. Monitoring and diagnosis of discrete event systems
. Control of fault-tolerant discrete event systems
. Reconfiguration methods
. Interdisciplinary approaches for dependability improvement
. Applications to manufacturing and production systems, transport, power =
plants, mechatronics and embedded systems
. Safety-critical systems
. System security
————————————————————————-=
——————————-
SPECIAL SESSIONS=20
Proposals for special sessions related to specification, design, =
implementation and operation of dependable controllers for critical =
discrete systems are encouraged.
A special session should consist of 4 to 6 papers in the format =
described for individual contributions and a one page abstract =
summarising the aim and content of the session. This abstract should =
contain: a title for the session, the name and full address of the =
session organizer, a list of keywords and the list of the papers =
included. Survey papers at the beginning of special sessions are =
encouraged.=20
————————————————————————-=
——————————-
SUBMISSION OF PAPERS=20
On-line electronic full paper submission is required (PDF files only are =
accepted). Papers must be submitted not later than January 8, 2009 only =
by web server application :=20
http://dcds09.poliba.it
To be included in preprints and proceedings, papers are limited to 6 =
pages and have to conform to IFAC instructions, which can be found at =
the following address:=20
http://www.dit.upm.es/ifac-papersonline/instructions/
The copyright transfer form can be downloaded at the following address:=20
http://dcds09.poliba.it/DCDS09/Papersubmission_files/IFAC%20Copyright%20F=
orm.doc
————————————————————————-=
——————————-
IFAC COPYRIGHT POLICY=20
The material submitted for presentation at an IFAC meeting (Congress, =
Symposium, Conference, Workshop) must be original, not published or =
being considered elsewhere. All papers accepted for presentation will =
appear in the Preprints of the meeting and will be distributed to the =
participants. Papers duly presented at the IFAC Congress, Symposia, =
Conferences and Workshops will be hosted on-line on the =
IFAC-PapersOnLine.net website (www.ifac-papersonline.net/). The =
presented papers will be further screened for possible publication in =
the IFAC Journals (Automatica, Control Engineering Practice, Annual =
Reviews in Control, Journal of Process Control , Engineering =
Applications of Artificial Intelligence, and Mechatronics), or in IFAC =
affiliated journals. All papers presented will be recorded as an IFAC =
Publication.=20
Copyright of material presented at an IFAC meeting is held by IFAC. =
Authors will be required to transfer copyrights electronically. The IFAC =
Journals and, after these, IFAC affiliated journals have priority access =
to all contributions presented. However, if the author is not contacted =
by an editor of these journals, within three months after the meeting, =
he/she is free to submit an expanded version of the presented material =
for journal publication elsewhere. In this case, the paper must carry a =
reference to the IFAC meeting where it was originally presented and, if =
the paper has appeared on the website www.ifac-papersonline.net/, also a =
reference to this publication.=20
————————————————————————-=
——————————-=20
CONFERENCE FEES=20
Early registration fee 500 ? (VAT included)=20
Student registration fee 280 ? (VAT included)=20
Single day registration 250 ? (VAT included)=20
Early registration deadline April 15, 2009
Late registration fee 550 ? (430 ? for students) (VAT included)=20
Registration fees include lunches for the 3 days of the workshop, coffee =
breaks, a guided walking tour of the Bari old town and banquet (except =
for single day registration). Extra banquet tickets will be purchasable =
during the workshop.=20
————————————————————————-=
——————————-
IMPORTANT DATES=20
Submission of full papers and special sessions: January 08, 2009=20
Notification of acceptance: March 12, 2009=20
Submission of final papers and registration: April 12, 2009=20
————————————————————————-=
——————————-
INTERNATIONAL PROGRAM COMMITTEE=20
Chairs: M.P. Fanti (IT), T.L. Johnson (USA)=20
Vice-Chairs: A. Bobbio (IT), E. Schnieder (D)=20
Industrial Vice-Chair: W. Dong (USA)=20
Members:=20
P. Aknin (France)=20
H. Boudali (The Netherlands)=20
E. Brinksma (The Netherlands)=20
P. Chung (United Kingdom)=20
J. Cury (Brazil)=20
F. Di Giandomenico (Italy)=20
M. Fabian (Sweden)=20
L. Ferrarini (Italy)=20
A. Giua (Italy)=20
J. Gorski (Poland)=20
M. Gribaudo (Italy)=20
L. Holloway (USA)=20
M. D. Jeng (Taiwan)=20
S. Kowalewski (Germany)=20
S. Lafortune (USA)=20
B. Lennartson (Sweden)=20
L. Litz (Germany)=20
J. Lunze (Germany)=20
J. Machado (Portugal)=20
B. Maione (Italy)=20
J. McDermid (UK)=20
R. Minciardi (Italy)=20
M. Muenchhof (Germany)=20
G. Music (Slovenia)=20
E. Niel (France)=20
Y. Papadopoulos (UK)=20
C. E. Pereira (Brasil)=20
J. F. P=E9tin (France)=20
S. Ramaswamy (USA)=20
S. Reveliotis (USA)=20
J.M. Roussel (France)=20
C. Seatzu (Italy)=20
J. R. Silva (Brazil)=20
M. Silva (Spain)=20
T. Suzuki (Japan)=20
M. Tomizuka (USA)=20
B. Tuffin (France)=20
L. Trav=E9-Massuy=E8s (France)=20
B. Vogel-Heuser (Germany)=20
V. Volovoi (USA)=20
V. Vyatkin (New Zealand)=20
J. Zaytoon (France)=20
Q. Zhao (China)=20
M. C. Zhou (USA)=20
————————————————————————-=
——————————-
STEERING COMMITTEE=20
A. Bobbio (Italy)=20
J. B. Dugan (USA)=20
J. M. Faure (France)=20
G. Frey (Germany)=20
J.-J. Lesage (France)=20
W. Reif (Germany)=20
————————————————————————-=
——————————-
NATIONAL ORGANIZING COMMITTEE=20
Chair: M. Dotoli=20
Industrial Vice-Chair: P. Larizza=20
Members:=20
G. Acciani
E. Di Sciascio
M. Falagario
M. P. Fanti
G. Iacobellis
M. La Scala
P. Lino
G. Maione
A. M. Mangini
S. Mascolo
C. Meloni
D. Naso
R. Pellegrino
A. Rizzo
M. Ruta
B. Turchiano
————————————————————————-=
——————————-
VENUE - SOCIAL ACTIVITIES=20
The Workshop will be held in Bari, Italy, at the prestigious Palace =
Hotel, located in the city centre and nearby the old town. Hotel web =
site: http://www.palacehotelbari.it/
The banquet will take place in a prestigious place near the sea.=20
A guided walking tour of the Bari old town will be included in the =
registration.=20
A tour of the typical town Alberobello and a tour of the well-known =
Castellana caves will be organized during the conference (not included =
in the registration fee and organized upon reaching of a minimum number =
of participants).=20
————————————————————————-=
——————————-
CONFERENCE SECRETARIAT=20
DCDS’09
DEE - Politecnico di Bari
200, via Re David
70125 Bari, Italy
Phone: +39 080 5963643 Fax: +39 080 5963410
http://dcds09.poliba.it
For inquiries, email conference secretariat at:=20
dcds09@deemail.poliba.it
————————————————————————-=
——————————-
Maria Pia Fanti
DCDS’09 International Program Committee Chair
DEE - Politecnico di Bari
200, via Re David
70125 Bari, Italy
Phone: +39 080 5963643 Fax: +39 080 5963410
email fanti@deemail.poliba.it
Mariagrazia Dotoli
DCDS’09 National Organizing Committee Chair
DEE - Politecnico di Bari
200, via Re David
70125 Bari, Italy
Phone: +39 080 5963667 Fax: +39 080 5963410
email dotoli@deemail.poliba.it
————————————————————————-=
——————————-
——=_NextPart_000_0174_01C8DDD0.C960CEC0
Content-Type: text/html;
charset=”iso-8859-1″
Content-Transfer-Encoding: quoted-printable
————————————–  =
; =
=20
&nb=
sp; &nbs=
p;  =
; =20
[Apologies for multiple=20
postings]
————————————————————=
——————————————–  =
; =
=20
&nb=
sp; &nbs=
p;  =
; =20
SECOND CALL FOR=20
PAPERS
—————————————————————=
—————————————–
&nbs=
p;  =
; =
&n=
bsp; =20
DCDS’09
2nd IFAC WORKSHOP ON DEPENDABLE CONTROL OF DISCRETE=20
SYSTEMS
&n=
bsp; &nb=
sp; &nbs=
p; &n=
bsp; =20
Bari, Italy=20
&nb=
sp; &nbs=
p;  =
; =20
June 10-12, 2009=20
———————————————————————=
———————————– &n=
bsp; =20
&nb=
sp; &nbs=
p; =20
=
=20
WEB=20
SITE
 =
; =
=20
http://dcds09.poliba.it/
——————=
————————————————————————-=
————- =
=20
Sponsored by IFAC Technical Committee
=95=20
TC 1.3 =
Discrete Event=20
and Hybrid Systems
Co-sponsored by IFAC Technical Committees:=20
=95=20
TC 4.1 =
Components and=20
Technologies for Control
=95=20
TC 4.2 =
Mechatronic=20
Systems
=95=20
TC 5.1 =
Manufacturing=20
Plant Control
=95=20
TC 6.4=20
Safeprocess
———————————————————-=
———————————————-
AIMS=20
AND SCOPE
The=20
aim of the workshop is to provide the communities of safety/reliability =
analysis=20
and of DES (Discrete Event Systems) with an opportunity to exchange =
information=20
and new ideas, and to discuss new developments in the field of =
dependable=20
control of DES. Researches in this field are driven by the needs of many =
different application domains, such as production systems, transport =
systems,=20
embedded systems, computers and communication systems, to name a=20
few.
Several=20
research results recently issued by the two communities are able to =
bring=20
partial solutions to dependability requirements of these application =
domains.=20
Fault-forecasting methods for systems dependability, dependability =
modeling=20
thanks to Bayesian networks, fault-tolerant systems design, formal =
verification=20
of control software, timed and probabilistic model-checking, fault =
detection and=20
diagnosis of DES for instance, provide promising solutions for =
increasing=20
control systems dependability. Nevertheless, none of these approaches is =
able to=20
provide a global solution. Hence, there is a need to bridge the gaps =
between the=20
different models, methods and tools that are proposed so as to improve =
design=20
and operation of dependable control of DES.
Gathering=20
researchers of these two communities, this workshop will favour =
exchanges and=20
will contribute to a better interdisciplinary approach for control =
dependability=20
improvement. Works focusing on dependability improvement when designing =
and=20
implementing the system (”off-line” approaches) as well as during system =
operation (”on-line” approaches) will be considered.=20
———————————————————————=
———————————–
TOPICS
The=20
workshop will cover all topics related to specification, design, =
implementation=20
and operation of dependable controllers for critical DES, including (but =
not=20
limited to) the following:
=95=20
Recent=20
advances in fault-forecasting methods
=95=20
Formal=20
methods for timed and probabilistic systems
=95=20
Modeling=20
and analysis of stochastic systems
=95=20
Monitoring=20
and diagnosis of discrete event systems
=95=20
Control=20
of fault-tolerant discrete event systems
=95=20
Reconfiguration=20
methods
=95=20
Interdisciplinary=20
approaches for dependability improvement
=95=20
Applications=20
to manufacturing and production systems, transport, power plants, =
mechatronics=20
and embedded systems
=95=20
Safety-critical=20
systems
=95=20
System=20
security
————————————————————–=
——————————————
SPECIAL=20
SESSIONS
Proposals=20
for special sessions related to specification, design, implementation =
and=20
operation of dependable controllers for critical discrete systems are=20
encouraged.
A=20
special session should consist of 4 to 6 papers in the format described =
for=20
individual contributions and a one page abstract summarising the aim and =
content=20
of the session. This abstract should contain: a title for the session, =
the name=20
and full address of the session organizer, a list of keywords and the =
list of=20
the papers included. Survey papers at the beginning of special sessions =
are=20
encouraged. =
———————————————————————=
———————————–
SUBMISSION=20
OF PAPERS
On-line=20
electronic full paper submission is required (PDF files only are =
accepted).=20
Papers must be submitted not later than January 8, 2009 only by web =
server=20
application :=20
http://dcds09.poliba.it
To=20
be included in preprints and proceedings, papers are limited to 6 pages =
and have=20
to conform to IFAC instructions, which can be found at the following=20
address:=20
http://www=
.dit.upm.es/ifac-papersonline/instructions/
The=20
copyright transfer =
form can be=20
downloaded at=20
the following address:=20
http://dcds09.poliba.it/DCDS09/Papersubmission_files/IFA=
C%20Copyright%20Form.doc
————————————————————–=
——————————————
IFAC=20
COPYRIGHT POLICY
The=20
material submitted for presentation at an IFAC meeting (Congress, =
Symposium,=20
Conference, Workshop) must be original, not published or being =
considered=20
elsewhere. All papers accepted for presentation will appear in the =
Preprints of=20
the meeting and will be distributed to the participants. Papers duly =
presented=20
at the IFAC Congress, Symposia, Conferences and Workshops will be hosted =
on-line=20
on the IFAC-PapersOnLine.net website (www.ifac-papersonline.net/=
). The=20
presented papers will be further screened for possible publication in =
the IFAC=20
Journals (Automatica, Control Engineering Practice, Annual Reviews in =
Control,=20
Journal of Process Control , Engineering Applications of Artificial=20
Intelligence, and Mechatronics), or in IFAC affiliated journals. All =
papers=20
presented will be recorded as an IFAC Publication.
Copyright=20
of material presented at an IFAC meeting is held by IFAC. Authors will =
be=20
required to transfer copyrights electronically. The IFAC Journals and, =
after=20
these, IFAC affiliated journals have priority access to all =
contributions=20
presented. However, if the author is not contacted by an editor of these =
journals, within three months after the meeting, he/she is free to =
submit an=20
expanded version of the presented material for journal publication =
elsewhere. In=20
this case, the paper must carry a reference to the IFAC meeting where it =
was=20
originally presented and, if the paper has appeared on the website www.ifac-papersonline.net/=
, also a=20
reference to this publication.=20
———————————————————————=
———————————–=20
CONFERENCE FEES
Early=20
registration fee 500 =80 (VAT included)
Student=20
registration fee 280 =80 (VAT included)
Single=20
day registration 250 =80 (VAT included)
Early=20
registration deadline April 15, 2009
Late=20
registration fee 550 =80 (430 =80 for students) (VAT =
included)
Registration=20
fees include lunches for the 3 days of the workshop, coffee breaks, a =
guided=20
walking tour of the Bari old town and banquet (except for single day=20
registration). Extra banquet tickets will be purchasable during the=20
workshop.=20
———————————————————————=
———————————–
IMPORTANT=20
DATES
Submission of full papers and special sessions: January =
08, 2009=20
Notification of acceptance: March 12, 2009
Submission of final =
papers=20
and registration: April 12, 2009=20
———————————————————————=
———————————–
INTERNATIONAL=20
PROGRAM COMMITTEE
Chairs: M.P. Fanti (IT), T.L. Johnson (USA)=20
Vice-Chairs: A. Bobbio (IT), E. Schnieder (D)
Industrial =
Vice-Chair: W.=20
Dong (USA)
Members:
P. =
Aknin=20
(France)
H.=20
Boudali (The=20
Netherlands)=20
E.=20
Brinksma (The=20
Netherlands)=20
P.=20
Chung (United =
Kingdom)=20
J.=20
Cury (Brazil)
F. =
Di=20
Giandomenico (Italy) =
M. =
Fabian=20
(Sweden)
L. =
Ferrarini=20
(Italy)
A. =
Giua=20
(Italy)
J. =
Gorski=20
(Poland)
M.=20
Gribaudo (Italy)
L.=20
Holloway (USA)
M.=20
D. Jeng (Taiwan)
S.=20
Kowalewski (Germany)
S. =
Lafortune=20
(USA)
B. =
Lennartson (Sweden)
L.=20
Litz (Germany)
J.=20
Lunze (Germany)
J.=20
Machado (Portugal)
B.=20
Maione (Italy)
J.=20
McDermid (UK)
R. =
Minciardi=20
(Italy)
M. =
Muenchhof=20
(Germany)
G.=20
Music (Slovenia)
E. =
Niel=20
(France)
Y. =
Papadopoulos (UK)
C. =
E.=20
Pereira (Brasil)
J. =
F. P=E9tin=20
(France)
S. =
Ramaswamy=20
(USA)
S. =
Reveliotis (USA)
J.M.=20
Roussel (France)
C.=20
Seatzu (Italy)
J.=20
R. Silva (Brazil)
M.=20
Silva (Spain)
T.=20
Suzuki (Japan)
M. =
Tomizuka=20
(USA)
B.=20
Tuffin (France)
L.=20
Trav=E9-Massuy=E8s (France)
B.=20
Vogel-Heuser (Germany)
V. =
Volovoi=20
(USA)
V. =
Vyatkin=20
(New=20
Zealand)
J. =
Zaytoon=20
(France)
Q. =
Zhao=20
(China)
M. =
C. Zhou=20
(USA)
——————————————————–=
————————————————
STEERING=20
COMMITTEE
A.=20
Bobbio (Italy)
J.=20
B. Dugan (USA)
J.=20
M. Faure (France)
G.=20
Frey (Germany)
J.-J.=20
Lesage (France)
W.=20
Reif (Germany)
——————————————————–=
————————————————
NATIONAL=20
ORGANIZING COMMITTEE
Chair: M. Dotoli
Industrial Vice-Chair: =
P.=20
Larizza
Members:
G. =
Acciani
E. =
Di=20
Sciascio
M. =
Falagario
M. =
P.=20
Fanti
G. =
Iacobellis
M. =
La=20
Scala
P. =
Lino
G. =
Maione
A. =
M.=20
Mangini
S. =
Mascolo
C. =
Meloni
D. =
Naso
R. =
Pellegrino
A. =
Rizzo
M. =
Ruta
B. =
Turchiano
————————————————————–=
——————————————
VENUE=20
=96 SOCIAL ACTIVITIES
The=20
Workshop will be held in Bari, Italy, at the prestigious =
Palace=20
Hotel, located in the city centre and nearby the old town. Hotel web =
site: http://www.palacehotelbari.it/
The=20
banquet will take place in a prestigious place near the sea.
A=20
guided walking tour of the Bari old town will be included in the =
registration.=20
A=20
tour of the typical town Alberobello and a tour of the well-known =
Castellana=20
caves will be organized during the conference (not included in the =
registration=20
fee and organized upon reaching of a minimum number of=20
participants).=20
————————————————————–=
——————————————
CONFERENCE=20
SECRETARIAT
DCDS=9209
DEE - Politecnico di Bari
200, via =
Re=20
David
70125 Bari, Italy
Phone: +39 080 5963643 Fax: +39 080=20
5963410
http://dcds09.poliba.it
For =
inquiries, email=20
conference secretariat at:
dcds09@deemail.poliba.it
——————————————————-=
————————————————-
Maria=20
Pia Fanti
DCDS=9209 International Program Committee Chair
DEE - Politecnico di =
Bari
200, via Re =
David
70125 Bari, =
Italy
Phone: +39 =
080 5963643=20
Fax: +39 080 5963410
email=20
fanti@deemail.poliba.it
Mariagrazia=20
Dotoli
DCDS=9209 National Organizing Committee Chair
DEE -=20
Politecnico di Bari
200, via Re David
70125 Bari, Italy
Phone: +39 080 5963667 Fax: +39 080=20
5963410
email dotoli@deemail.poliba.it
————————————————————–=
——————————————
——=_NextPart_000_0174_01C8DDD0.C960CEC0–
–===============1397207364==
Content-Type: text/plain; charset=”us-ascii”
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
—-
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ petrinet@informatik.uni-hamburg.de ]]
–===============1397207364==–