-
Interval centred form for proving stability of non-linear discrete-time systems
Abstract: In this paper, we propose a new approach to prove stability of non-linear discrete-time systems. After introducing the new concept of stability contractor, we show that the interval centred form plays a fundamental role in this context and makes it possible to easily prove asymptotic stability of a discrete system. Then, we illustrate the principle of our approach through theoretical examples. Fin… ▽ More
Submitted 13 January, 2021; originally announced January 2021.
Comments: In Proceedings SNR 2020, arXiv:2101.05256
Journal ref: EPTCS 331, 2021, pp. 1-17
-
Autonomous Cooperative Flight Control for Airship Swarms
Abstract: This work investigates two approaches for the design of autonomous cooperative flight controllers for airship swarms. The first controller is based on formation flight and the second one is based on swarm intelligence strategies. In both cases, the team of airships needs to perform two different tasks: waypoint path following and ground moving target tracking. The UAV platform considered in this w… ▽ More
Submitted 16 April, 2020; originally announced April 2020.
Comments: 16 pages, 23 figures