Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{2212726, author = {Iqbal, Danish and Bühnová, Barbora}, address = {USA}, booktitle = {2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC)}, doi = {http://dx.doi.org/10.1109/SMC53654.2022.9945227}, keywords = {Trust; Modeling; Autonomous Drones; Digital Twin; Run-time Verification}, howpublished = {elektronická verze "online"}, language = {eng}, location = {USA}, isbn = {978-1-6654-5258-8}, pages = {656-662}, publisher = {IEEE}, title = {Model-based Approach for Building Trust in Autonomous Drones through Digital Twins}, url = {https://ieeexplore.ieee.org/document/9945227}, year = {2022} }
TY - JOUR ID - 2212726 AU - Iqbal, Danish - Bühnová, Barbora PY - 2022 TI - Model-based Approach for Building Trust in Autonomous Drones through Digital Twins PB - IEEE CY - USA SN - 9781665452588 KW - Trust KW - Modeling KW - Autonomous Drones KW - Digital Twin KW - Run-time Verification UR - https://ieeexplore.ieee.org/document/9945227 N2 - The 21st century is the age of automation. The automotive industry is converging towards deployment of com- plete automation by 2030. But are humans ready for it, or will they be hesitant to adopt it due to the lack of trust? To safeguard future autonomous mobility, robust run-time trust assurance and assessment is necessary. One strategy that is so far under-explored is rooted in involving the intelligence inside the autonomous agents, which could be directed towards detection of trust-breaking behaviour in other agents so that problematic vehicles are reported before they can engage in harmful behaviour. To support the progress in this direction, we propose a peer-to- peer model-based run-time trust assessment method, employing the model in terms of a Digital Twin for an autonomous vehicle (drone in our case) to ensure the trusted execution of intelligent agents. In this research, we examine the role of the Digital Twin in the trust-building scenario, and propose the characteristics of the intended Digital Twin model. To illustrate the approach, we present a case study of an autonomous-drone food delivery system and use formal approaches such as Petri Nets and Finite State Machines (FSM) to evaluate the scenario and demonstrate how trust could be built among autonomous drones or other vehicles. ER -
IQBAL, Danish a Barbora BÜHNOVÁ. Model-based Approach for Building Trust in Autonomous Drones through Digital Twins. Online. In \textit{2022 IEEE International Conference on Systems, Man, and Cybernetics (SMC)}. USA: IEEE, 2022, s.~656-662. ISBN~978-1-6654-5258-8. Dostupné z: https://dx.doi.org/10.1109/SMC53654.2022.9945227.
|