January 10, 2017

Talk of Prof. Majid Zamani

--- Title: Lyapunov and Shannon meet Church: Automated Synthesis of Controllers and Entropy

January 10, 2017

Prof. Majid Zamani   
Dept. of Electrical and Computer Engineering
Technical University, Munich, Germany


Tuesday, 2017-01-10 16:00
IST-Seminar-Room V9.22 - Pfaffenwaldring 9 - Campus Stuttgart-Vaihingen




Cyber-physical systems (CPS) are complex heterogeneous systems where software components interact tightly with physical ones. At the core of these applications 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 fallible. In the first part of the talk, I will propose a design process, in which the controller code is automatically synthesized from high-level correctness requirements in a provably correct fashion. The proposed solution is unifying techniques from discrete systems theory from computer science (initiated by Church) with continuous dynamical systems from control theory (initiated by Lyapunov).

In the second part of the talk, time permitting, I will introduce a notion of invariance feedback entropy (inspired by the Shannon entropy) for non-deterministic control systems as a measure of necessary state information to enforce a given subset of the state space to be invariant. For finite systems, the proposed invariance feedback entropy can be computed automatically via a mean-payoff game (initiated by Church).




Biographical Information


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 a 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.





To the top of the page