Theoretical Foundations of Cyber-Physical Systems

CCI faculty bring diverse mathematical perspectives to bear on studying foundational problems in Cyber-Physical Systems. We have expertise in control theory, optimization, machine learning and AI, information and communication theory, signal processing, and game theory.

Optimization and Control

Our faculty are doing foundational research on many facets of optimization and control that are relevant to CPS and IoT systems:

  • Distributed and hierarchical control
  • Network Economics and Game Theory
  • Stochastic control and Markov Decision Processes
  • Distributionally robust optimization and control
  • Fractal-based optimization and control

Faculty Involved: Mihailo Jovanovic, Ketan Savla, Rahul Jain, Insoon Yang, Paul Bogdan

Information and Communication Theory

Our team has expertise in

  • Network coding applied to communication and distributed computation
  • Ultra-wide band communication and localization
  • Multi-user distributed MIMO communications
  • Cognitive radio and white-spaces

Faculty Involved: Salman Avestimehr, Andreas Molisch, Konstantinos Psounis, Bhaskar Krishnamachari

Signal Processing

In this area, CCI faculty research has included pioneering works on

  • Graph signal processing
  • Nonconvex optimization methods for signal recovery

Faculty Involved: Antonio Ortega, Mahdi Soltanolkotabi

Design, Synthesis and Verification

In this area, CCI faculty research are working on

  • formal methods, with emphasis on logic, verification, and automated reasoning
  • Design methodogies for CPS systems using contracts, compositional methods, automated formal methods and optimization.

Faculty Involved: Chao Wang, Pierluigi Nuzzo