Experimental verification of coverage control of multi‐agent systems with obstacle avoidance
Abstract Multi‐agent systems are a significant and popular area of study in robotics, focusing on efficient and safe coordination among multiple agents. This paper presents algorithms for safe coverage control in multi‐agent systems, addressing key challenges such as coverage control and obstacle av...
Saved in:
| Main Authors: | Fidelia Chaitra Siri, Jie Song, Mikhail Svinin |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2024-12-01
|
| Series: | The Journal of Engineering |
| Subjects: | |
| Online Access: | https://doi.org/10.1049/tje2.70045 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Construction and Verification of PLC-programs by LTL-specification
by: E. V. Kuzmin, et al.
Published: (2013-08-01) -
Construction and Verification of PLC LD-programs by LTL-specification
by: E. V. Kuzmin, et al.
Published: (2013-12-01) -
Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal
by: Farid Arfi, et al.
Published: (2023-08-01) -
Automatic verification of multi-agent systems security properties specified with LTL
by: Kholud Alghamdi, et al.
Published: (2022-05-01) -
Safe 3D Coverage Control for Multi-Agent Systems
by: Wenbin Liu, et al.
Published: (2025-04-01)