mdh.sePublications
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
Statistical Model Checking of Complex Robotic Systems
LAAS-CNRS, Université de Toulouse, CNRS, Toulouse, France.
LAAS-CNRS, Université de Toulouse, CNRS, Toulouse, France.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-2870-2680
2019 (English)In: Lect. Notes Comput. Sci., Springer , 2019, p. 114-134Conference paper, Published paper (Refereed)
Abstract [en]

Failure of robotic software may cause catastrophic damages. In order to establish a higher level of trust in robotic systems, formal methods are often proposed. However, their applicability to the functional layer of robots remains limited because of the informal nature of specifications, their complexity and size. In this paper, we formalize the robotic framework and automatically translate its components to UPPAAL-SMC, a real-time statistical model checker. We apply our approach to verify properties of interest on a real-world autonomous drone navigation that does not scale with regular UPPAAL.

Place, publisher, year, edition, pages
Springer , 2019. p. 114-134
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 11636 LNCS
Keywords [en]
Air navigation, Drones, Formal methods, Robotics, Robots, Catastrophic damage, Functional layer, Real-world, Robotic softwares, Robotic systems, Statistical model checking, Statistical modeling, Uppaal-smc, Model checking
National Category
Energy Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-46548DOI: 10.1007/978-3-030-30923-7_7Scopus ID: 2-s2.0-85075579856ISBN: 9783030309220 (print)OAI: oai:DiVA.org:mdh-46548DiVA, id: diva2:1379263
Conference
15 July 2019 through 16 July 2019
Available from: 2019-12-16 Created: 2019-12-16 Last updated: 2019-12-16Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Seceleanu, Cristina

Search in DiVA

By author/editor
Seceleanu, Cristina
By organisation
Embedded Systems
Energy Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 2 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