Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Towards architecture-wide analysis, verification, and validation for total system stability during goal-seeking space robotics operations
Vise andre og tillknytning
2016 (engelsk)Inngår i: AIAA Space and Astronautics Forum and Exposition, SPACE 2016, American Institute of Aeronautics and Astronautics, 2016Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

In this paper we discuss the beginnings of an attempt to define and analyze the stability of an entire modular robotic system architecture - one which includes a three-tier (3T) layer breakdown of capabilities, with symbolic, deterministic planning at the highest level. We approach the problem from the standpoint of a control theory outlook, and try to formalize the issues that result from trying to quantitatively characterize the overall performance of a well-defined system without a need for exhaustive testing. We start by discussing the concept of bounded-input bounded-output stability, giving examples where the technique might not be sufficient to guarantee what we term “total system stability” due to complications associated with the levels of abstraction between the modules and components that are being chained together in the architecture. We then go on to discuss necessary conditions that may fall out of this naturally as a result. We further try to better-define the input and output constraints needed to guarantee total system stability, using an assumption-guarantee-like contractual framework that sits alongside the architecture; the requirements then may have influence across multiple modules, in order to keep consistency. We also discuss how the structure of the architectural modules may help or hinder the process of capability characterization and performance analysis of each module and a given architecture configuration as a whole. We then discuss two overlapping methods that, combined, should allow us to analyze the effectiveness of the architecture, and help towards verification and validation of both the components and the system as a whole. Demonstrative examples are given using a specific architectural implementation called the Resilient Spacecraft Executive. In future work, we hope to define both necessary and sufficient conditions for total system stability across such a system architecture for robotics use.

sted, utgiver, år, opplag, sider
American Institute of Aeronautics and Astronautics, 2016.
Emneord [en]
Computer architecture, Robot programming, Robotics, Space flight, Architecture configuration, Bounded input bounded output stabilities, Exhaustive testing, Input and output constraints, Levels of abstraction, Performance analysis, System architectures, Verification-and-validation, System stability
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-201824Scopus ID: 2-s2.0-84995614845ISBN: 9781624104275 (tryckt)OAI: oai:DiVA.org:kth-201824DiVA, id: diva2:1074985
Konferanse
AIAA Space and Astronautics Forum and Exposition, SPACE 2016, 13 September 2016 through 16 September 2016
Merknad

QC 20170216

Tilgjengelig fra: 2017-02-16 Laget: 2017-02-16 Sist oppdatert: 2017-02-16bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Scopus

Søk i DiVA

Av forfatter/redaktør
Colledanchise, MicheleÖgren, Petter
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 77 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf