Faites connaître cette offre !
Reference : UMR8506-ANTGIR-003
Workplace : GIF SUR YVETTE
Date of publication : Monday, December 23, 2019
Type of Contract : FTC Scientist
Contract Period : 12 months
Expected date of employment : 1 April 2020
Proportion of work : Full time
Remuneration : between € 2,600 and € 2,900 gross salary depending on experience
Desired level of education : PhD
Experience required : Indifferent
This postdoctoral contract is in the context of the ERC PROCSYS project dealing with cyber-physical systems. Cyber-physical systems (CPS) consist of computational elements monitoring and controlling physical entities. The main objective of the PROCSYS project is to propose a general framework for the design of CPS that will allow engineers to develop advanced functionalities using a high-level language for specifying the behaviors of a CPS. Controllers enforcing the specified behaviors will be generated using an automated model-based synthesis tool. Correctness of the controllers will be guaranteed by following the correct by construction synthesis paradigm through the use of symbolic control techniques: the continuous physical dynamics is abstracted by a symbolic model, which is a discrete dynamical system; an interface consisting of low-level controllers is designed such that the physical system and the symbolic model behaves identically; a high-level symbolic controller is then synthesized automatically from the high-level specification and the symbolic model.
Within this project, the postdoctoral researcher will develop control approaches when the state of the system is only partially known. Indeed, most of the work on symbolic control assumes that the state of the system is perfectly known. In practice, this is seldom the case and only partial information on the state is usually available. Observers are classical tools in control theory to estimate the system state from a set of measurements. In this work, we will investigate how observers can be combined with symbolic control techniques to develop controllers with partial information that are correct by construction. We will first focus on computing symbolic models that simulates the stationary dynamics of the original system coupled with an observer. To handle transient effects, we will then use these symbolic models in combination with robust symbolic control techniques.
The postdoctoral researcher will have to carry out the following activities in collaboration with the project leader:
- Bibliographic work
- Theoretical and methodological developments
- Implementation of algorithms in Matlab
- Validation on numerical case studies (in Matlab)
- Writing articles and presenting results in conferences
- Possibility of co-supervision of Master trainees
The candidate must hold a doctorate in control or computer science with a solid background in mathematics. Prior experience in the field of hybrid systems is recommended. Programming skills are also required.
The L2S - Laboratory of Signals and Systems (UMR8506) is a joint research unit CNRS, CentraleSupélec and University Paris Sud, located in Gif-sur-Yvette. The L2S has about 260 people including 108 permanent members, 118 doctoral students and 33 postdocs. It is organized into 3 research divisions (Signal and Statistics Center, Automation and Systems Division and Telecom and Networks Pole). The 3 scientific centers rely on 3 research support divisions: a Human Resources and Communication Management division, a Financial Management division, placed under the responsibility of the director and an IT division. The structure of the unit is completed by a Scientific Computing pole. The budget executed by the laboratory is approximately € 3 million per year.
We talk about it on Twitter!