8 citations · 18 across the 5 of their papers we have counts for
7 papers
Privacy-Preserving Supervisory Control of Discrete-Event Systems via Co-Synthesis of Edit Function and Supervisor for Opacity Enforcement and Requirement Satisfaction
Ruochen Tai, Liyong Lin, Yuting Zhu +1
This paper investigates the problem of co-synthesis of edit function and supervisor for opacity enforcement in the supervisory control of discrete-event systems (DES), assuming the…
Networked Supervisor Synthesis Against Lossy Channels with Bounded Network Delays as Non-Networked Synthesis
Liyong Lin, Yuting Zhu, Ruochen Tai +2
In this work, we study the problem of supervisory control of networked discrete event systems. We consider lossy communication channels with bounded network delays, for both the co…
Synthesis of Covert Sensor Attacks in Networked Discrete-Event Systems with Non-FIFO Channels
Ruochen Tai, Liyong Lin, Yuting Zhu +1
In this paper, we investigate the covert sensor attack synthesis problem in the framework of supervisory control of networked discrete-event systems (DES), where the observation ch…
A Novel Fully Informed Water Cycle Algorithm for Solving Optimal Power Flow Problems in Electric Grids
Alireza Barzegar, Ali Sadollah, Rong Su
Optimal power flow (OPF) is a key tool for planning and operations in energy grids. The line-flow constraints, generator loading effect, piece-wise cost functions, emission, and vo…
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…
A pedestrian hopping model and traffic light scheduling for pedestrian-vehicle mixed-flow networks
Yi Zhang, Rong Su, Kaizhou Gao +1
This paper presents a pedestrian hopping model and a traffic signal scheduling strategy with consideration of both pedestrians and vehicles in the urban traffic system. Firstly, a…