Safe and Efficient Fleet Operation for Autonomous Machines: An Actor-based Approach

被引：5

作者：

Jafari, Ali ^{[1
]}

Nair, Jayasoorya Jayanthi Surendran ^{[2
]}

Baumgart, Stephan ^{[3
]}

Sirjani, Marjan ^{[1
,2
]}

机构：

[1] Reykjavik Univ, Sch Comp Sci, Reykjavik, Iceland

[2] Malardalen Univ, Sch Innovat Design & Engn, Vasteras, Sweden

[3] Volvo Construct Equipment, Syst Architecture Dept, Gothenburg, Sweden

来源：

33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING | 2018年

关键词：

Actor model; Embedded system; Timed Rebeca; Model checking; Performance evaluation; Autonomous machine;

D O I：

10.1145/3167132.3167382

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：423 / 426

页数：4

共 50 条

[41] A Simulated Annealing based Approach for Power Efficient Virtual Machines Consolidation
Marotta, Antonio
Avallone, Stefano
2015 IEEE 8TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING, 2015, : 445 - 452
[42] Sampling-efficient path planning and improved actor-critic-based obstacle avoidance for autonomous robots
Yang, Yefeng
Huang, Tao
Wang, Tianqi
Yang, Wenyu
Chen, Han
Li, Boyang
Wen, Chih-yung
SCIENCE CHINA-INFORMATION SCIENCES, 2024, 67 (05)
[43] Sampling-efficient path planning and improved actor-critic-based obstacle avoidance for autonomous robots
Yefeng YANG
Tao HUANG
Tianqi WANG
Wenyu YANG
Han CHEN
Boyang LI
Chih-yung WEN
Science China(Information Sciences), 2024, 67 (05) : 197 - 214
[44] Learning-Based Safe Control for Robot and Autonomous Vehicle Using Efficient Safety Certificate
Zheng, Haotian
Chen, Chaoyi
Li, Shuai
Zheng, Sifa
Li, Shengbo Eben
Xu, Qing
Wang, Jianqiang
IEEE OPEN JOURNAL OF INTELLIGENT TRANSPORTATION SYSTEMS, 2023, 4 : 419 - 430
[45] Learning-Based Safe Control for Robot and Autonomous Vehicle Using Efficient Safety Certificate
Nakshatri, Hemanth S.
Prakash, Jaya
IEEE TRANSACTIONS ON COMPUTATIONAL IMAGING, 2023, 9 : 551 - 564
[46] Safe and Efficient Operation of Emotional Support Robots: A Risk-Based Approach with User-Centric Tangent Bug for Blended Control
Saglam, Ahmet
Papelis, Yiannis
2024 33RD IEEE INTERNATIONAL CONFERENCE ON ROBOT AND HUMAN INTERACTIVE COMMUNICATION, ROMAN 2024, 2024, : 1848 - 1855
[47] DESIGNING MIXED-FLEET OF ELECTRIC AND AUTONOMOUS VEHICLES FOR HOME GROCERY DELIVERY OPERATION: AN AGENT-BASED MODELLING STUDY
Utomo, Dhanan Sarwo
Gripton, Adam
Greening, Philip
2022 WINTER SIMULATION CONFERENCE (WSC), 2022, : 1401 - 1412
[48] Safe operation sequences: a generation approach based on iterative refinements and abstractions of timed automata
Cochard, Thomas
Gouyon, David
Petin, Jean-Francois
IFAC PAPERSONLINE, 2017, 50 (01): : 6952 - 6957
[49] Water cycle algorithm-based optimal control strategy for efficient operation of an autonomous microgrid
Hasanien, Hany M.
Matar, Mahmoud
IET GENERATION TRANSMISSION & DISTRIBUTION, 2018, 12 (21) : 5739 - 5746
[50] Fast and Efficient Iris Segmentation Approach Based on Morphology and Geometry Operation
Khan, Tanvir Zaman
Podder, Prajoy
Hossain, Md. Foisal
8TH INTERNATIONAL CONFERENCE ON SOFTWARE, KNOWLEDGE, INFORMATION MANAGEMENT AND APPLICATIONS (SKIMA 2014), 2014,

← 1 2 3 4 5 →