[TYPES/announce] 2nd CfC: Methods and Tools for Distributed Hybrid Systems

[Uli Fahrenberg]

Apologies for multiple copies of this email; please distribute as you
see fit.

                SECOND CALL FOR CONTRIBUTIONS

                          DHS  2019
                  International Workshop on
      Methods and Tools for Distributed Hybrid Systems
          Associated with CONCUR / FORMATS / FMICS

                 Amsterdam, The Netherlands
                       26 August 2019

                 http://dhs.gforge.inria.fr

NEWS

The deadline for contributions has been extended to 28 June.

Titles and abstracts of invited talks are now available.

ABOUT

The purpose of DHS is to connect researchers working in real-time and
hybrid systems, control theory, distributed computing, and concurrency,
in order to advance the subject of distributed hybrid systems.

Distributed hybrid systems, or distributed cyber-physical systems, are
abundant.  Many of them are safety-critical, but ensuring their correct
functioning is very difficult.  Convergence and interaction of methods
and tools from different areas of computer science, engineering, and
mathematics is needed in order to advance the subject.

This third edition of DHS will add distributed robotics as a special
theme.  This emerging field is concerned with the control of
collaborative swarms of autonomous robots.  Some of our invited
speakers will discuss this subject both from a theoretical and a
practical perspective, and we hope to start a conversation which will
outlast DHS 2019.

We are calling for presentations of original, unfinished, already
published, or otherwise interesting work which can highlight how the
research topics of DHS may interact in order to advance the subject.
DHS 2019 will have no formal proceedings, but there will be a call for
contributions to a special issue of a journal after the workshop.
Please send your proposal to dhs-2019 at lists.gforge.inria.fr by 28 June
2019.

INVITED TALKS

   Majid Zamani, University of Colorado Boulder, US
      Compositional synthesis of interconnected control systems

   Thierry Grousset, Kopadia, Paris, France
      Underwater robotics: past, present, and future

   Xavier Urbain, Universite Lyon 1, France
      Swarms of mobile robots, towards safety with versatility

PANEL

DHS 2019 will comprise a panel session under the theme

   Verification and synthesis for heterogeneous systems
   encompassing learned and learning components

Modern complex engineering goals require complex models, such as
distributed hybrid systems and heterogeneous system architectures. In
view of recent data-driven technologies and data access capabilities,
models ought to encompass the presence of data-dependent, learned or
learning, and adaptive components. This results in a complex networked
model with black- or grey-box learning components, for instance a
networked control model with a DNN-enabled controller.

This panel discusses approaches to verify such models, or to
synthesise control architectures abiding by network-level goals or
requirements. We solicit contributions and participation from experts
in Rigorous System Design (e.g., contract-based design), Formal
Verification (e.g., assume-guarantee verification), Control
Engineering (e.g., networked control systems), as well as Robotics and
Artificial Intelligence (e.g., multi-agent systems) and Machine
Learning (e.g., deep neural nets).

ORGANIZERS

   Alessandro Abate, Oxford University, UK
   Uli Fahrenberg, Ecole polytechnique, France
   Martin Fraenzle, University of Oldenburg, Germany


For more information, see: http://dhs.gforge.inria.fr/

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20190615/e421e019/attachment.asc>