Efficient algorithms for deciding the type of growth of products of integer matrices - Raphaël M. Jungers; Vladimir Protasov; Vincent D. Blondel (CoRR, 2006)

On the Complexity of Computing the Capacity of Codes That Avoid Forbidden Difference Patterns. - Vincent D. Blondel; Raphaël M. Jungers; Vladimir Protasov (IEEE Trans. Inf. Theory, 2006)

Linear time algorithms for Clobber - Vincent D. Blondel; Julien M. Hendrickx; Raphaël M. Jungers (CoRR, 2007)

Computing the Growth of the Number of Overlap-Free Words with Spectra of Matrices. - Raphaël M. Jungers; Vladimir Protasov; Vincent D. Blondel (LATIN, 2008)

Infinite matrix products: from the joint spectral radius to combinatorics. - Raphaël M. Jungers (2008)

Counterexamples to the Complex Polytope Extremality Conjecture. - Raphaël M. Jungers; Vladimir Protasov (SIAM J. Matrix Anal. Appl., 2009)

Testing avoidability on sets of partial words is hard. - Francine Blanchet-Sadri; Raphaël M. Jungers; Justin Palumbo (Theor. Comput. Sci., 2009)

On the number of alpha-power-free binary words for 2alpha<=7/3. - Vincent D. Blondel; Julien Cassaigne; Raphaël M. Jungers (Theor. Comput. Sci., 2009)

Overlap-free words and spectra of matrices. - Raphaël M. Jungers; Vladimir Protasov; Vincent D. Blondel (Theor. Comput. Sci., 2009)

PageRank Optimization in Polynomial Time by Stochastic Shortest Path Reformulation. - Balázs Csanád Csáji; Raphaël M. Jungers; Vincent D. Blondel (ALT, 2010)

Weak stability of switching dynamical systems and fast computation of the p-radius of matrices. - Raphaël M. Jungers; Vladimir Protasov (CDC, 2010)

An Efficient Algorithm for Partial Order Production. - Jean Cardinal; Samuel Fiorini; Gwenaël Joret; Raphaël M. Jungers; J. Ian Munro (SIAM J. Comput., 2010)

Joint Spectral Characteristics of Matrices: A Conic Programming Approach. - Vladimir Protasov; Raphaël M. Jungers; Vincent D. Blondel (SIAM J. Matrix Anal. Appl., 2010)

The continuous Skolem-Pisot problem. - Paul C. Bell; Jean-Charles Delvenne; Raphaël M. Jungers; Vincent D. Blondel (Theor. Comput. Sci., 2010)

Analysis of the joint spectral radius via Lyapunov functions on path-complete graphs. - Amir Ali Ahmadi; Raphaël M. Jungers; Pablo A. Parrilo; Mardavij Roozbehani (HSCC, 2011)

Fast computation of minimal elementary decompositions of metabolic flux vectors. - Raphaël M. Jungers; Francisca Zamorano; Vincent D. Blondel; Alain Vande Wouwer; Georges Bastin (Autom., 2011)

Policy Iteration is well suited to optimize PageRank - Romain Hollanders; Jean-Charles Delvenne; Raphaël M. Jungers (CoRR, 2011)

Observable graphs. - Raphaël M. Jungers; Vincent D. Blondel (Discret. Appl. Math., 2011)

Fast Methods for Computing the p-Radius of Matrices. - Raphaël M. Jungers; Vladimir Protasov (SIAM J. Sci. Comput., 2011)

The complexity of Policy Iteration is exponential for discounted Markov Decision Processes. - Romain Hollanders; Jean-Charles Delvenne; Raphaël M. Jungers (CDC, 2012)

Feedback stabilization of dynamical systems with switched delays. - Raphaël M. Jungers; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (CDC, 2012)

When Is a Set of LMIs a Sufficient Condition for Stability? - Amir Ali Ahmadi; Raphaël M. Jungers; Pablo A. Parrilo; Mardavij Roozbehani (ROCOND, 2012)

An Exact Solution to the Power Networks Security Index Problem and its Generalized Min Cut Formulation - Julien M. Hendrickx; Karl Henrik Johansson; Raphaël M. Jungers; Henrik Sandberg; Kin Cheong Sou (CoRR, 2012)

Lifted polytope methods for stability analysis of switching systems - Raphaël M. Jungers; Nicola Guglielmi; Antonio Cicone (CoRR, 2012)

Diameter, Optimal Consensus, and Graph Eigenvalues - Julien M. Hendrickx; Raphaël M. Jungers; Alexander Olshevsky; Guillaume Vankeerberghen (CoRR, 2012)

The Synchronizing Probability Function of an Automaton. - Raphaël M. Jungers (SIAM J. Discret. Math., 2012)

Switched stability of nonlinear systems via SOS-convex Lyapunov functions and semidefinite programming. - Amir Ali Ahmadi; Raphaël M. Jungers (CDC, 2013)

Is switching systems stability harder for continuous time systems? - Vladimir Protasov; Raphaël M. Jungers (CDC, 2013)

Joint Spectral Characteristics: A Tale of Three Disciplines. - Raphaël M. Jungers (Developments in Language Theory, 2013)

Convex optimization methods for computing the Lyapunov exponent of matrices. - Vladimir Yu. Protasov; Raphaël M. Jungers (ECC, 2013)

Sorting under partial information (without the ellipsoid algorithm). - Jean Cardinal; Samuel Fiorini; Gwenaël Joret; Raphaël M. Jungers; J. Ian Munro (Comb., 2013)

An efficient technique for solving the scheduling of appliances in smart-homes. - Julien M. Hendrickx; Raphaël M. Jungers; Guillaume Vankeerberghen; Laurence A. Wolsey (ACC, 2014)

Efficiently computable lower bounds for the p-radius of switching linear systems. - Masaki Ogura 001; Raphaël M. Jungers (CDC, 2014)

JSR: a toolbox to compute the joint spectral radius. - Guillaume Vankeerberghen; Julien M. Hendrickx; Raphaël M. Jungers (HSCC, 2014)

Graph diameter, eigenvalues, and minimum-time consensus. - Julien M. Hendrickx; Raphaël M. Jungers; Alexander Olshevsky; Guillaume Vankeerberghen (Autom., 2014)

On the Synchronizing Probability Function and the Triple Rendezvous Time for Synchronzing Automata. - François Gonze; Raphaël M. Jungers (CoRR, 2014)

An improved lower bound for Order-Regular matrices. - Romain Hollanders; Balázs Gerencsér; Jean-Charles Delvenne; Raphaël M. Jungers (CoRR, 2014)

PageRank optimization by edge selection. - Balázs Csanád Csáji; Raphaël M. Jungers; Vincent D. Blondel (Discret. Appl. Math., 2014)

The Software-Defined Network Revolution. - Marco Canini; Raphaël M. Jungers (ERCIM News, 2014)

Special issue in the honor of the 14th "Journées Montoises d'Informatique Théorique" - Foreword. - Raphaël M. Jungers; Véronique Bruyère; Romain Hollanders; Michel Rigo (RAIRO Theor. Informatics Appl., 2014)

Data-driven traffic and diffusion modeling in peer-to-peer networks: A real case study. - Romain Hollanders; Daniel Faria Bernardes; Bivas Mitra; Raphaël M. Jungers (Netw. Sci., 2014)

Polytopic uncertainty for linear systems: New and old complexity results. - Nikos Vlassis; Raphaël M. Jungers (Syst. Control. Lett., 2014)

Joint Spectral Radius and Path-Complete Graph Lyapunov Functions. - Amir Ali Ahmadi; Raphaël M. Jungers; Pablo A. Parrilo; Mardavij Roozbehani (SIAM J. Control. Optim., 2014)

Lifted Polytope Methods for Computing the Joint Spectral Radius. - Raphaël M. Jungers; Antonio Cicone; Nicola Guglielmi (SIAM J. Matrix Anal. Appl., 2014)

Efficient Computations of a Security Index for False Data Attacks in Power Networks. - Julien M. Hendrickx; Karl Henrik Johansson; Raphaël M. Jungers; Henrik Sandberg; Kin Cheong Sou (IEEE Trans. Autom. Control., 2014)

Controllability of linear systems subject to packet losses. - Raphaël M. Jungers; W. P. M. H. Heemels (ADHS, 2015)

On observability in networked control systems with packet losses. - Raphaël M. Jungers; Atreyee Kundu; W. P. M. H. Heemels (Allerton, 2015)

Reachability of consensus and synchronizing automata. - Pierre-Yves Chevalier; Julien M. Hendrickx; Raphaël M. Jungers (CDC, 2015)

The minimum achievable stability radius of switched linear systems with feedback. - Ray Essick; Matthew Philippe; Geir E. Dullerud; Raphaël M. Jungers (CDC, 2015)

Converse Lyapunov theorems for discrete-time linear switching systems with regular switching sequences. - Matthew Philippe; Raphaël M. Jungers (ECC, 2015)

A sufficient condition for the boundedness of matrix products accepted by an automaton. - Matthew Philippe; Raphaël M. Jungers (HSCC, 2015)

On the Synchronizing Probability Function and the Triple Rendezvous Time - New Approaches to Černý's Conjecture. - François Gonze; Raphaël M. Jungers (LATA, 2015)

On primitivity of sets of matrices. - Vincent D. Blondel; Raphaël M. Jungers; Alex Olshevsky (Autom., 2015)

Lower Bounds on Complexity of Lyapunov Functions for Switched Linear Systems. - Amir Ali Ahmadi; Raphaël M. Jungers (CoRR, 2015)

Deciding the boundedness and dead-beat stability of constrained switching systems. - Matthew Philippe; Gilles Millerioux; Raphaël M. Jungers (CoRR, 2015)

A Note on a Recent Attempt to Improve the Pin-Frankl Bound. - François Gonze; Raphaël M. Jungers; Avraham Trakhtman (Discret. Math. Theor. Comput. Sci., 2015)

Efficient Algorithms for the Consensus Decision Problem. - Pierre-Yves Chevalier; Julien M. Hendrickx; Raphaël M. Jungers (SIAM J. Control. Optim., 2015)

Safety and invariance for constrained switching systems. - Nikolaos Athanasopoulos; Konstantinos Smpoukis; Raphaël M. Jungers (CDC, 2016)

Extremal storage functions and minimal realizations of discrete-time linear switching systems. - Matthew Philippe; Ray Essick; Geir E. Dullerud; Raphaël M. Jungers (CDC, 2016)

Computing the Domain of Attraction of Switching Systems Subject to Non-Convex Constraints. - Nikolaos Athanasopoulos; Raphaël M. Jungers (HSCC, 2016)

Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques. - Benoît Legat; Raphaël M. Jungers; Pablo A. Parrilo (HSCC, 2016)

Stability of discrete-time switching systems with constrained switching sequences. - Matthew Philippe; Ray Essick; Geir E. Dullerud; Raphaël M. Jungers (Autom., 2016)

Tight Bounds for Consensus Systems Convergence. - Pierre-Yves Chevalier; Julien M. Hendrickx; Raphaël M. Jungers (CoRR, 2016)

Path-complete positivity of switching systems. - Fulvio Forni; Raphaël M. Jungers; Rodolphe Sepulchre (CoRR, 2016)

Improved bound on the worst case complexity of Policy Iteration. - Romain Hollanders; Balázs Gerencsér; Jean-Charles Delvenne; Raphaël M. Jungers (Oper. Res. Lett., 2016)

Efficient method for computing lower bounds on the p-radius of switched linear systems. - Masaki Ogura 001; Victor M. Preciado; Raphaël M. Jungers (Syst. Control. Lett., 2016)

On the Synchronizing Probability Function and the Triple Rendezvous Time for Synchronizing Automata. - François Gonze; Raphaël M. Jungers (SIAM J. Discret. Math., 2016)

Controllability of Linear Systems With Switching Delays. - Raphaël M. Jungers; Alessandro D'Innocenzo; Maria Domenica Di Benedetto (IEEE Trans. Autom. Control., 2016)

Analysing the Stability of Linear Systems via Exponential Chebyshev Polynomials. - Vladimir Protasov; Raphaël M. Jungers (IEEE Trans. Autom. Control., 2016)

A linear program to compare path-complete Lyapunov functions. - David Angeli; Nikolaos Athanasopoulos; Raphaël M. Jungers; Matthew Philippe (CDC, 2017)

On the Interplay Between Babai and Černý's Conjectures. - François Gonze; Vladimir V. Gusev; Balázs Gerencsér; Raphaël M. Jungers; Mikhail V. Volkov 001 (DLT, 2017)

Path-Complete Graphs and Common Lyapunov Functions. - David Angeli; Nikolaos Athanasopoulos; Raphaël M. Jungers; Matthew Philippe (HSCC, 2017)

Invariance in Constrained Switching. - Nikolaos Athanasopoulos; Konstantinos Smpoukis; Raphaël M. Jungers (CoRR, 2017)

Sets of Stochastic Matrices with Converging Products: Bounds and Complexity. - Pierre-Yves Chevalier; Vladimir V. Gusev; Raphaël M. Jungers; Julien M. Hendrickx (CoRR, 2017)

Invariant Sets Analysis for Constrained Switching Systems. - Nikolaos Athanasopoulos; Konstantinos Smpoukis; Raphaël M. Jungers (IEEE Control. Syst. Lett., 2017)

Generalized primitivity of labeled digraphs. - Vladimir V. Gusev; Raphaël M. Jungers; Elena V. Pribavkina (Electron. Notes Discret. Math., 2017)

A complexity analysis of Policy Iteration through combinatorial matrices arising from Unique Sink Orientations. - Balázs Gerencsér; Romain Hollanders; Jean-Charles Delvenne; Raphaël M. Jungers (J. Discrete Algorithms, 2017)

Tight bound for deciding convergence of consensus systems. - Pierre-Yves Chevalier; Julien M. Hendrickx; Raphaël M. Jungers (Syst. Control. Lett., 2017)

On Feedback Stabilization of Linear Switched Systems via Switching Signal Control. - Raphaël M. Jungers; Paolo Mason (SIAM J. Control. Optim., 2017)

A Characterization of Lyapunov Inequalities for Stability of Switched Systems. - Raphaël M. Jungers; Amir Ali Ahmadi; Pablo A. Parrilo; Mardavij Roozbehani (IEEE Trans. Autom. Control., 2017)

On invariance and reachability on semialgebraic sets for linear dynamics. - Nikolaos Athanasopoulos; Raphaël M. Jungers (ADHS, 2018)

Computing controlled invariant sets for hybrid systems with applications to model-predictive control. - Benoît Legat; Paulo Tabuada; Raphaël M. Jungers (ADHS, 2018)

Deciding Stability of a Switched System Without Identifying It. - Ayca Balkan; Raphaël M. Jungers; Joris Kenanian; Paulo Tabuada (CDC, 2018)

Path-Complete p-Dominant Switching Linear Systems. - Guillaume O. Berger; Fulvio Forni; Raphaël M. Jungers (CDC, 2018)

Minimally, Constrained Stable Switched Systems and Application to Co-Simulation. - Cláudio Gomes 001; Raphaël M. Jungers; Benoît Legat; Hans Vangheluwe (CDC, 2018)

Observability of Discrete-Time Linear Systems with Communication Protocols and Dropouts. - Aneel Tanwani; Raphaël M. Jungers; W. P. Maurice H. Heemels (CDC, 2018)

On Completely Reachable Automata and Subset Reachability. - François Gonze; Raphaël M. Jungers (DLT, 2018)

Dynamics of the Independence Number and Automata Synchronization. - Vladimir V. Gusev; Raphaël M. Jungers; Daniel Prusa (DLT, 2018)

The impact of packet dropouts on the reachability energy. - A. Sanand Amita Dilip; Nikolaos Athanasopoulos; Raphaël M. Jungers (ICCPS, 2018)

On Randomized Generation of Slowly Synchronizing Automata. - Costanza Catalano; Raphaël M. Jungers (MFCS, 2018)

Combinatorial methods for invariance and safety of hybrid systems. - Nikolaos Athanasopoulos; Raphaël M. Jungers (Autom., 2018)

SOS-Convex Lyapunov Functions and Stability of Difference Inclusions. - Amir Ali Ahmadi; Raphaël M. Jungers (CoRR, 2018)

On random primitive sets, directable NDFAs and the generation of slowly synchronizing DFAs. - Costanza Catalano; Raphaël M. Jungers (CoRR, 2018)

Primitive Sets of Nonnegative Matrices and Synchronizing Automata. - Balázs Gerencsér; Vladimir V. Gusev; Raphaël M. Jungers (SIAM J. Matrix Anal. Appl., 2018)

Observability and Controllability Analysis of Linear Systems Subject to Data Losses. - Raphaël M. Jungers; Atreyee Kundu; W. P. M. H. Heemels (IEEE Trans. Autom. Control., 2018)

Non-local Linearization of Nonlinear Differential Equations via Polyflows. - Raphaël M. Jungers; Paulo Tabuada (ACC, 2019)

Polyhedral Path-Complete Lyapunov Functions. - Nikolaos Athanasopoulos; Raphaël M. Jungers (CDC, 2019)

A Converse Lyapunov Theorem for p-dominant Switched Linear Systems. - Guillaume O. Berger; Raphaël M. Jungers (ECC, 2019)

Finite-horizon covariance control of state-affine nonlinear systems with application to proton beamline calibration. - Zheming Wang; Raphaël M. Jungers; Quentin Flandroy; Baptiste Herregods; Cedric Hernalsteens (ECC, 2019)

Computation of the maximal invariant set of linear systems with quasi-smooth nonlinear constraints. - Zheming Wang; Raphaël M. Jungers; Chong-Jin Ong (ECC, 2019)

Formal methods for computing hyperbolic invariant sets for nonlinear systems: poster abstract. - Guillaume O. Berger; Raphaël M. Jungers (HSCC, 2019)

A complete characterization of the ordering of path-complete methods. - Matthew Philippe; Raphaël M. Jungers (HSCC, 2019)

Optimal intermittent measurements for tumor tracking in x-ray guided radiotherapy. - Antoine Aspeel; Damien Dasnoy; Raphaël M. Jungers; Benoît Macq (Image-Guided Procedures, 2019)

Data driven stability analysis of black-box switched linear systems. - Joris Kenanian; Ayca Balkan; Raphaël M. Jungers; Paulo Tabuada (Autom., 2019)

Data-driven computation of invariant sets of discrete time-invariant black-box systems. - Zheming Wang; Raphaël M. Jungers (CoRR, 2019)

Computation of the maximal invariant set of discrete-time systems subject to quasi-smooth non-convex constraints. - Zheming Wang; Raphaël M. Jungers; Chong-Jin Ong (CoRR, 2019)

On the Interplay Between Černý and Babai's Conjectures. - François Gonze; Vladimir V. Gusev; Raphaël M. Jungers; Balázs Gerencsér; Mikhail V. Volkov 001 (Int. J. Found. Comput. Sci., 2019)

On Random Primitive Sets, Directable NFAs and the Generation of Slowly Synchronizing DFAs. - Costanza Catalano; Raphaël M. Jungers (J. Autom. Lang. Comb., 2019)

Hardly Reachable Subsets and Completely Reachable Automata with 1-Deficient Words. - François Gonze; Raphaël M. Jungers (J. Autom. Lang. Comb., 2019)

An Entropy-Based Bound for the Computational Complexity of a Switched System. - Benoît Legat; Pablo A. Parrilo; Raphaël M. Jungers (IEEE Trans. Autom. Control., 2019)

On Path-Complete Lyapunov Functions: Geometry and Comparison. - Matthew Philippe; Nikolaos Athanasopoulos; David Angeli; Raphaël M. Jungers (IEEE Trans. Autom. Control., 2019)

Finite Data-Rate Feedback Stabilization of Continuous-Time Switched Linear Systems with Unknown Switching Signal. - Guillaume O. Berger; Raphaël M. Jungers (CDC, 2020)

Stability of Planar Switched Systems under Delayed Event Detection. - Benoît Legat; Cláudio Gomes 001; Paschalis Karalis; Raphaël M. Jungers; Eva M. Navarro-López; Hans Vangheluwe (CDC, 2020)

Control in the IoT: How to deal with various heterogeneous non-idealities? - Raphaël M. Jungers (ECC, 2020)

Worst-case topological entropy and minimal data rate for state observation of switched linear systems. - Guillaume O. Berger; Raphaël M. Jungers (HSCC, 2020)

Optimal Measurement Budget Allocation For Particle Filtering. - Antoine Aspeel; Amaury Gouverneur; Raphaël M. Jungers; Benoît Macq (ICIP, 2020)

On the m-dimensional Cayley-Hamilton theorem and its application to an algebraic decision problem inferred from the H2 norm analysis of delay systems. - Marco A. Gómez; Raphaël M. Jungers; Wim Michiels (Autom., 2020)

Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems. - Guillaume O. Berger; Raphaël M. Jungers (IEEE Control. Syst. Lett., 2020)

The Synchronizing Probability Function for Primitive Sets of Matrices. - Costanza Catalano; Raphaël M. Jungers (Int. J. Found. Comput. Sci., 2020)

On the Quality of First-Order Approximation of Functions with Hölder Continuous Gradient. - Guillaume O. Berger; Pierre-Antoine Absil; Raphaël M. Jungers; Yurii E. Nesterov (J. Optim. Theory Appl., 2020)

Lower bounds and dense discontinuity phenomena for the stabilizability radius of linear switched systems. - Carl P. Dettmann; Raphaël M. Jungers; Paolo Mason (Syst. Control. Lett., 2020)

Edge Computing Resource Allocation for Dynamic Networks: The DRUID-NET Vision and Perspective. - Dimitrios Dechouniotis; Nikolaos Athanasopoulos; Aris Leivadeas; Nathalie Mitton; Raphaël M. Jungers; Symeon Papavassiliou (Sensors, 2020)

Certifying Unstability of Switched Systems Using Sum of Squares Programming. - Benoît Legat; Pablo A. Parrilo; Raphaël M. Jungers (SIAM J. Control. Optim., 2020)

Template-Dependent Lifts for Path-Complete Stability Criteria and Application to Positive Switching Systems. - Virginie Debauche; Matteo Della Rossa; Raphaël M. Jungers (ADHS, 2021)

Geometric control of algebraic systems. - Benoît Legat; Raphaël M. Jungers (ADHS, 2021)

Data-driven stability analysis of switched linear systems with Sum of Squares guarantees. - Anne Rubbens; Zheming Wang; Raphaël M. Jungers (ADHS, 2021)

Optimal Control for Linear Networked Control Systems with Information Transmission Constraints. - Antoine Aspeel; Kwesi Rutledge; Raphaël M. Jungers; Benoît Macq; Necmiye Özay (CDC, 2021)

Complexity of the LTI system trajectory boundedness problem. - Guillaume O. Berger; Raphaël M. Jungers (CDC, 2021)

Alternating Simulation on Hierarchical Abstractions. - Julien Calbert; Benoît Legat; Lucas N. Egidio; Raphaël M. Jungers (CDC, 2021)

Zonotope-based Controller Synthesis for LTL Specifications. - Wei Ren 004; Julien Calbert; Raphaël M. Jungers (CDC, 2021)

Data-driven stability analysis of switched affine systems. - Matteo Della Rossa; Zheming Wang; Lucas N. Egidio; Raphaël M. Jungers (CDC, 2021)

Data-driven feedback stabilization of switched linear systems with probabilistic stability guarantees. - Zheming Wang; Guillaume O. Berger; Raphaël M. Jungers (CDC, 2021)

Event-Triggered Tracking Control of Networked and Quantized Control Systems. - Wei Ren 004; Dimos V. Dimarogonas; Raphaël M. Jungers (ECC, 2021)

Immersion-based model predictive control of constrained nonlinear systems: Polyflow approximation. - Zheming Wang; Raphaël M. Jungers (ECC, 2021)

Chance-constrained quasi-convex optimization with application to data-driven switched systems control. - Guillaume O. Berger; Raphaël M. Jungers; Zheming Wang (L4DC, 2021)

Abstraction-based branch and bound approach to Q-learning for hybrid optimal control. - Benoît Legat; Raphaël M. Jungers; Jean Bouchat (L4DC, 2021)

p-dominant switched linear systems. - Guillaume O. Berger; Raphaël M. Jungers (Autom., 2021)

Computation of the maximal invariant set of discrete-time linear systems subject to a class of non-convex constraints. - Zheming Wang; Raphaël M. Jungers; Chong Jin Ong (Autom., 2021)

PAC-learning gains of Turing machines over circuits and neural networks. - Brieuc Pinon; Jean-Charles Delvenne; Raphaël M. Jungers (CoRR, 2021)

Quantized Stabilization of Continuous-Time Switched Linear Systems. - Guillaume O. Berger; Raphaël M. Jungers (IEEE Control. Syst. Lett., 2021)

Piecewise Semi-Ellipsoidal Control Invariant Sets. - Benoît Legat; Sasa V. Rakovic; Raphaël M. Jungers (IEEE Control. Syst. Lett., 2021)

Scenario-Based Set Invariance Verification for Black-Box Nonlinear Systems. - Zheming Wang; Raphaël M. Jungers (IEEE Control. Syst. Lett., 2021)

A Data-Driven Method for Computing Polyhedral Invariant Sets of Black-Box Switched Linear Systems. - Zheming Wang; Raphaël M. Jungers (IEEE Control. Syst. Lett., 2021)

Optimal measurement budget allocation for Kalman prediction over a finite time horizon by genetic algorithms. - Antoine Aspeel; Axel Legay; Raphaël M. Jungers; Benoît Macq (EURASIP J. Adv. Signal Process., 2021)

A Linear Bound on the k-rendezvous Time for Primitive Sets of NZ Matrices. - Costanza Catalano; Umer Azfar; Ludovic Charlier; Raphaël M. Jungers (Fundam. Informaticae, 2021)

Characterization of flat outputs of switched linear discrete-time systems: Algebraic condition and algorithm. - Gilles Millérioux; Raphaël M. Jungers (Syst. Control. Lett., 2021)

Optimal Abstraction-based Control with Local Affine Controllers. - Lucas N. Egidio; Thiago Alves Lima; Raphaël M. Jungers (ACC, 2022)

Reachability-based Control Synthesis under Signal Temporal Logic Specifications. - Wei Ren 004; Raphaël M. Jungers (ACC, 2022)

Optimal Resource Scheduling and Allocation in Distributed Computing Systems. - Wei Ren 004; Eleftherios E. Vlahakis; Nikolaos Athanasopoulos; Raphaël M. Jungers (ACC, 2022)

Black-box stability analysis of hybrid systems with sample-based multiple Lyapunov functions. - Adrien Banse; Zheming Wang; Raphaël M. Jungers (CDC, 2022)

Data-driven invariant subspace identification for black-box switched linear systems. - Guillaume O. Berger; Raphaël M. Jungers; Zheming Wang (CDC, 2022)

State-feedback Abstractions for Optimal Control of Piecewise-affine Systems. - Lucas N. Egidio; Thiago Alves Lima; Raphaël M. Jungers (CDC, 2022)

Systems with both constant and time-varying delays: a switched systems approach and application to observer-controller co-design. - Thiago Alves Lima; Matteo Della Rossa; Frédéric Gouaisbaut; Raphaël M. Jungers; Sophie Tarbouriech (CDC, 2022)

Almost sure Stability of Stochastic Switched Systems: Graph lifts-based Approach. - Matteo Della Rossa; Raphaël M. Jungers (CDC, 2022)

Probabilistic guarantees on the objective value for the scenario approach via sensitivity analysis. - Zheming Wang; Raphaël M. Jungers (CDC, 2022)

Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods. - Virginie Debauche; Matteo Della Rossa; Raphaël M. Jungers (HSCC, 2022)

Memory-Based Lyapunov Functions and Path-complete Framework: Equivalence and Properties. - Matteo Della Rossa; Raphaël M. Jungers (ICSC, 2022)

Stabilization of rank-deficient continuous-time switched affine systems. - Lucas N. Egidio; Grace S. Deaecto; Raphaël M. Jungers (Autom., 2022)

An improved finiteness test and a systematic procedure to compute the strong ℋ2 norm of differential algebraic systems with multiple delays. - Sébastien M. Mattenet; Vittorio De Iuliis; Marco A. Gómez; Wim Michiels; Raphaël M. Jungers (Autom., 2022)

Razumikhin and Krasovskii approaches for safe stabilization. - Wei Ren 004; Raphaël M. Jungers; Dimos V. Dimarogonas (Autom., 2022)

Worst-case topological entropy and minimal data rate for state estimation of switched linear systems. - Guillaume O. Berger; Raphaël M. Jungers (Commun. ACM, 2022)

Optimal Resource Scheduling and Allocation under Allowable Over-Scheduling. - Wei Ren 004; Eleftherios E. Vlahakis; Nikolaos Athanasopoulos; Raphaël M. Jungers (CoRR, 2022)

Learning stability guarantees for data-driven constrained switching linear systems. - Adrien Banse; Zheming Wang; Raphaël M. Jungers (CoRR, 2022)

An Efficient Method to Verify the Inclusion of Ellipsoids. - Julien Calbert; Lucas N. Egidio; Raphaël M. Jungers (CoRR, 2022)

Equivalent polyadic decompositions of matrix multiplication tensors. - Guillaume O. Berger; Pierre-Antoine Absil; Lieven De Lathauwer; Raphaël M. Jungers; Marc Van Barel (J. Comput. Appl. Math., 2022)

On the Strong $ mathcal {H}_2$ Norm of Differential Algebraic Systems With Multiple Delays: Finiteness Criteria, Regularization, and Computation. - Marco A. Gómez; Raphaël M. Jungers; Wim Michiels (IEEE Trans. Autom. Control., 2022)

Optimal Intermittent Particle Filter. - Antoine Aspeel; Amaury Gouverneur; Raphaël M. Jungers; Benoît Macq (IEEE Trans. Signal Process., 2022)

Data-driven heuristic symbolic models and application to limit-cycle detection. - Julien Calbert; Raphaël M. Jungers (ACC, 2023)

Data-driven Abstractions via Adaptive Refinements and a Kantorovich Metric. - Adrien Banse; Licio Romao; Alessandro Abate; Raphaël M. Jungers (CDC, 2023)

Data-Driven Reachability Analysis of Lipschitz Nonlinear Systems via Support Vector Data Description. - Zheming Wang; Bo Chen 003; Raphaël M. Jungers; Li Yu 001 (CDC, 2023)

A model-based approach to meta-Reinforcement Learning: Transformers and tree search. - Brieuc Pinon; Raphaël M. Jungers; Jean-Charles Delvenne (ESANN, 2023)

Characterization of the ordering of path-complete stability certificates with addition-closed templates. - Virginie Debauche; Matteo Della Rossa; Raphaël M. Jungers (HSCC, 2023)

Poster Abstract: Towards Seamless Reactivity of Hybrid Control. - Lucas Neves Egidio; Satya Prakash Nayak; Matteo Della Rossa; Anne-Kathrin Schmuck; Raphaël M. Jungers (HSCC, 2023)

Data-driven memory-dependent abstractions of dynamical systems. - Adrien Banse; Licio Romao; Alessandro Abate; Raphaël M. Jungers (L4DC, 2023)

Computation of invariant sets via immersion for discrete-time nonlinear systems. - Zheming Wang; Raphaël M. Jungers; Chong Jin Ong (Autom., 2023)

Learning stability guarantees for constrained switching linear systems from noisy observations. - Adrien Banse; Zheming Wang; Raphaël M. Jungers (CoRR, 2023)

Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]. - Adrien Banse; Licio Romao; Alessandro Abate; Raphaël M. Jungers (CoRR, 2023)

Context-triggered Abstraction-based Control Design. - Satya Prakash Nayak; Lucas Neves Egidio; Matteo Della Rossa; Anne-Kathrin Schmuck; Raphaël M. Jungers (CoRR, 2023)

Efficiency Separation between RL Methods: Model-Free, Model-Based and Goal-Conditioned. - Brieuc Pinon; Raphaël M. Jungers; Jean-Charles Delvenne (CoRR, 2023)

Interpretability of Path-Complete Techniques and Memory-Based Lyapunov Functions. - Matteo Della Rossa; Raphaël M. Jungers (IEEE Control. Syst. Lett., 2023)

Stability of Switched Affine Systems: Arbitrary and Dwell-Time Switching. - Matteo Della Rossa; Lucas N. Egidio; Raphaël M. Jungers (SIAM J. Control. Optim., 2023)

Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions. - Virginie Debauche; Alec Edwards; Raphaël M. Jungers; Alessandro Abate (AAAI, 2024)

Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems. - Behrad Samari; Matteo Della Rossa; Abolfazl Lavaei; Sadegh Soudjani; Raphaël M. Jungers (ADHS, 2024)

Data-Driven Stability Analysis of Switched Linear Systems Using Adaptive Sampling. - Alexis Vuille; Guillaume O. Berger; Raphaël M. Jungers (ADHS, 2024)

Path-Complete Barrier Functions for Safety of Switched Linear Systems. - Mahathi Anand; Raphaël M. Jungers; Majid Zamani 001; Frank Allgöwer (CDC, 2024)

Using Symbolic Dynamics to Compare Path-Complete Lyapunov Functions. - Somya Singh; Raphaël M. Jungers (CDC, 2024)

Memoryless concretization relation. - Julien Calbert; Sébastien M. Mattenet; Antoine Girard; Raphaël M. Jungers (HSCC, 2024)

Learning stability of partially observed switched linear systems. - Zheming Wang; Raphaël M. Jungers; Mihály Petreczky; Bo Chen 003; Li Yu 001 (Autom., 2024)

Dionysos.jl: a Modular Platform for Smart Symbolic Control. - Julien Calbert; Adrien Banse; Benoît Legat; Raphaël M. Jungers (CoRR, 2024)

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric. - Adrien Banse; Licio Romao; Alessandro Abate; Raphaël M. Jungers (CoRR, 2024)

A Cantor-Kantorovich Metric Between Markov Decision Processes with Application to Transfer Learning. - Adrien Banse; Venkatraman Renganathan; Raphaël M. Jungers (CoRR, 2024)

Classification of simulation relations for symbolic control. - Julien Calbert; Antoine Girard; Raphaël M. Jungers (CoRR, 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)

Multiple Lyapunov Functions and Memory: A Symbolic Dynamics Approach to Systems and Control. - Matteo Della Rossa; Raphaël M. Jungers (SIAM J. Control. Optim., 2024)

Graph-based conditions for feedback stabilization of switched and LPV systems. - Matteo Della Rossa; Thiago Alves Lima; Marc Jungers; Raphaël M. Jungers (Autom., 2024)

AIMD-Inspired Switching Control of Computing Networks. - Eleftherios E. Vlahakis; Raphaël M. Jungers; Nikolaos Athanasopoulos; Seán F. McLoone (IEEE Trans. Control. Netw. Syst., 2024)

On Objective Function Value Performance of the Scenario Approach Under Regularity Conditions. - Zheming Wang; Raphaël M. Jungers (IEEE Trans. Autom. Control., 2024)

Zonotope-Based Symbolic Controller Synthesis for Linear Temporal Logic Specifications. - Wei Ren 004; Raphaël M. Jungers; Dimos V. Dimarogonas (IEEE Trans. Autom. Control., 2024)

Data-Driven Control of Unknown Switched Linear Systems Using Scenario Optimization. - Zheming Wang; Guillaume O. Berger; Raphaël M. Jungers (IEEE Trans. Autom. Control., 2024)

Dionysos.jl: a Modular Platform for Smart Symbolic Control. - Julien Calbert; Adrien Banse; Benoît Legat; Raphaël M. Jungers (Zenodo, 2024)

Memory-dependent abstractions of stochastic systems through the lens of transfer operators. - Adrien Banse; Giannis Delimpaltadakis; Luca Laurenti; Manuel Mazo 002; Raphaël M. Jungers (HSCC, 2025)

Formal Synthesis of Lyapunov Stability Certificates for Linear Switched Systems using ReLU Neural Networks. - Virginie Debauche; Alec Edwards; Raphaël M. Jungers; Alessandro Abate (NeuS, 2025)

PAC Learnability of Scenario Decision-Making Algorithms: Necessary Conditions and Sufficient Conditions. - Guillaume O. Berger; Raphaël M. Jungers (IEEE Control. Syst. Lett., 2025)

A limitation on black-box dynamics approaches to Reinforcement Learning. - Brieuc Pinon; Raphaël M. Jungers; Jean-Charles Delvenne (Trans. Mach. Learn. Res., 2025)

Improved Compression Bounds for Scenario Decision Making. - Guillaume O. Berger; Raphaël M. Jungers (CoRR, 2025)

PAC Learnability of Scenario Decision-Making Algorithms: Necessary and Sufficient Conditions. - Guillaume O. Berger; Raphaël M. Jungers (CoRR, 2025)

Theoretical Barriers in Bellman-Based Reinforcement Learning. - Brieuc Pinon; Raphaël M. Jungers; Jean-Charles Delvenne (CoRR, 2025)

Ordering and refining path-complete Lyapunov functions through composition lifts. - Wouter Jongeneel; Raphaël M. Jungers (CoRR, 2025)

On the Completeness and Ordering of Path-Complete Barrier Functions. - Mahathi Anand; Raphaël M. Jungers; Majid Zamani 001; Frank Allgöwer (CoRR, 2025)

Agile Temporal Discretization for Symbolic Optimal Control. - Adrien Janssens; Adrien Banse; Julien Calbert; Raphaël M. Jungers (CoRR, 2025)

LLM-Enhanced Symbolic Control for Safety-Critical Applications. - Amir Bayat; Alessandro Abate; Necmiye Ozay; Raphaël M. Jungers (CoRR, 2025)