The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
In this paper we discuss the need for learning in multi-agent design systems, and the variety of forms it might take. We propose a particular method of guiding learning in these s...
Abstract— Autonomous mobile robots are deployed in a variety of application domains, resulting in scenario specific implementations. However these systems share common component...
A new object sorting device using impulsive manipulation and air floating will be developed. First, two methods for impulsive object sorting are evaluated using computer simulatio...
Abstract— Gait evaluation techniques that use Stokes’s theorem to integrate a system’s equations of motion have traditionally been limited to finding only the net rotations ...