Approximating Viability Kernels of Non-linear Systems

André M. Carvalho, João S. Sequeira

2018

Abstract

A typical concern in Robotics is to assess if it is possible to keep a robot inside a set of safe states, e.g., an autonomous car that must stay on the road. That is closely tied with the problem of computing the viability kernel of the system, i.e., the largest set of initial states for which it is guaranteed that the system has controls that keep maintain the trajectories inside the constraint set. The approach in this paper builds on previous work, on linear sampled-data systems. It is based on sampling the boundary of the constraint set, finding the states inside the viability kernel using finite-horizon forward simulation. Our adaptation extends the original algorithm, approximating the viability kernel for some non-linear systems through linearization methods. The non-linear systems here approached are the ones described by first order differential equations with continuous derivatives and convex with respect to the inputs. Existence and uniqueness conditions are also established to ensure adequate results for the whole algorithm. A practical example, with a simple non-linear system, to illustrate the proposed algorithm is also presented.

Paper Citation

in Harvard Style

Carvalho A. and Sequeira J. (2018). Approximating Viability Kernels of Non-linear Systems.In Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO, ISBN 978-989-758-321-6, pages 333-340. DOI: 10.5220/0006860903330340

in Bibtex Style

@conference{icinco18,
author={André M. Carvalho and João S. Sequeira},
title={Approximating Viability Kernels of Non-linear Systems},
booktitle={Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,},
year={2018},
pages={333-340},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006860903330340},
isbn={978-989-758-321-6},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics - Volume 2: ICINCO,
TI - Approximating Viability Kernels of Non-linear Systems
SN - 978-989-758-321-6
AU - Carvalho A.
AU - Sequeira J.
PY - 2018
SP - 333
EP - 340
DO - 10.5220/0006860903330340