Automated synthesis of embedded control software

Abstract:     

Cyber-physical systems (CPS) are complex heterogeneous systems where software components interact tightly with physical ones. At the core of these systems there exists embedded control software playing a crucial role by monitoring and controlling the physical components. Although CPS have become widely present, the development of control software running on these systems is still ad hoc and error-prone. In this talk, I will propose a transformative design process, in which the controller code is automatically synthesized from high-level correctness requirements in a provably correct fashion. In particular, I will leverage decomposition and abstraction as two key tools to tackle the synthesis complexity, by either breaking the design object into semi-independent parts or by aggregating components and eliminating unnecessary details. I will show the effectiveness of the proposed results on some case studies.

 

Type of Seminar:
 Control Seminar

 

Speaker:

Dr. Majid Zamani

Date/Time:

  Tuesday 8 Esfand 96/ 4:30pm

Location:

 Bargh 6, EE

Contact Person:

  Amin Rezaeizadeh

Biographical Sketch:
 

 Majid Zamani is an assistant professor in the Department of Electrical and Computer Engineering at Technical University of Munich where he leads the Hybrid Control Systems Group. He received a Ph.D. degree in Electrical Engineering and an MA degree in Mathematics both from University of California, Los Angeles in 2012, and an M.Sc. degree in Electrical Engineering from Sharif University of Technology in 2007. From September 2012 to December 2013, he was a postdoctoral researcher in the Delft Centre for Systems and Control at Delft University of Technology. Between December 2013 and May 2014, he was an assistant professor at Delft University of Technology.