Nous donnons ci-dessous une liste non exhaustive de sujets possibles de projets de recherche en laboratoire. Ces sujets sont personnalisables, vous pouvez solliciter les responsables de cours intervenant dans la filière, les chercheurs et enseignants-chercheurs du LIX, et bien sûr les responsables de la filière.
- Des propositions liées à INF559 (Architecture des ordinateurs et systèmes d'exploitation) :
- Deux propositions liées à INF569 (Modélisation et analyse de systèmes cyber-physiques)
- Approximations intérieures et vérification de propriétés temporelles de systèmes hybrides
- Robotique expérimentale et sûreté de fonctionnement
(vous pouvez aussi nous solliciter pour des sujets liés aux thèmes traités en cours, cf moodle INF569)
- Une proposition liée à INF412 principalement
Parmi les anciens projets :
- Sur-approximation de systèmes différentiels avec delais (Lorenz Sahlman, qui a ensuite continué en stage à CMU et remporté un prix de stage), cf. rapport . Le sujet peut être poursuivi dans de nombreuses directions.
Here is a non-exhaustive list of possible reserch subjects in laborarory. These subjects can be personalized, you can contact the course coordinator involved in the program, researchers and LIX professors-researchers and of course the program coordinators.
- Proposals linked to INF559 (Computer Architecture and Operating Systems):
- Two proposals linked to INF569 (Decision theory, with applications to energy systems):
- Internal approximations and time property verification of hybrid systems
- Experimental robotics and operational security
(You can also contact us for subject related to those covered in class, cf. moodle INF569)
- One proposal mainly linked to INF412
Among old projects:
- delay differential equation systems (Lorenz Sahlman, who then continued on to do an intership at CMU and won a price intership), cf. report. The subject can be continued in various directions.
- Teaching coordinator: Goubault Eric
- Teaching coordinator: Putot Sylvie