37 citations · 98 across the 28 of their papers we have counts for
5 papers · 1 filter
Supervisor Obfuscation Against Actuator Enablement Attack
Yuting Zhu, Liyong Lin, Rong Su
In this paper, we propose and address the problem of supervisor obfuscation against actuator enablement attack, in a common setting where the actuator attacker can eavesdrop the co…
Spacecraft With Interstellar Medium Momentum Exchange Reactions: The potential and limitations of propellantless interstellar travel
Drew Brisbin
All known interstellar transportation methods encounter monumental technological or engineering roadblocks, or even rely on speculative unknown science. In particular light of the…
Timed Discrete-Event Systems are Synchronous Product Structures
Liyong Lin
Timed discrete-event systems (TDES), which is a modelling formalism proposed by Brandin and Wonham, can be used for modelling scheduling and production planning problems. This pape…
Synthesis of Successful Actuator Attackers on Supervisors
Liyong Lin, Sander Thuijsman, Yuting Zhu +3
In this work, we propose and develop a new discrete-event based actuator attack model on the closed-loop system formed by the plant and the supervisor. We assume the actuator attac…
Automatic Generation of Optimal Reductions of Distributions
Liyong Lin, Tomáš Masopust, W. Murray Wonham +1
A reduction of a source distribution is a collection of smaller sized distributions that are collectively equivalent to the source distribution with respect to the property of deco…