论文标题
连续时间随机系统的风险结合的时间逻辑控制
Risk-Bounded Temporal Logic Control of Continuous-Time Stochastic Systems
论文作者
论文摘要
在最近对风险感受控制的兴趣的激励下，我们研究了一个连续的时间控制综合问题，以限制随机线性系统违反给定规范的风险。我们使用风险信号的时间逻辑作为一种规范形式主义，在该形式主义中，在该形式主义中，将分布稳健的风险谓词考虑并配备了通常的布尔和临时操作员。我们的控制方法依赖于对系统的均值和协方差状态进行确定性谓词的重新重新规定。然后，我们从规范的定时自动机表示中获得了一组平均值和协方差状态的序列。为了避免在自动机状态的数量中爆炸，我们建议启发式方法有效地找到候选序列。为了执行和检查这些序列的动态可行性，我们根据时间离散化和约束收紧提出了采样的数据控制技术，该技术允许执行定时过渡，同时满足连续的时间约束。
Motivated by the recent interest in risk-aware control, we study a continuous-time control synthesis problem to bound the risk that a stochastic linear system violates a given specification. We use risk signal temporal logic as a specification formalism in which distributionally robust risk predicates are considered and equipped with the usual Boolean and temporal operators. Our control approach relies on reformulating these risk predicates as deterministic predicates over mean and covariance states of the system. We then obtain a timed sequence of sets of mean and covariance states from the timed automata representation of the specification. To avoid an explosion in the number of automata states, we propose heuristics to find candidate sequences effectively. To execute and check dynamic feasibility of these sequences, we present a sampled-data control technique based on time discretization and constraint tightening that allows to perform timed transitions while satisfying the continuous-time constraints.
