Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Tuning permissiveness of active safety monitors for autonomous systems
Show others and affiliations
2018 (English)In: 10th International Symposium on NASA Formal Methods, NFM 2018, Springer Verlag , 2018, p. 333-348Conference paper, Published paper (Refereed)
Abstract [en]

Robots and autonomous systems have become a part of our everyday life, therefore guaranteeing their safety is crucial. Among the possible ways to do so, monitoring is widely used, but few methods exist to systematically generate safety rules to implement such monitors. Particularly, building safety monitors that do not constrain excessively the system’s ability to perform its tasks is necessary as those systems operate with few human interventions. We propose in this paper a method to take into account the system’s desired tasks in the specification of strategies for monitors and apply it to a case study. We show that we allow more strategies to be found and we facilitate the reasoning about the trade-off between safety and availability. 

Place, publisher, year, edition, pages
Springer Verlag , 2018. p. 333-348
Keyword [en]
Economic and social effects, NASA, Active safety, Autonomous systems, Building safety, Human intervention, Safety rules, Trade off, Formal methods
National Category
Mechanical Engineering
Identifiers
URN: urn:nbn:se:kth:diva-227492DOI: 10.1007/978-3-319-77935-5_23Scopus ID: 2-s2.0-85045300021ISBN: 9783319779348 OAI: oai:DiVA.org:kth-227492DiVA, id: diva2:1206157
Conference
17 April 2018 through 19 April 2018
Note

Conference code: 212739; Export Date: 9 May 2018; Conference Paper; Correspondence Address: Masson, L.; LAAS-CNRS, CNRSFrance; email: lola.masson@laas.fr. QC 20180516

Available from: 2018-05-16 Created: 2018-05-16 Last updated: 2018-05-16Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Törngren, Martin

Search in DiVA

By author/editor
Cassel, SofiaTörngren, Martin
By organisation
KTHMechatronics
Mechanical Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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