A method for fast l-fold cross validation is proposed for the regularized extreme learning machine (RELM). The computational time of fast l-fold cross validation increases as the fold number decreases, which is opposite to that of naive l-fold cross validation. As opposed to naive l-fold cross valid...

As computers continue to advance, they are becoming more capable of sensing, interacting, and communicating with the physical and cyber world. Medical devices, electronic braking systems in automotive applications, and industrial control systems are examples of the many Cyber-Physical Systems (CPS) ...

Formal verification of VHSIC Hardware Description Language (VHDL) in Field-Programmable Gate Array (FPGA) design has been discussed for many years. In this paper we provide a practical approach to do so. We present a semi-automatic way to verify FPGA VHDL software deadlocks, especially those that re...

The problem of partial stability is investigated for a class of continuous-time large-scale systems. Under assumption that the null solution of the isolated subsystems is stable, based on decomposition-aggregation methods and Lyapunov second method, some theorems concerning the globally partial asym...

Non-linearity and parameter time-variety are inherent properties of lateral motions of a vehicle. How to effectively control intelligent vehicle (IV) lateral motions is a challenging task. Controller design can be regarded as a process of searching optimal structure from controller structure space a...