Raphaël M. Jungers
- On feedback stabilization of linear switched systems via switching\n signal control
2016/01/29 by Raphaël M. Jungers, Paolo Mason, Jungers, Raphaël M. +1 · 4 citations
Engineering · Mathematics · #Advanced Differential Equations and Dynamical Systems #Control and Stability of Dynamical Systems #FOS: Mathematics #Optimization and Control (math.OC) #Stability and Control of Uncertain Systems
- Joint Spectral Radius and Path-Complete Graph Lyapunov Functions
2014/01/01 by Amir Ali Ahmadi, Raphaël M. Jungers, Pablo A. Parrilo +1 · 3 citations
- Smart abstraction based on iterative cover and non-uniform cells
2024/03/04 by Julien Calbert, Lucas N. Egidio, Calbert, Julien +3 · 3 citations
Engineering · #Advanced Manufacturing and Logistics Optimization #Advanced Numerical Analysis Techniques #Dynamical Systems (math.DS) #FOS: Mathematics #Manufacturing Process and Optimization
- Sorting under Partial Information (without the Ellipsoid Algorithm)
2009/10/31 by Jean Cardinal, Samuel Fiorini, Cardinal, Jean +7 · 1 citation
Computer Science · Mathematics · #Algorithms and Data Compression #Data Structures and Algorithms (cs.DS) #Discrete Mathematics (cs.DM) #FOS: Computer and information sciences #Limits and Structures in Graph Theory #Machine Learning and Algorithms
- Graph diameter, eigenvalues, and minimum-time consensus
2012/11/27 by Julien M. Hendrickx, Raphaël M. Jungers, Hendrickx, Julien M. +5 · 1 citation
Computer Science · Engineering · Materials Science · #Advanced Memory and Neural Computing #Distributed Control Multi-Agent Systems #FOS: Computer and information sciences #FOS: Mathematics #Graphene research and applications #Multiagent Systems (cs.MA) #Optimization and Control (math.OC)
- Primitive sets of nonnegative matrices and synchronizing automata
2016/02/24 by Balázs Gerencsér, Vladimir V. Gusev, Gerencsér, Balázs +3 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · #DNA and Biological Computing #Discrete Mathematics (cs.DM) #F.1.1 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #G.2.1 #Petri Nets in System Modeling #semigroups and automata theory
- LLM-Enhanced Symbolic Control for Safety-Critical Applications
2025/05/16 by Alessandro Abate, Bayat, Amir, Necmiye Özay +4 · 3 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Electrical engineering #Formal Methods in Verification #Safety Systems Engineering in Autonomy #Systems and Control (eess.SY) #electronic engineering #information engineering
- Razumikhin and Krasovskii Approaches for Safe Stabilization
2022/04/26 by Wei Ren, Raphaël M. Jungers, Ren, Wei +3 · 1 citation
Engineering · Computer Science · #Traffic control and management #Distributed Control Multi-Agent Systems #Stability and Control of Uncertain Systems
- An Efficient Method to Verify the Inclusion of Ellipsoids
2022/11/11 by Julien Calbert, Lucas N. Egidio, Calbert, Julien +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
- Multiple Lyapunov Functions and Memory: A Symbolic Dynamics Approach to Systems and Control
2023/07/25 by Matteo Della Rossa, Raphaël M. Jungers, Della Rossa, Matteo +1 · 1 citation
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Control and Stability of Dynamical Systems #FOS: Mathematics #Formal Methods in Verification #Gene Regulatory Network Analysis #Optimization and Control (math.OC)
- Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions
2023/12/13 by Virginie Debauche, Debauche, Virginie, Alec Edwards +5 · 1 citation
Computer Science · Physics and Astronomy · #Adversarial Robustness in Machine Learning #Dynamical Systems (math.DS) #FOS: Mathematics #Model Reduction and Neural Networks #Neural Networks and Applications #Optimization and Control (math.OC)
- 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
- Robust Optimal Control of Arbitrarily Switched Systems: A Path-Complete Framework
2026/07/16 by Léa Ninite, Adrien Banse, Guillaume O. Berger +1
#math.OC