2 papers
eess.SY2026
Control Synthesis against LTL Specifications with Long-Run Visit Proportion Objectives
Zhiyuan Huang, Zhao Tong, Jiakai Li +2
This paper investigates the path-planning problem for systems required to satisfy a linear temporal logic (LTL) specification while achieving a desired long-run visit proportion. F…
eess.SY2026
Existential Opacity for Discrete-Event Systems with State Observations
Zhiyuan Huang, Zhao Tong, Jiakai Li +1
Opacity is a fundamental system property for confidentiality in discrete-event systems (DES). Classical opacity is typically defined under event-based observations, requiring that…