Analysis of Autonomous Mobile Collectives in Complex Physical Environments

Mario Gleirscher, Anne Elisabeth Haxthausen, Martin Leucker, Sven Linker

Research output: Contribution to journalConference articleResearchpeer-review

12 Downloads (Pure)

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.
Original languageEnglish
JournalDagstuhl Seminar Proceedings
Volume9
Issue number10
Pages (from-to)95-116
ISSN1862-4405
DOIs
Publication statusPublished - 2020
EventDagstuhl-Seminar 19432: Analysis of Autonomous Mobile Collectives in Complex Physical Environments - Virtual event, Wadern, Germany
Duration: 20 Oct 202023 Oct 2020

Seminar

SeminarDagstuhl-Seminar 19432
LocationVirtual event
CountryGermany
CityWadern
Period20/10/202023/10/2020

Keywords

  • Autonomous collectives
  • Control engineering
  • Formal verification
  • Hybrid systems
  • Uncertainty and risk

Fingerprint Dive into the research topics of 'Analysis of Autonomous Mobile Collectives in Complex Physical Environments'. Together they form a unique fingerprint.

Cite this