Invariance Feedback Entropy for Nondeterministic Systems

Speaker: Matthias Rungger
Affiliation: Technical University of Munich

Abstract: 

We introduce a notion of invariance feedback entropy for discrete-time, nondeterministic control systems as a measure of necessary state information to enforce a given subset of the state space to be invariant. We provide conditions that guarantee finiteness and show that the well-known notion of invariance feedback entropy for deterministic systems is recovered in the deterministic case. We establish the data rate theorem which shows that the entropy equals the largest lower bound on the data rate of any coder-controller that achieves invariance.

Biography:

Matthias Rungger received the Dipl.-Ing. (M.Sc.) degree in electrical engineering from the Technical University of Munich, Munich, Germany, in 2007, and the Dr.-Ing. (Ph.D.) degree from the University of Kassel, Kassel, Germany, in 2011. He is a postdoctoral researcher with the Technical University of Munich, Munich, Germany, and is affiliated with the Hybrid Control Systems Group, Department of Electrical and Computer Engineering. His research interests include the broad area of formal methods in control, including analysis and control of cyber-physical systems and abstraction-based controller design.

For more information, contact Prof. Paulo Tabuada (tabuada@ee.ucla.edu)

Date/Time:
Date(s) - Apr 13, 2017
11:00 am - 12:30 pm

Location:
E-IV Maxwell Room #57-124
420 Westwood Plaza - 5th Flr. , Los Angeles CA 90095