Secure Control in Partially Observable Environments to Satisfy LTL Specifications
IEEE Transactions on Automatic Control(2021)
摘要
This article studies the synthesis of control policies for an agent that has to satisfy a temporal logic specification in a partially observable environment, in the presence of an adversary. The interaction of the agent (defender) with the adversary is modeled as a partially observable stochastic game. The goal is to generate a defender policy to maximize satisfaction of a given temporal logic spe...
更多查看译文
关键词
Power capacitors,Games,Markov processes,Computers,Semantics,Robot sensing systems,Power system stability
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要