Flying solo and solar to Mars

This paper describes the work done by the Autonomous Systems Lab of Ecole Polytechnique Federale de Lausanne (EPFL) on the global design of an unmanned solar airplane that can fly continuously over days and night. Part of the Sky-Sailor Project, a first prototype was designed and demonstrated to have very good flight characteristics. The prototype achieved an autonomous flight of five hours with its energy only from the sun. A lightweight control and navigation system was also designed for the aircraft.     

Thermal expansion of gray tin

Translated from Izmeritel'naya Tekhnika, No. 7, pp. 40–41, July, 1989.     

From set membership to group membership: a separation of concerns

We revisit the well-known group membership problem and show how it can be considered a special case of a simple problem, the set membership problem. In the set membership problem, processes maintain a set whose elements are drawn from an arbitrary universe: They can request the addition or removal of elements to/from that set, and they agree on the current value of the set. Group membership corresponds to the special case where the elements of the set happen to be processes. We exploit this new way of looking at group membership to give a simple and succinct specification of this problem and to outline a simple implementation approach based on the state machine paradigm. This treatment of group membership separates several issues that are often mixed in existing specifications and/or implementations of group membership. We believe that this separation of concerns greatly simplifies the understanding of this problem.