Julien Calbert

According to our database, Julien Calbert authored at least 8 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Smart Abstraction Based on Iterative Cover and Non-Uniform Cells.

Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers

IEEE Control. Syst. Lett., 2024

Classification of simulation relations for symbolic control.

Julien Calbert, Antoine Girard, Raphaël M. Jungers

CoRR, 2024

Dionysos.jl: a Modular Platform for Smart Symbolic Control.

Julien Calbert, Adrien Banse, Benoît Legat, Raphaël M. Jungers

CoRR, 2024

Memoryless concretization relation.

Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

2023

Data-driven heuristic symbolic models and application to limit-cycle detection.

Julien Calbert, Raphaël M. Jungers

Proceedings of the American Control Conference, 2023

2022

An Efficient Method to Verify the Inclusion of Ellipsoids.

Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers

CoRR, 2022

2021

Zonotope-based Controller Synthesis for LTL Specifications.

Wei Ren, Julien Calbert, Raphaël M. Jungers

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Alternating Simulation on Hierarchical Abstractions.

Julien Calbert, Benoît Legat, Lucas N. Egidio, Raphaël M. Jungers

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021