Resilient control and safety for cyber-physical systems

Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu

Research output: Chapter in Book/Published conference outputConference publication

Abstract

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].

Original languageEnglish
Title of host publicationProceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018
PublisherIEEE
Pages16-17
Number of pages2
ISBN (Print)9781538667484
DOIs
Publication statusPublished - 7 Aug 2018
Event3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018 - Porto, Portugal
Duration: 10 Apr 2018 → …

Conference

Conference3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018
Country/TerritoryPortugal
CityPorto
Period10/04/18 → …

Keywords

  • Flocking
  • Model-predictive-control
  • Resiliency
  • Statistical-model-checking
  • V-formation

Fingerprint

Dive into the research topics of 'Resilient control and safety for cyber-physical systems'. Together they form a unique fingerprint.

Cite this