Linear Temporal Logic-based Mixed-Integer Linear Problem Planning with the Koopman Operator

We present a formulation for a linear temporal logic (LTL)-based task planning using the Koopman operator. The dynamics of nonlinear systems can be represented as linear systems by lifting them to a space of augmented states using the Koopman operator. On the other hand, the lifted linear system can...

Celý popis

Podrobná bibliografie

Vydáno v:	IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society s. 1 - 6
Hlavní autoři:	Tokuda, Shumpei, Yamakita, Masaki, Oyama, Hiroyuki, Takano, Rin
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 17.10.2022
Témata:	Closed loop systems Linear systems Nonlinear dynamical systems Nonlinear systems Numerical simulation Planning Programming
ISSN:	2577-1647
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!