Electrical Engineering and Computer Science Faculty Publications

Document Type

Article

Publication Title

International Journal of Advanced Computer Science and Applications

Abstract

—Advancement in artificial intelligence, internet of things and information technology have enabled the delegation of execution of autonomous services to autonomous systems for civil applications. It is envisioned, that with an increase in the demand for autonomous systems, the decision making associated in the execution of the autonomous services will be distributed, with some of the responsibility in decision making, shifted to the autonomous systems. Thus, it is of utmost importance that we assure the correctness of distributed protocols, that multiple autonomous systems will follow, as they interact with each other in providing the service. Towards this end, we discuss our proposed framework to model, analyze and assure the correctness of distributed protocols executed by autonomous systems to provide a service. We demonstrate our approach by formally modeling the behavior of autonomous systems that will be involved in providing services in the Urban Air Mobility framework that enables air taxis to transport passengers. © 2020 Science and Information Organization. All rights reserved.

First Page

61

DOI

10.14569/IJACSA.2020.0111208

Publication Date

2020

Download

Share

COinS