37 citations · 98 across the 28 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2021★ 2 cited
A Topological Approach for Computing Supremal Sublanguages for Some Language Equations in Supervisory Control Theory
Liyong Lin, Rong Su
In this paper, we shall present a topological approach for the computation of some supremal sublanguages, often specified by language equations, which arise from the study of the s…
cs.FL2016★ 6 cited
Supervisor Synthesis to Thwart Cyber Attack with Bounded Sensor Reading Alterations
Rong Su
One of the major challenges about cyber physical systems is how to prevent cyber attacks to ensure system integrity. There has been a large number of different types of attacks dis…