Communications of the ACM

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation

C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...
Detroit Free Press

President Trump and Farley gush over F-150's value to Ford Motor Co.

President Donald Trump praised the Ford F-150 after announcing a proposal to ease vehicle emissions standards. It was the second time Trump gushed over the F-150. He did the same in October when Japan ...
IEEE

Nonparametric Data-Driven Modeling of Linear Systems: Estimating the Frequency Response and Impulse Response Function

Abstract: The aim of this article is to give a tutorial overview of frequency response function (FRF) or impulse response (IR) function measurements of linear dynamic systems. These nonparametric ...
IEEE

Tracking Control of a Linear Motor Positioner Based on Barrier Function Adaptive Sliding Mode

Abstract: The tracking performance of linear motor (LM) positioners is subject to payload uncertainty and external time-varying disturbances. Conventional robust controllers typically employ a high ...