Project
People
Workshops
Publications
Contact
Xavier Thirioux
Associate Professor at INPT/IRIT
IRIT-ENSEEIHT
Latest
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems
Ensuring functional correctness of cyber-physical system controllers: from model to code analyses
Cite
×