Seminars & Meetings | Abstracts

Monday, September 13, 2010

Levine 307, 11a.m. - 12:00 p.m.

William Edmonson
Director, High Performance Digital Signal Processing Laboratory
Department of Electrical & Computer Engineering
North Carolina State University
Formal Methods for Small Satellites


Small satellites are a new and exciting research area in that they give access to space at a relatively low cost. We will give an overview of the topic with a focus on a number of problems that are of interest to the embedded systems and formal methods community. In addition, we will give a brief overview of a new NSF center on small satellites that aims to make it easier for researchers to design, build and successfully launch. We intend for the talk to be interactive so that researchers in the audience can have a chance to ask questions.



William Edmonson an NIA S.P. Langley Professor at NC A & T and a co-director of ASTREC. He obtained a Ph. D. in electrical engineering from NC. State. His research interests include interval arithmetic, digital signal processing, and control theory with a focus on applying these to small satellites.