Aarhus University Seal / Aarhus Universitets segl

Lukas Esterle

Resilient control and safety for cyber-physical systems

Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisKonferenceartikelForskningpeer review

DOI

  • Anna Lukina, Vienna University of Technology
  • ,
  • Ashish Tiwari, Microsoft Research Asia
  • ,
  • Scott A. Smolka, Stony Brook University
  • ,
  • Lukas Esterle
  • Junxing Yang, Stony Brook University
  • ,
  • Radu Grosu, Vienna University of Technology

Many Cyber-Physical Systems (CPSs) are comprising a multitude of computing entities that can collectively exhibit an emergent behavior. A compelling example of such systems is the drone swarm, which are beginning to see increasing application in battlefield surveillance and reconnaissance. The emergent behavior they exhibit is that of flight formation. A particularly interesting flight configuration is V-formation, especially for long-range missions. V-formation is emblematic of migratory birds such as Canada geese, where a bird flying in the upwash region of the bird in front of it can enjoy significant energy savings. In addition, the V-formation offers a clear view benefit, as no bird's field of vision is obstructed by another bird in the formation. Hence, it is important to quantify the resiliency of the control algorithms underlying this class of CPSs to various kinds of attacks. This question provides the motivation for the investigation put forth in this abstract and detailed in [4].

OriginalsprogEngelsk
TidsskriftProceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018
Sider (fra-til)16-17
Antal sider2
DOI
StatusUdgivet - 7 aug. 2018
Eksternt udgivetJa
Begivenhed3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018 - Porto, Portugal
Varighed: 10 apr. 2018 → …

Konference

Konference3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018
LandPortugal
ByPorto
Periode10/04/2018 → …

Se relationer på Aarhus Universitet Citationsformater

ID: 170580325