License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.9.10.95
URN: urn:nbn:de:0030-drops-118579
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2020/11857/
Go back to Dagstuhl Reports

Gleirscher, Mario ; Haxthausen, Anne E. ; Leucker, Martin ; Linker, Sven
Weitere Beteiligte (Hrsg. etc.): Mario Gleirscher and Anne E. Haxthausen and Martin Leucker and Sven Linker and

Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432)

pdf-format:
dagrep_v009_i010_p095_19432.pdf (2 MB)

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 19432 "Analysis of Autonomous Mobile Collectives in Complex Physical Environments". Our working hypothesis for this seminar was that for systems of such complexity and criticality, the trustworthy certification and the successful operation in society will strongly benefit from the coordinated application of several rigorous engineering methods and formal analysis techniques. In this context, we discussed the state-of-the-art based on the working example of a Smart Farm. Our aim was to understand the practical challenges and the capabilities and limitations of recent formal modelling and analysis techniques when tackling these challenges, and to initiate a special research community on the verification of autonomous collectives.

BibTeX - Entry

@Article{gleirscher_et_al:DR:2020:11857,
  author =	{Mario Gleirscher and Anne E. Haxthausen and Martin Leucker and Sven Linker},
  title =	{{Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432)}},
  pages =	{95--116},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2020},
  volume =	{9},
  number =	{10},
  editor =	{Mario Gleirscher and Anne E. Haxthausen and Martin Leucker and Sven Linker and},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2020/11857},
  URN =		{urn:nbn:de:0030-drops-118579},
  doi =		{10.4230/DagRep.9.10.95},
  annote =	{Keywords: autonomous collectives, control engineering, formal verification, hybrid systems, uncertainty and risk}
}

Keywords: autonomous collectives, control engineering, formal verification, hybrid systems, uncertainty and risk
Collection: Dagstuhl Reports, Volume 9, Issue 10
Issue Date: 2020
Date of publication: 26.02.2020

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI