Julien Calbert

12 papers C 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Agile Temporal Discretization for Symbolic Optimal Control.
CDC
Adrien Janssens, Adrien Banse, Julien Calbert, Raphaël M. Jungers
2025 J jnl
Agile Temporal Discretization for Symbolic Optimal Control.
CoRR
Adrien Janssens, Adrien Banse, Julien Calbert, Raphaël M. Jungers
2024 J jnl
Classification of simulation relations for symbolic control.
CoRR
Julien Calbert, Antoine Girard, Raphaël M. Jungers
2024 J jnl
Dionysos.jl: a Modular Platform for Smart Symbolic Control.
CoRR
Julien Calbert, Adrien Banse, Benoît Legat, Raphaël M. Jungers
2024 — conf
Memoryless concretization relation.
HSCC
Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers
2024 J jnl
Memoryless concretization relation.
CoRR
Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers
2024 J jnl
Smart Abstraction Based on Iterative Cover and Non-Uniform Cells.
IEEE Control. Syst. Lett.
Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers
2023 C conf
Data-driven heuristic symbolic models and application to limit-cycle detection.
ACC
Julien Calbert, Raphaël M. Jungers
2022 J jnl
An Efficient Method to Verify the Inclusion of Ellipsoids.
CoRR
Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers
2021 — conf
Alternating Simulation on Hierarchical Abstractions.
CDC
Julien Calbert, Benoît Legat, Lucas N. Egidio, Raphaël M. Jungers
2021 — conf
Zonotope-based Controller Synthesis for LTL Specifications.
CDC
Wei Ren, Julien Calbert, Raphaël M. Jungers
2021 J jnl
Zonotope-based Controller Synthesis for LTL Specifications.
CoRR
Wei Ren, Julien Calbert, Raphaël M. Jungers