When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
— Autonomous underwater vehicles (AUVs) are an indispensable tool for marine scientists to study the world’s oceans. The Slocum glider is a buoyancy driven AUV designed for mis...
Abstract— Due to their rapidity and their high resolution, piezoelectric materials are very prized in microactuators and microrobotics. The classical example is the piezocantilev...
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
Madhukar Anand, Sebastian Fischmeister, Jesung Kim...
Social insect societies and more specifically ant colonies, are distributed systems that, in spite of the simplicity of their individuals, present a highly structured social organi...