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

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 ...

Abstract: We study the stability of an equilibrium of arbitrarily switched, autonomous, continuous-time systems through the computation of a common Lyapunov function (CLF). The switching occurs ...