Dates
9h30-12h00
- Yan Monier (LURPA – ENS Paris-Saclay) : Identification adaptative de système à un automate hybride dans le contexte des jumeaux numériques Cyber-Physiques
- Mohamed Ghazel (ESTAS – Université Gustave Eiffel) : K/K_min diagnosability analysis in labeled Petri nets by means of linear algebraic optimization
- Olivier Boutin (3iL Ingénieurs Nantes, LS2N) : PyMinMaxGD: Python Scripting in a Dioid Framework to solve Control Problems
14h00-16h30
- Mouna Gaouar (LIS): Timed Output Synchronized Petri Nets and Synchronized State Class Graphs
- Théo Serru (LS2N – Nantes Université) : Offuscation en ligne du flot d’instructions : preuve formelle et proposition pour l’implémentation sur CVA6
- Dylan Marinho ( LIP6 – Sorbonne Université) : Ensuring opacity in timed systems
Tag