Analyse et Calculabilité, entre Discret et Continu (ACDC)
Webpage of the ACDC project of the "appel printemps 2018" of the Digicosme labex
Principaux axes:
- Résultats sur les systèmes continus et hybrides
- Décidabilité de la vérification dans le cas continu
- Quantifier la complexité sous-jacente des systèmes
- Nouvel éclairage sur la calculabilité à temps infini
Travaux
- [To appear in the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing 2018] Olivier Bournez and Sabrina Ouazzani, Cheap Non-standard Analysis and Computability: Some applications