CSL Decision and Control Group

CSL Decision and Control Group

skip to events

import, export, and share options

calendar tabs

  •  All 
  • Grid
  • Month
  • Week
  • Day
  • Search
  • (Selected tab) Detail

Event Detail Information

Event Detail Information

Temporal Logic Analysis and Control for Dynamical Systems

Speaker Professor Calin Belta, Boston University
Date Feb 22, 2012
Time 3:00 pm  
Location CSL Auditorium (B02 CSL)
Sponsor Decision & Control Laboratory, Coordinated Science Laboratory
Contact Jana Lenz
E-Mail janalenz@illinois.edu
Phone 217-244-1654
Event type seminar
Views 959

 

Decision, Control and Optimization Seminar

Decision and Control Laboratory, Coordinated Science Laboratory

 

 

Temporal Logic Analysis and Control for Dynamical Systems

 

Professor Calin Belta

Mechanical Engineering, Systems Engineering, and Bioinformatics
Boston University

 

Wednesday, February 22, 2012

3:00 PM to 4:00 PM

CSL Auditorium (B02 CSL)

 

Abstract
 

In controls, "complex" models, such as systems of differential equations, are usually checked against "simple" specifications, such as stability and set invariance.

In formal methods, "rich" specifications such as languages and formulas of temporal logics, are checked against "simple" models of software programs and digital circuits, such as (finite) transition graphs. While formal verification and control synthesis for the simplest dynamical systems are known to be undecidable, there is a need for computationally efficient methods allowing for conservative but provably correct results. In this talk, I will discuss the development of such methods for continuous and discrete-time linear systems and for continuous-time multi-affine systems. I will illustrate their application to verification and parameter synthesis of synthetic gene networks and to robot motion planning and control.

 

Biography
Calin Belta received B.S. and M.Sc. degrees in Control and Computer Science from the Technical University of Iasi and M.Sc. and Ph.D. in Mechanical Engineering from the University of Pennsylvania. He is currently an Associate Professor of Mechanical Engineering, Systems Engineering, and Bioinformatics at Boston University. His research interests include dynamics and control, formal methods, robotics, and systems biology. He is a Senior Member of the IEEE and an Associate Editor for the SIAM Journal on Control and Optimization (SICON). He received the AFOSR Young Investigator Award in 2008 and the NSF CAREER Award in 2005.

 
 

PLEASE JOIN US FOR COOKIES AND COFFEE PRIOR TO THE SEMINAR

IN ROOM 154 CSL AT 2:40PM