By continuing to browse the site, you are agreeing to our use of cookies. (More details)
Portal > Offres > Offre UMR8506-ANTGIR-003 - Postdoc (H/F): Contrôle symbolique basé observateur

Postdoc: Observer based symbolic control

This offer is available in the following languages:
Français - Anglais

Ensure that your candidate profile is correct before applying. Your profile information will be added to the details for each application. In order to increase your visibility on our Careers Portal and allow employers to see your candidate profile, you can upload your CV to our CV library in one click!

Faites connaître cette offre !

General information

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

Missions

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.

Activities

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

Skills

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.

Work Context

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!