Alternating simulation on hierarchical abstractions J Calbert, B Legat, LN Egidio, R Jungers 2021 60th IEEE Conference on Decision and Control (CDC), 593-598, 2021 | 6 | 2021 |
Zonotope-based controller synthesis for LTL specifications W Ren, J Calbert, R Jungers 2021 60th IEEE Conference on Decision and Control (CDC), 580-585, 2021 | 4 | 2021 |
An Efficient Method to Verify the Inclusion of Ellipsoids J Calbert, LN Egidio, RM Jungers IFAC-PapersOnLine 56 (2), 1958-1963, 2023 | 3 | 2023 |
Learning integral operators from diagonal-circulant neural networks J Calbert, L Jacques, PA Absil PhD thesis, Ph. D. dissertation, Master thesis. Université catholique de Louvain, 2020 | 3 | 2020 |
Smart abstraction based on iterative cover and non-uniform cells J Calbert, LN Egidio, RM Jungers arXiv preprint arXiv:2403.02190, 2024 | 1 | 2024 |
Data-driven heuristic symbolic models and application to limit-cycle detection J Calbert, RM Jungers 2023 American Control Conference (ACC), 4351-4356, 2023 | 1 | 2023 |
Dionysos. jl: a Modular Platform for Smart Symbolic Control J Calbert, A Banse, B Legat, RM Jungers arXiv preprint arXiv:2404.14114, 2024 | | 2024 |
Memoryless concretization relation J Calbert, S Mattenet, A Girard, RM Jungers arXiv preprint arXiv:2403.09556, 2024 | | 2024 |
LEPL1101-Algèbre linéaire R JUNGERS, J CALBERT, R DELOGNE, C MONNOYER | | 2023 |