On a notion of stochastic zeroing barrier function
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…
Data-driven construction of chemical reaction network graph using constrained…
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…
An input-to-state stable implementation of event-triggered CBTC
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…
Energy-based modeling and swing up control synthesis of an inverted pendulum …
The inverted pendulum system (IPS) on a cart is an example benchmark that is often used to demonstrate the modeling and control design frameworks of modern control systems. This paper describes the…
An actuator intrusion detection mechanism for event-triggered moving target d…
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…
Polynomial-based linear programming relaxation of sensor network localization…
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…
The regulation of a quadrotor UAV carrying a pendulum using receding horizon …
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 …
A GPS measurement-based map conversion scheme for railway synchronization con…
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 …
A PSO-based moving target defense control optimization scheme
This paper proposes the use of a moving target defense (MTD) control scheme to detect and mitigate cyber attacks from malicious adversaries on cyber-physical systems. To ensure the optimal performa…
MILP-based optimization of compressor operation for boil-off gas handling in …
One important challenge in liquefied natural gas (LNG) supply chain is that of improving its power efficiency by reducing/minimizing the cost/spending of its power consumption. Such consumption is …
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah