MetiTarski, an automatic proof procedure for inequalities on elementary functions, can be used to verify control and hybrid systems. We perform a stability analysis of control syst...
— Microrobots experience physical phenomena that are difficult to model analytically and that are not completely captured with macro-scale prototypes. In this paper we present a...
Michael P. Kummer, Jake J. Abbott, Karl Vollmers, ...
This article presents an approach to path following control design based on transverse feedback linearization. A "transversal" controller is designed to drive the output...
Christopher Nielsen, Cameron Fulford, Manfredi Mag...
Solid state drives perform random reads more than 100x faster than traditional magnetic hard disks, while offering comparable sequential read and write bandwidth. Because of their...
— A promising approach for ultra high data storage capacities in magnetic hard disk drives is the use of bitpatterned media (BPM) that allows both higher track densities and incr...