C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
Abstract: Visual-inertial navigation system (VINS) is a state-of-the-art technology for estimating the motion and position of moving objects, such as drones and robots. Tightly coupled methods have ...
Abstract: The power-split hybrid electric vehicle (PS-HEV) is a complex and high-dimensional system that only through overall system-level optimization, considering the synergies and complementation ...