We have an open PhD position in Systems and Control at Université Paris-Saclay on control and monitoring of cyber-physical systems using contract-based approaches.
We aim at developing characterizations of assume-guarantee contracts using invariant sets of dynamical systems. The position is fully funded within the RTE-CentraleSupélec chair.
Great research problems in with both theoretical and computational challenges!
Contact Antoine Girard and Alessio Iovine if interested: