2 citations · 11 across the 26 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
eess.SY2019
Estimation and Verification of Partially-Observed Discrete-Event Systems
Xiang Yin
This article considers state estimation and veri cation problems for an important class of man-made cyber-physical systems called Discrete-Event Systems (DES).
eess.SY2019
A New Microscopic Traffic Model Using a Spring-Mass-Damper-Clutch System
Zhaojian Li, Firas Khasawneh, Xiang Yin +2
Microscopic traffic models describe how cars interact with their neighbors in an uninterrupted traffic flow and are frequently used for reference in advanced vehicle control design…
eess.SY2019★ 1 cited
On Approximate Opacity of Cyber-Physical Systems
Xiang Yin, Majid Zamani
Opacity is an important information-flow security property in the analysis of cyber-physical systems. It captures the plausible deniability of the system's secret behavior in the p…