Guillaume O. Berger

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 31

Top Topics

Top Venues

Publications

Guillaume O. Berger, Monal Narasimhamurthy, Sriram Sankaranarayanan
Algorithms for Identifying Flagged and Guarded Linear Systems. HSCC (2024)
Guillaume O. Berger, Masoumeh Ghanbarpour, Sriram Sankaranarayanan
Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis. HSCC (2024)
Guillaume O. Berger, Sriram Sankaranarayanan
Counterexample-guided computation of polyhedral Lyapunov functions for piecewise linear systems. Autom. 155 (2023)
Guillaume O. Berger, Sriram Sankaranarayanan
Template-Based Piecewise Affine Regression. L4DC (2023)
Guillaume O. Berger, Sriram Sankaranarayanan
Template-Based Piecewise Affine Regression. CoRR (2023)
Guillaume O. Berger, Sriram Sankaranarayanan
Learning fixed-complexity polyhedral Lyapunov functions from counterexamples. CoRR (2022)
Guillaume O. Berger, Monal Narasimhamurthy, Kandai Watanabe, Morteza Lahijanian, Sriram Sankaranarayanan
An Algorithm for Learning Switched Linear Dynamics from Data. NeurIPS (2022)
Alec Reed, Guillaume O. Berger, Sriram Sankaranarayanan, Chris Heckman
Verified Path Following Using Neural Control Lyapunov Functions. CoRL (2022)
Guillaume O. Berger, Sriram Sankaranarayanan
Counterexample-guided computation of polyhedral Lyapunov functions for hybrid systems. CoRR (2022)
Guillaume O. Berger, Raphaël M. Jungers, Zheming Wang
Data-driven invariant subspace identification for black-box switched linear systems. CoRR (2022)
Guillaume O. Berger, Raphaël M. Jungers, Zheming Wang
Data-driven invariant subspace identification for black-box switched linear systems. CDC (2022)
Guillaume O. Berger, Raphaël M. Jungers
Worst-case topological entropy and minimal data rate for state estimation of switched linear systems. Commun. ACM 65 (2) (2022)
Guillaume O. Berger, Zheming Wang
Comments on "Data driven stability analysis of black-box switched linear systems" [Automatica 109 (2019) 108533]. Autom. 142 (2022)
Guillaume O. Berger, Pierre-Antoine Absil, Lieven De Lathauwer, Raphaël M. Jungers, Marc Van Barel
Equivalent polyadic decompositions of matrix multiplication tensors. J. Comput. Appl. Math. 406 (2022)
Guillaume O. Berger, Sriram Sankaranarayanan
Learning fixed-complexity polyhedral Lyapunov functions from counterexamples. CDC (2022)
Guillaume O. Berger, Raphaël M. Jungers
Complexity of the LTI system trajectory boundedness problem. CoRR (2021)
Guillaume O. Berger, Raphaël M. Jungers, Zheming Wang
Chance-constrained quasi-convex optimization with application to data-driven switched systems control. L4DC (2021)
Zheming Wang, Guillaume O. Berger, Raphaël M. Jungers
Data-driven feedback stabilization of switched linear systems with probabilistic stability guarantees. CDC (2021)
Guillaume O. Berger, Raphaël M. Jungers
p-dominant switched linear systems. Autom. 132 (2021)
Guillaume O. Berger, Raphaël M. Jungers
Complexity of the LTI system trajectory boundedness problem. CDC (2021)
Guillaume O. Berger, Raphaël M. Jungers, Zheming Wang
Chance-constrained quasi-convex optimization with application to data-driven switched systems control. CoRR (2021)
Guillaume O. Berger, Raphaël M. Jungers
Quantized Stabilization of Continuous-Time Switched Linear Systems. IEEE Control. Syst. Lett. 5 (1) (2021)
Guillaume O. Berger, Maben Rabi
Bounds on set exit times of affine systems, using Linear Matrix Inequalities. ADHS (2021)
Guillaume O. Berger, Raphaël M. Jungers
Worst-case topological entropy and minimal data rate for state observation of switched linear systems. HSCC (2020)
Guillaume O. Berger, Raphaël M. Jungers
Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems. IEEE Control. Syst. Lett. 4 (1) (2020)
Guillaume O. Berger, Pierre-Antoine Absil, Raphaël M. Jungers, Yurii E. Nesterov
On the Quality of First-Order Approximation of Functions with Hölder Continuous Gradient. J. Optim. Theory Appl. 185 (1) (2020)
Guillaume O. Berger, Raphaël M. Jungers
Finite Data-Rate Feedback Stabilization of Continuous-Time Switched Linear Systems with Unknown Switching Signal. CDC (2020)
Guillaume O. Berger, Raphaël M. Jungers
Formal methods for computing hyperbolic invariant sets for nonlinear systems: poster abstract. HSCC (2019)
Guillaume O. Berger, Raphaël M. Jungers
A Converse Lyapunov Theorem for p-dominant Switched Linear Systems. ECC (2019)
Guillaume O. Berger, Pierre-Antoine Absil, Lieven De Lathauwer, Raphaël M. Jungers, Marc Van Barel
Equivalent Polyadic Decompositions of Matrix Multiplication Tensors. CoRR (2019)
Guillaume O. Berger, Fulvio Forni, Raphaël M. Jungers
Path-Complete p-Dominant Switching Linear Systems. CDC (2018)