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

Abstract: This letter presents a state estimation algorithm for linear discrete-time systems with state-delay. In order to overcome the difficulty that the traditional Kalman filter cannot estimate ...

Abstract: In this article, we examine the role of differential positivity in the contraction analysis of discrete-time nonlinear systems with parameters that follow stochastic processes. We ...

AUSTIN (KXAN) – The city of Austin is preparing to roll out a new traffic-signal system next year, designed to help ambulances and fire trucks reach their destinations faster and more safely. The new ...