1 Search Results for "Haxthausen, Anne E."


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

Authors: Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, and Sven Linker

Published in: Dagstuhl Reports, Volume 9, Issue 10 (2020)


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.

Cite as

Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, and Sven Linker. Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). In Dagstuhl Reports, Volume 9, Issue 10, pp. 95-116, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)


Copy BibTex To Clipboard

@Article{gleirscher_et_al:DagRep.9.10.95,
  author =	{Gleirscher, Mario and Haxthausen, Anne E. and Leucker, Martin and Linker, Sven},
  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 =	{Gleirscher, Mario and Haxthausen, Anne E. and Leucker, Martin and Linker, Sven},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.9.10.95},
  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}
}
  • Refine by Author
  • 1 Gleirscher, Mario
  • 1 Haxthausen, Anne E.
  • 1 Leucker, Martin
  • 1 Linker, Sven

  • Refine by Classification

  • Refine by Keyword
  • 1 autonomous collectives
  • 1 control engineering
  • 1 formal verification
  • 1 hybrid systems
  • 1 uncertainty and risk

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2020

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail