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...

Full description

Bibliographic Details

Published in:	IECON 2022 – 48th Annual Conference of the IEEE Industrial Electronics Society pp. 1 - 6
Main Authors:	Tokuda, Shumpei, Yamakita, Masaki, Oyama, Hiroyuki, Takano, Rin
Format:	Conference Proceeding
Language:	English
Published:	IEEE 17.10.2022
Subjects:	Closed loop systems Linear systems Nonlinear dynamical systems Nonlinear systems Numerical simulation Planning Programming
ISSN:	2577-1647
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!