kth.sePublications KTH
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Modular Approach to Verification of Learning Components in Cyber-Physical Systems
The Daniel Guggenheim School of Aerospace Engineering, Georgia Institute of Technology, 270 Ferst Dr, Atlanta, GA, 30313, USA, 270 Ferst Dr.
The Daniel Guggenheim School of Aerospace Engineering, Georgia Institute of Technology, 270 Ferst Dr, Atlanta, GA, 30313, USA, 270 Ferst Dr.
The Daniel Guggenheim School of Aerospace Engineering, Georgia Institute of Technology, 270 Ferst Dr, Atlanta, GA, 30313, USA, 270 Ferst Dr.
KTH, School of Electrical Engineering and Computer Science (EECS), Intelligent systems, Information Science and Engineering.ORCID iD: 0000-0001-5983-0875
Show others and affiliations
2023 (English)In: AIAA SciTech Forum and Exposition, 2023, American Institute of Aeronautics and Astronautics AIAA , 2023Conference paper, Published paper (Refereed)
Abstract [en]

In this work, we aim to provide a framework that enables the operator of a cyber-physical system to assess its operation in the presence of data-driven, learning components. Towards this, we leverage Architecture Analysis & Design Language (AADL) to provide a representation of the system’s components and their interconnections to construct a modular environment allowing for the inclusion of different detection and learning mechanisms, which supports a full model-based development including system specification, analysis, system tuning, integration, and upgrade over the lifecycle. Specifically, we illustrate the propagation of errors throughout system components due to adversarial attacks in the learning processes for a UAV system and obtain safety tolerance thresholds.

Place, publisher, year, edition, pages
American Institute of Aeronautics and Astronautics AIAA , 2023.
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:kth:diva-351507DOI: 10.2514/6.2023-0131Scopus ID: 2-s2.0-85199047455OAI: oai:DiVA.org:kth-351507DiVA, id: diva2:1891054
Conference
AIAA SciTech Forum and Exposition, 2023, Orlando, United States of America, Jan 23 2023 - Jan 27 2023
Note

 Part of ISBN 9781624106996

QC 20240821

Available from: 2024-08-21 Created: 2024-08-21 Last updated: 2024-08-21Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Kanellopoulos, Aris

Search in DiVA

By author/editor
Kanellopoulos, Aris
By organisation
Information Science and Engineering
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 44 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf