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

A research team at Duke University has developed a new AI framework that can uncover simple, understandable rules that govern ...

Abstract: A typical recurrent neural network called zeroing neural network (ZNN) was developed for time-varying problem-solving in a previous study. Many applications result in time-varying linear ...

Abstract: This article investigates the stability of continuous-time switched linear systems with dwell-time constraints. A fresh insight into this established problem is provided via novel stability ...