Scientific publications

All our submissions on HAL

Latest submissions

Article in a review
01/01/2025
Encoding TLA+ proof obligations safely for SMT
Rosalie Defourné
Article in a review
01/01/2025
DiffFit: Visually-Guided Differentiable Fitting of Molecule Structures to a Cryo-EM Map
Deng Luo, Zainab Alsuwaykit, Dawar Khan, Ondřej Strnad, Tobias Isenberg, Ivan Viola
Article in a review
12/31/2024
Quantum coherent and measurement feedback control based on atoms coupled with a semi-infinite waveguide
Haijin Ding, Nina Amini, Guofeng Zhang, John E. Gough
Communication on a congress
12/16/2024
Execution-time opacity problems in one-clock parametric timed automata
Étienne André, Johan Arcile, Engel Lefaucheux
Communication on a congress
12/16/2024
Sliding mode observation for a 1D wave equation with dynamic boundary conditions
Yacine Chitour, Abdelhakim Dahmani, Moussa Labbadi, Christophe Roman
Communication on a congress
12/16/2024
Bounded Extremum Seeking for Single-Variable Static Map using State Transformation
Frederic Mazenc, Michael Malisoff, Emilia Fridman
Communication on a congress
12/16/2024
Constant step-size stochastic approximation with delayed updates
Aditya Mahajan, Silviu-Iulian Niculescu, Mathukumalli Vidyasagar
Communication on a congress
12/16/2024
Symbolically Synthesized Motion Primitives for Autonomous Navigation
Zhixin Zhao, Antoine Girard, Sorin Olaru
Communication on a congress
12/16/2024
Growth conditions to ensure input-to-state stability of time-delay systems under point-wise dissipation
Epiphane Loko, Antoine Chaillet, Yuan Wang, Iasson Karafyllis, Pierdomenico Pepe
Communication on a congress
12/16/2024
A vector almost-supermartingale convergence theorem and its applications
Aditya Mahajan, Silviu-Iulian Niculescu, Mathukumalli Vidyasagar

Pages

See also

CentraleSupélec Research Center

Our research center

Developing innovative solutions to major technological and social challenges.

Plus d'infos
Scientific publications of CentraleSupélec

Scientific publications

All of our online scientific articles.

Plus d'infos
Directory of researchers of CentraleSupélec

Directory of researchers

Contacts of all our researchers.

Plus d'infos