poster

Safe and efficient fleet operation for autonomous machines: an actor-based approach

Authors:

Ali Jafari,

Jayasoorya Jayanthi Surendran Nair,

Stephan Baumgart,

Marjan SirjaniAuthors Info & Claims

SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing

Pages 423 - 426

https://doi.org/10.1145/3167132.3167382

Published: 09 April 2018 Publication History

Get Access

Abstract

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.

References

[1]

Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Arni Hermann Reynisson, Steinar Hugi Sigurdarson, and Marjan Sirjani. 2011. Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca. In FOCLASA'11. 1--19.

Crossref

Google Scholar

[2]

Afra. 2017. Afra: an integrated environment for modeling and verifying Rebeca family designs. (2017). Retrieved 2017-12-09 from https://rebeca-lang.github.io/alltools/Afra

Google Scholar

[3]

Rizvan Erol, Cenk Sahin, Adil Baykasoglu, and Vahit Kaplanoglu. 2012. A multi-agent based approach to dynamic scheduling of machines and automated guided vehicles in manufacturing systems. Applied Soft Computing 12, 6 (2012), 1720 -- 1732.

Digital Library

Google Scholar

[4]

Rebeca. 2017. Rebeca Homepage. (2017). Retrieved 2017-12-09 from http://www.rebeca-lang.org

Google Scholar

[5]

C. Secchi, R. Olmi, F. Rocchi, and C. Fantuzzi. 2015. A dynamic routing strategy for the traffic control of AGVs in automatic warehouses. In 2015 IEEE International Conference on Robotics and Automation (ICRA). 3292--3297.

Google Scholar

[6]

M. Sirjani and A. Movaghar. 2001. An Actor-Based Model for Formal Modelling of Reactive Systems: Rebeca. Technical Report CS-TR-80-01. Tehran, Iran.

Google Scholar

[7]

M. Sirjani, A. Movaghar, A. Shali, and F.S. de Boer. Dec. 2004. Modeling and Verification of Reactive Systems using Rebeca. Fundamenta Informatica 63, 4 (Dec. 2004), 385--410.

Digital Library

Google Scholar

[8]

Volvo Construction Equipment. 2017. Innovation at Volvo Construction Equipment. https://www.volvoce.com/global/en/this-is-volvo-ce/what-we-believe-in/innovation/. (2017). {Online; accessed 24-August-2017}.

Google Scholar

[9]

Danny Weyns, Tom Holvoet, Kurt Schelfthout, and Jan Wielemans. 2008. Decentralized Control of Automatic Guided Vehicles: Applying Multi-agent Systems in Practice. In Companion to the 23rd ACM SIGPLAN Conference on Object-oriented Programming Systems Languages and Applications (OOPSLA Companion '08). ACM, New York, NY, USA, 663--674.

Digital Library

Google Scholar

[10]

M. Zhang and X. Zhang. 2016. Formally verifying navigation safety for ground robots. In 2016 IEEE International Conference on Mechatronics and Automation. 1000--1005.

Google Scholar

Cited By

View all

Morshedi MPadhye SMwamba IKang KLabi SHastak M(2023)Suitability Assessment of Detour Routes for Road Construction Projects: Framework and Case StudiesJournal of Management in Engineering10.1061/JMENEA.MEENG-499539:2Online publication date: Mar-2023
https://doi.org/10.1061/JMENEA.MEENG-4995
Pooladvand STaghaddos HEslami ANekouvaght Tak AHermann U(2021)Evaluating Mobile Crane Lift Operations Using an Interactive Virtual Reality SystemJournal of Construction Engineering and Management10.1061/(ASCE)CO.1943-7862.0002177147:11Online publication date: Nov-2021
https://doi.org/10.1061/(ASCE)CO.1943-7862.0002177
Gu RMarinescu RSeceleanu CLundqvist K(2019)Towards a Two-Layer Framework for Verifying Autonomous VehiclesNASA Formal Methods10.1007/978-3-030-20652-9_12(186-203)Online publication date: 28-May-2019
https://doi.org/10.1007/978-3-030-20652-9_12
Show More Cited By

Index Terms

Safe and efficient fleet operation for autonomous machines: an actor-based approach
1. Computer systems organization
  1. Embedded and cyber-physical systems
    1. Embedded systems
      1. Embedded software
2. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
      1. Model verification and validation

Recommendations

Efficient TCTL Model Checking Algorithm for Timed Actors
AGERE! '14: Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control

Non-Polynomial time complexity of model checking algorithms for TCTL properties in dense time is one of the obstacles against using model checking for timed systems. Alternatively, polynomial time algorithms are suggested for model checking discrete ...
Modeling and Verification of Reactive Systems using Rebeca

Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their ...
Modeling and Verification of Reactive Systems using Rebeca

Actor-based modeling has been successfully applied to the representation of concurrent and distributed systems. Besides having an appropriate and efficient way for modeling these systems, one needs a formal verification approach for ensuring their ...

Comments

Information & Contributors

Information

Published In

SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing

April 2018

2327 pages

ISBN:9781450351911

DOI:10.1145/3167132

Conference Chairs:
Hisham M. Haddad
Kennesaw State University
,
Roger L. Wainwright
University of Tulsa
,
Richard Chbeir
University of Pau & Pays Adour, France

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 April 2018

Check for updates

Author Tags

Qualifiers

Poster

Funding Sources

Swedish Energy Agency

Conference

SAC 2018

Sponsor:

SIGAPP

SAC 2018: Symposium on Applied Computing

April 9 - 13, 2018

Pau, France

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
87
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Morshedi MPadhye SMwamba IKang KLabi SHastak M(2023)Suitability Assessment of Detour Routes for Road Construction Projects: Framework and Case StudiesJournal of Management in Engineering10.1061/JMENEA.MEENG-499539:2Online publication date: Mar-2023
https://doi.org/10.1061/JMENEA.MEENG-4995
Pooladvand STaghaddos HEslami ANekouvaght Tak AHermann U(2021)Evaluating Mobile Crane Lift Operations Using an Interactive Virtual Reality SystemJournal of Construction Engineering and Management10.1061/(ASCE)CO.1943-7862.0002177147:11Online publication date: Nov-2021
https://doi.org/10.1061/(ASCE)CO.1943-7862.0002177
Gu RMarinescu RSeceleanu CLundqvist K(2019)Towards a Two-Layer Framework for Verifying Autonomous VehiclesNASA Formal Methods10.1007/978-3-030-20652-9_12(186-203)Online publication date: 28-May-2019
https://doi.org/10.1007/978-3-030-20652-9_12
Baumgart SFroberg JPunnekkat S(2018)Can STPA be used for a System-of-Systems? Experiences from an Automated Quarry Site2018 IEEE International Systems Engineering Symposium (ISSE)10.1109/SysEng.2018.8544433(1-8)Online publication date: Oct-2018
https://doi.org/10.1109/SysEng.2018.8544433
Lee ESirjani M(2018)What Good are Models?Formal Aspects of Component Software10.1007/978-3-030-02146-7_1(3-31)Online publication date: 5-Oct-2018
https://doi.org/10.1007/978-3-030-02146-7_1

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Efficient TCTL Model Checking Algorithm for Timed Actors

Modeling and Verification of Reactive Systems using Rebeca

Modeling and Verification of Reactive Systems using Rebeca

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Funding Sources

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations