Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints

Autor:	Ulusoy, Alphan, Wongpiromsarn, Tichakorn, Belta, Calin
Rok vydání:	2012
Předmět:	Computer Science - Robotics Computer Science - Logic in Computer Science
Druh dokumentu:	Working Paper
Popis:	In this paper, we present a method for optimal control synthesis of a plant that interacts with a set of agents in a graph-like environment. The control specification is given as a temporal logic statement about some properties that hold at the vertices of the environment. The plant is assumed to be deterministic, while the agents are probabilistic Markov models. The goal is to control the plant such that the probability of satisfying a syntactically co-safe Linear Temporal Logic formula is maximized. We propose a computationally efficient incremental approach based on the fact that temporal logic verification is computationally cheaper than synthesis. We present a case-study where we compare our approach to the classical non-incremental approach in terms of computation time and memory usage. Comment: Extended version of the CDC 2012 paper
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1209.0136 Zobrazit plný text záznamu View this record from Arxiv