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
Safe and efficient fleet operation for autonomous machines: An actor-based approach
Reykjavik University, Iceland.
Mälardalen University.
Volvo Construction Equipment, Sweden.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Reykjavik University, Iceland.
2018 (English)In: Proceedings of the ACM Symposium on Applied Computing, 2018, p. 423-426Conference paper, Published paper (Refereed)
Abstract [en]

In this paper, we formally model and verify run-time requirements of an application consisting of complex electrified machines called HX autonomous haulers, developed by Volvo Construction Equipment. To model the fleet control, we use Timed Rebeca, an actor-based modeling language, and to analyze the system performance, we use Afra, an integrated environment for modeling and verifying distributed systems modeled by Rebeca or Timed Rebeca language. We run a set of experiments to find the improved configuration in which the total time for machines to complete one operating cycle is minimized. 

Place, publisher, year, edition, pages
2018. p. 423-426
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-40371DOI: 10.1145/3167132.3167382ISI: 000455180700061Scopus ID: 2-s2.0-85050546231ISBN: 9781450351911 (print)OAI: oai:DiVA.org:mdh-40371DiVA, id: diva2:1239541
Conference
33rd Annual ACM Symposium on Applied Computing, SAC 2018, 9 April 2018 through 13 April 2018
Available from: 2018-08-16 Created: 2018-08-16 Last updated: 2019-03-29Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Sirjani, Marjan

Search in DiVA

By author/editor
Nair, Jayasoorya Jayanthi SurendranSirjani, Marjan
By organisation
Mälardalen UniversityEmbedded Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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