On Using Composability Tools for Reliability Analysis of Unmanned Multi-Aircraft Systems: A Case Study

On Using Composability Tools for Reliability Analysis of Unmanned Multi-Aircraft Systems: A Case Study

This paper presents a case study that demonstrates how tools from compositional verification can be used to design and analyze complex multi-agent systems operating in dynamic and uncertain environments. The case study concerns the design of an unmanned multi-aircraft system tasked to compromise an...

Full description

Bibliographic Details
Main Authors: Devaprakash Muniraj, Dany Abou Jaoude, Mazen Farhood
Format: Article
Language:English
Published: IEEE 2020-01-01
Series:IEEE Access
Subjects:
Compositional reasoning
formal verification
system analysis and design
temporal logic of actions
unmanned aerial vehicles
Online Access:https://ieeexplore.ieee.org/document/8960336/

Internet

https://ieeexplore.ieee.org/document/8960336/

Similar Items