Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
The Center for Control, Dynamical Systems, and Computation University of California at Santa Barbara
 

Summary: The Center for Control, Dynamical Systems, and Computation
University of California at Santa Barbara
Winter 2007 Seminar Series
Presents
On the Synthesis of Correct-by-Design Embedded
Control Software
Paulo Tabuada
University of California, Los Angeles
Friday, February 9th, 2007 3:00pm-4:00pm ESB 2001
Abstract:
Recent advances in information technology are fostering the use of embedded microprocessors and
wireless radios in the most diverse everyday objects. Examples include portable accessories such
as mobile phones and PDAs; home appliances such as refrigerators, toasters and coffee machines;
medical equipment such as defibrillators, dialysis machines and MRI's among many other systems.
These embedded computing devices react to stimuli originating both from the continuous environment
and from other neighboring devices resulting in complex behavior that is difficult to analysis and to
prescribe. In this talk I will focus on the problem of synthesizing embedded control software that is
provably correct by design. This approach contrasts with current techniques where formal verification
plays an important role in ensuring correctness of operation. I will show how it is possible to automatically
synthesize controllers from discrete specifications (languages, finite state machines, temporal logics,

  

Source: Akhmedov, Azer - Department of Mathematics, University of California at Santa Barbara

 

Collections: Mathematics