---------------------------------------------------- [Apologies for multiple postings] ---------------------------------------------------- FIRST CALL FOR PAPERS ---------------------------------------------------- DCDS'13 4rd WORKSHOP ON DEPENDABLE CONTROL OF DISCRETE SYSTEMS York, United Kingdom September 04-06, 2013 Co-organised by the Universities of York and Hull ---------------------------------------------------- WEB SITE http://dcds13.net.dcs.hull.ac.uk/ ---------------------------------------------------- Technical Co-Sponsors: IFAC Main Sponsor: TC 1.3 Discrete event and hybrid systems Co-Sponsors: * 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 Discrete Event Systems. Researches in this field are driven by the needs of many different application domains, such as production systems, transport systems, automotive, embedded systems, power production and distribution, healthcare, etc. Several research results recently issued by the two communities are able of bringing partial solutions to dependability requirements of these application domains. Fault-forecasting using dynamic fault-tree analysis, dependability modelling with Bayesian networks, fault-tolerant systems design, formal verification of control software, timed and probabilistic model-checking, fault detection and isolation, diagnosis and prognosis for DES, for instance, provide promising solutions to increase 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 the design and the operation of Dependable Control of Discrete Systems. Gathering researchers of the 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. ---------------------------------------------------- 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: * Recent advances in fault-tree and fault-forecasting methods, * Formal methods for timed and probabilistic systems * Modelling 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 including (but not limited to) the following: manufacturing and production systems, transport, automotive, power plants, mechatronics, embedded systems, and healthcare ---------------------------------------------------- SPECIAL SESSIONS 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. ---------------------------------------------------- PAPER SUBMISSION AND PUBLICATION Prospective participants are invited to electronically submit full papers of their work following the instructions available on the website. All accepted and presented papers will be published on IFAC-PapersOnLine and can be referenced using the ISSN (1474-6670) of this established series and their DOI (Digital Object identifier). Extended versions of selected papers will be recommended for publication in IFAC journals. ---------------------------------------------------- LOCATION York is a walled city by the river Ouse with a rich heritage, a wealth of cultural activities, and a historic centre hosting important Roman and Viking ruins, one of the largest and more elaborate Gothic cathedrals in Europe, cobbled streets and many original medieval buildings. It is approximately two hours away from London and Manchester and three hours from Edinburg by train. It is easily accessible via a number of airports and with Eurostar trains via London. ---------------------------------------------------- CONFERENCE FEES (all costs in EUR €) * Early registration fee: Euro 400 * Normal registration fee: Euro 480 * Early student registration: Euro: 280 * Normal student registration: Euro 360 Early registration deadline: May 24th 2013 Registration fee include lunches for the 3 days of the workshop, and coffee breaks. A banquet to take place in a Medieval hall in York and a guided tour is also included. ---------------------------------------------------- IMPORTANT DATES Submission of full papers and special sessions: 11th March 2013 Notification of acceptance: Friday 26th April 2013 Submission of final papers and registration: Friday 24th May 2013 ---------------------------------------------------- INTERNATIONAL PROGRAM COMMITTEE Chairs: Antoine Rauzy (Germany), John McDermid (UK) , Yiannis Papadopoulos (UK) Industrial Vice-Chair: Mario Trapp (Fraunhofer IESE, Germany) Members: A. Abate (Netherlands) M. Adachi (Japan) Y. Ait Ameur (France) T. Bedford (United Kingdom) C. Bérenguer (France) J.-P. Blanquart (France) A. Bobbio (Italy) M. Bouissou (France) M. Bozzano (Italy) C. Cassandras (USA) C. Chen (Singapore) P. Chung (United Kingdom) J. E. R. Cury (Brazil) F. Di Giandomenico (Italy) M. Dotoli (Italy) J. B. Dugan (USA) M. Fabian (Sweden) M. P. Fanti (Italy) J. -M. Faure (France) A. Fay (Germany) G. Frey (Germany) H. Garavel (France) A. Giua (Italy) L. Gomes (Portugal) L. Grunske (Germany) M. Guedemann (France) C. Hadjicostis (Cyprus) H. Hermanns (Germany) F. Ferri (Brazil) G. Frey (Germany) M. Jafari (USA) M. D. Jeng (Taiwan) P. Katsaros (Greece) B. Kaiser (Germany) T. Kelly (United Kingdom) S. Kowalewski (Germany) B. Lennartson (Sweden) J. -J. Lesage (France) G. Levitin (Israel) B. Littlewood (United Kingdom) J. Lunze (Germany) J. M. Machado (Portugal) H. Marchand (France) J. McDermid (United Kingdom) G. Music (Slovenia) E. Niel (France) F. Ortmeier (Germany) Y. Papadopoulos (United Kingdom) D. Parker (United Kingdom) C. E. Pereira (Brazil) J.-F. Petin (France) P. Petratos (USA) J. Raisch (Germany) W. Reif (Germany) S. Reveliotis (USA) J.-M. Roussel (France) K. Schmidt (Turkey) E. Schnieder (Germany) C. Seatzu (Italy) C. Seguin (France) N. Suri (Germany) L. Travé-Massuyès (France) B. Vogel-Heuser (Germany) V. Vyatkin (New Zealand) M. Walker (United Kingdom) D. Wei (USA) M. Xie (Hong Kong) J. Zaytoon (France) Q. Zhao (China) M. Zhou (USA) ---------------------------------------------------- STEERING COMMITTEE * A. Bobbio (Italy) * J. B. Dugan (USA) * M.-P. Fanti (Italy) * J. M. Faure (France) * G. Frey (Germany) * J.-J. Lesage (France) * W. Reif (Germany) ---------------------------------------------------- NATIONAL ORGANIZING COMMITTEE Chairs: John McDermid, Yiannis Papadopoulos Industrial Vice-Chair: Guillem Bernat (Rapita Systems, United Kingdom) Members: * Tim Kelly * David Parker * Martin Walker ---------------------------------------------------- CONFERENCE SECRETARIAT For logistics contact: Mr Bob French University of York Phone: +44 1904 325417, Fax: +44 1904 325499 Email conference secretariat: dcds.info@cs.york.ac.uk ---------------------------------------------------- For academic matters contact Prof. Yiannis Papadopoulos University of Hull Phone: +44 1482 465981, Fax:+44 1482 465981 E-mail: y.i.papadopoulos@hull.ac.uk ----------------------------------------------------