The week's events
MonMonday | TueTuesday | WedWednesday | ThuThursday | FriFriday | SatSaturday | SunSunday |
---|---|---|---|---|---|---|
July 3, 2017
|
July 4, 2017
|
July 5, 2017
|
July 6, 2017(2 events) Séminaire Josu Doncel : Under-Approximation Computation Through Optimal Control – Title: Under-Approximation Computation Through Optimal Control Abstract: Under-approximation provides a subset of the reachable set of an uncertain dynamical system which can then be used to formally falsify properties of quantitative models. Using Pontryagin’s principle, our approach computes an under-approximation for a linear combination of state variables of nonlinear ordinary differential equations and time-varying uncertainties. By a numerical comparison against state-of-the-art tools Flow^∗ and CORA, we show that our methodology provides tight under-approximations in benchmarks, and that it can scale to models that are out of reach with these over-approximation techniques. Bâtiment IMAG (442) I/O performance for HPC: finding the right access pattern and avoiding interference by Francieli Zanon-Boito – Title: Abstract: Bâtiment IMAG (442) |
July 7, 2017
|
July 8, 2017
|
July 9, 2017
|