This paper examines the safety verification of the sample path of Ito’s stochastic differential equations (SDE) using a notion of stochastic zeroing barrier function (SZBF). It is shown that an e…
This paper proposes a data-driven method for the automatic construction of chemical reaction network graph. For a given set of chemical species measurements and their (approximate) time derivatives…
This paper studies a formation control problem in communication-based train control (CBTC) implementation under an event-triggered control scheduling framework using the formalism of input-to-state…
A detection scheme for the presence of actuator intrusions on cyber-physical systems is proposed through a combination use of a switching controller (SC) and an eventtriggered control scheduling me…
One important task in the deployment of a wireless sensor network is solving the sensor network localization problem to assure location awareness of each sensor node in the network. The sensor netw…
This paper proposes an approach for regulating the stability of an inverted pendulum that is attached on top of a moving quadrotor UAV. The approach is based on the receding horizon control scheme …
For railway signalling and control tasks, Takagi’s synchronization control approach [1] can be used to shorten the headway between adjacent trains which operate under the moving block signalling …
Networked control systems (NCS) typically utilize networks of computers and communication links to automatically monitor and manage the plant-sensor-controller-actuator interactions and data exchan…
The cryogenic separation process is typically used to extract specific components of the air in high purity gas or liquid forms. This paper proposes a computational approach for synthesizing opt…
This paper presents a distributed resilient control approach for a vehicle platooning system wherein the utilized communication network is subject to a type of cyber attack called denial-of-serv…