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á bibliografia

Vydané v:	IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society s. 1 - 6
Hlavní autori:	Tokuda, Shumpei, Yamakita, Masaki, Oyama, Hiroyuki, Takano, Rin
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 17.10.2022
Predmet:	Closed loop systems Linear systems Nonlinear dynamical systems Nonlinear systems Numerical simulation Planning Programming
ISSN:	2577-1647
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!