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!
If interested, contact Antoine Girard and Alessio Iovine
Antoine.Girard@l2s.centralesupelec.fr
Alessio.Iovine@l2s.centralesupelec.fr
