Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic Specifications
This paper focuses on optimization-based control of multi-aircraft systems that have several mission objectives. Signal Temporal Logic (STL) is used to express the mission specifications that combine temporal and logical constraints. A methodology is presented to construct an optimization problem in...
Main Authors: | Baris Baspinar, Hamsa Balakrishnan, Emre Koyuncu |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2019-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/8882209/ |
Similar Items
-
Mission Planning and Control of Multi-Aircraft Systems With Signal Temporal Logic Specifications
by: Baspinar, Baris, et al.
Published: (2022) -
Assessment of Aerial Combat Game via Optimization-Based Receding Horizon Control
by: Baris Baspinar, et al.
Published: (2020-01-01) -
Segmented Standard Taxi Routes—A New Way to Integrate Remotely Piloted Aircraft into Airport Surface Traffic
by: Michael Finke, et al.
Published: (2020-06-01) -
Airspace Geofencing and Flight Planning for Low-Altitude, Urban, Small Unmanned Aircraft Systems
by: Joseph Kim, et al.
Published: (2022-01-01) -
Logical foundations and implementation of an extension of temporal logic
by: María Laura Cobo, et al.
Published: (2000-03-01)