Affordable Access

Publisher Website

Time-constrained temporal logic control of multi-affine systems

Authors
Journal
Nonlinear Analysis Hybrid Systems
1751-570X
Publisher
Elsevier
Volume
10
Identifiers
DOI: 10.1016/j.nahs.2013.03.002
Keywords
  • Multi-Affine Systems
  • Control Design
  • Linear Temporal Logic
  • Automata Theory
Disciplines
  • Computer Science

Abstract

Abstract In this paper, we consider the problem of controlling a dynamical system such that its trajectories satisfy a temporal logic property in a given amount of time. We focus on multi-affine systems and specifications given as syntactically co-safe linear temporal logic formulas over rectangular regions in the state space. The proposed algorithm is based on estimating the time bounds for facet reachability problems and solving a time optimal reachability problem on the product between a weighted transition system and an automaton that enforces the satisfaction of the specification. A random optimization algorithm is used to iteratively improve the solution.

There are no comments yet on this publication. Be the first to share your thoughts.