An MILP approach for real-time optimal controller synthesis with Metric Temporal Logic specifications

The fundamental idea of this work is to synthesize reactive controllers such that closed-loop execution trajectories of the system satisfies desired specifications that ensure correct system behaviors, while optimizing a desired performance criteria. We define the correctness of a system's beha...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Proceedings of the American Control Conference s. 1105 - 1110
Hlavní autori: Saha, Sayan, Julius, A. Agung
Médium: Konferenčný príspevok.. Journal Article
Jazyk:English
Vydavateľské údaje: American Automatic Control Council (AACC) 01.07.2016
Predmet:
Controllers
Dynamical systems
Dynamics
Heuristic algorithms
Indexes
Measurement
mixed integer linear programming
Modeling
reactive controller
Real time
Real-time systems
Robots
Robustness
Specifications
Temporal logic
Trajectories
Trajectory
ISSN:2378-5861
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:The fundamental idea of this work is to synthesize reactive controllers such that closed-loop execution trajectories of the system satisfies desired specifications that ensure correct system behaviors, while optimizing a desired performance criteria. We define the correctness of a system's behavior according to the system's relation to the environment, for example, the output trajectories of the system terminate in a goal set without entering an unsafe set. Using Metric Temporal Logic (MTL) specifications we can capture complex system behaviors and timing requirements, such as the output trajectories must pass through a number of way-points within a certain time frame before terminating in the goal set. Given a Mixed Logical Dynamical (MLD) system and system specifications in terms of MTL formula or simpler reach-avoid specifications, our goal is to find a closed-loop trajectory that satisfies the specifications, in non-deterministic environments. Using an MILP framework we search over the space of input signals to obtain such valid trajectories of the system, by adding constraints to satisfy the MTL formula only when necessary, to avoid the exponential complexity of solving MILP problems. We also present experimental results for planning a path in real-time for a mobile robot through a dynamically changing environment with a desired task specification.
Bibliografia:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Conference-1
ObjectType-Feature-3
content type line 23
SourceType-Conference Papers & Proceedings-2
ISSN:2378-5861
DOI:10.1109/ACC.2016.7525063