Julien Calbert

1. Smart abstraction based on iterative cover and non-uniform cells
   2024/03/04 by Julien Calbert, Calbert, Julien, Lucas N. Egidio +3 · 3 citations
   Engineering · #Advanced Manufacturing and Logistics Optimization #Advanced Numerical Analysis Techniques #Dynamical Systems (math.DS) #FOS: Mathematics #Manufacturing Process and Optimization
2. An Efficient Method to Verify the Inclusion of Ellipsoids
   2022/11/11 by Julien Calbert, Calbert, Julien, Lucas N. Egidio +3 · 1 citation
   Computer Science · Mathematics · #Advanced Optimization Algorithms Research #FOS: Electrical engineering #FOS: Mathematics #Numerical Methods and Algorithms #Optimization and Control (math.OC) #Polynomial and algebraic computation #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Memoryless concretization relation
   2024/03/14 by Julien Calbert, Calbert, Julien, Sébastien Mattenet +5 · 1 citation
   Computer Science · #Dynamical Systems (math.DS) #Embedded Systems Design Techniques #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling