Tentative Programme
Dec. 1st, 2021, 10h00-17h00, Inria Paris, salle Philippe Flajolet
- 10h00-10h30 Welcome, introduction
- 10h30-11h15 Marc Pouzet: Zélus, a synchronous language with ODEs (tentative title)
- 11h20-12h00 Bernard Brogliato: Euler implicit time-discretization and analysis of differential-algebraic and descriptor variable linear complementarity systems using passivity
Lunch break
- 13h50-14h30 François Bidet: Reachability analysis in the Zélus language
- 14h30-15h10 Christelle Kozaily: A covering problem of the Euclidean space: On characterizing Q-matrices
- 15h10-15h50 Mathias Malandain & Benoît Caillaud: Implicit structural analysis of multimode DAE systems with IsamDAE
- 15h50-16h30 Joan Thibault: Improving the Scalability of Multimode DAE Structural Analysis by using Reduced Block Triangular Forms
- 16h30-17h00 Discussion, conclusion
End