2 papers
eess.SY2022
Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition
Xinyi Yu, Chuwei Wang, Dingran Yuan +2
In this paper, we investigate the problem of Model Predictive Control (MPC) of dynamic systems for high-level specifications described by Signal Temporal Logic (STL) formulae. Rece…
eess.SY2022
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems
Bohan Cui, Xiang Yin, Shaoyuan Li +1
In this paper, we investigate a class of information-flow security properties called opacity in partial-observed discrete-event systems. Roughly speaking, a system is said to be op…