Raphaël M. Jungers

Orcid: 0000-0002-7789-0940

Affiliations:
  • UC Louvain, Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM)


According to our database1, Raphaël M. Jungers authored at least 194 papers between 2006 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Data-Driven Control of Unknown Switched Linear Systems Using Scenario Optimization.
IEEE Trans. Autom. Control., November, 2024

Zonotope-Based Symbolic Controller Synthesis for Linear Temporal Logic Specifications.
IEEE Trans. Autom. Control., November, 2024

On Objective Function Value Performance of the Scenario Approach Under Regularity Conditions.
IEEE Trans. Autom. Control., July, 2024

AIMD-Inspired Switching Control of Computing Networks.
IEEE Trans. Control. Netw. Syst., June, 2024

Graph-based conditions for feedback stabilization of switched and LPV systems.
Autom., February, 2024

Multiple Lyapunov Functions and Memory: A Symbolic Dynamics Approach to Systems and Control.
SIAM J. Control. Optim., 2024

Smart Abstraction Based on Iterative Cover and Non-Uniform Cells.
IEEE Control. Syst. Lett., 2024

Classification of simulation relations for symbolic control.
CoRR, 2024

A Cantor-Kantorovich Metric Between Markov Decision Processes with Application to Transfer Learning.
CoRR, 2024

Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric.
CoRR, 2024

Dionysos.jl: a Modular Platform for Smart Symbolic Control.
CoRR, 2024

Learning stability of partially observed switched linear systems.
Autom., 2024

Memoryless concretization relation.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
Stability of Switched Affine Systems: Arbitrary and Dwell-Time Switching.
SIAM J. Control. Optim., August, 2023

Interpretability of Path-Complete Techniques and Memory-Based Lyapunov Functions.
IEEE Control. Syst. Lett., 2023

Efficiency Separation between RL Methods: Model-Free, Model-Based and Goal-Conditioned.
CoRR, 2023

Context-triggered Abstraction-based Control Design.
CoRR, 2023

Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version].
CoRR, 2023

Learning stability guarantees for constrained switching linear systems from noisy observations.
CoRR, 2023

Computation of invariant sets via immersion for discrete-time nonlinear systems.
Autom., 2023

Data-driven memory-dependent abstractions of dynamical systems.
Proceedings of the Learning for Dynamics and Control Conference, 2023

Poster Abstract: Towards Seamless Reactivity of Hybrid Control.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

Characterization of the ordering of path-complete stability certificates with addition-closed templates.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

A model-based approach to meta-Reinforcement Learning: Transformers and tree search.
Proceedings of the 31st European Symposium on Artificial Neural Networks, 2023

Data-Driven Reachability Analysis of Lipschitz Nonlinear Systems via Support Vector Data Description.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Data-driven Abstractions via Adaptive Refinements and a Kantorovich Metric.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Data-driven heuristic symbolic models and application to limit-cycle detection.
Proceedings of the American Control Conference, 2023

2022
Optimal Intermittent Particle Filter.
IEEE Trans. Signal Process., 2022

On the Strong $\mathcal {H}_2$ Norm of Differential Algebraic Systems With Multiple Delays: Finiteness Criteria, Regularization, and Computation.
IEEE Trans. Autom. Control., 2022

Equivalent polyadic decompositions of matrix multiplication tensors.
J. Comput. Appl. Math., 2022

An Efficient Method to Verify the Inclusion of Ellipsoids.
CoRR, 2022

Learning stability guarantees for data-driven constrained switching linear systems.
CoRR, 2022

Optimal Resource Scheduling and Allocation under Allowable Over-Scheduling.
CoRR, 2022

Worst-case topological entropy and minimal data rate for state estimation of switched linear systems.
Commun. ACM, 2022

Razumikhin and Krasovskii approaches for safe stabilization.
Autom., 2022

An improved finiteness test and a systematic procedure to compute the strong ℋ2 norm of differential algebraic systems with multiple delays.
Autom., 2022

Stabilization of rank-deficient continuous-time switched affine systems.
Autom., 2022

Memory-Based Lyapunov Functions and Path-complete Framework: Equivalence and Properties.
Proceedings of the 10th International Conference on Systems and Control, 2022

Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Probabilistic guarantees on the objective value for the scenario approach via sensitivity analysis.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Almost sure Stability of Stochastic Switched Systems: Graph lifts-based Approach.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Systems with both constant and time-varying delays: a switched systems approach and application to observer-controller co-design.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

State-feedback Abstractions for Optimal Control of Piecewise-affine Systems.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Data-driven invariant subspace identification for black-box switched linear systems.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Black-box stability analysis of hybrid systems with sample-based multiple Lyapunov functions.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Optimal Resource Scheduling and Allocation in Distributed Computing Systems.
Proceedings of the American Control Conference, 2022

Reachability-based Control Synthesis under Signal Temporal Logic Specifications.
Proceedings of the American Control Conference, 2022

Optimal Abstraction-based Control with Local Affine Controllers.
Proceedings of the American Control Conference, 2022

2021
Characterization of flat outputs of switched linear discrete-time systems: Algebraic condition and algorithm.
Syst. Control. Lett., 2021

A Linear Bound on the k-rendezvous Time for Primitive Sets of NZ Matrices.
Fundam. Informaticae, 2021

Optimal measurement budget allocation for Kalman prediction over a finite time horizon by genetic algorithms.
EURASIP J. Adv. Signal Process., 2021

A Data-Driven Method for Computing Polyhedral Invariant Sets of Black-Box Switched Linear Systems.
IEEE Control. Syst. Lett., 2021

Scenario-Based Set Invariance Verification for Black-Box Nonlinear Systems.
IEEE Control. Syst. Lett., 2021

Piecewise Semi-Ellipsoidal Control Invariant Sets.
IEEE Control. Syst. Lett., 2021

Quantized Stabilization of Continuous-Time Switched Linear Systems.
IEEE Control. Syst. Lett., 2021

PAC-learning gains of Turing machines over circuits and neural networks.
CoRR, 2021

Computation of the maximal invariant set of discrete-time linear systems subject to a class of non-convex constraints.
Autom., 2021

p-dominant switched linear systems.
Autom., 2021

Abstraction-based branch and bound approach to Q-learning for hybrid optimal control.
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

Chance-constrained quasi-convex optimization with application to data-driven switched systems control.
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

Immersion-based model predictive control of constrained nonlinear systems: Polyflow approximation.
Proceedings of the 2021 European Control Conference, 2021

Event-Triggered Tracking Control of Networked and Quantized Control Systems.
Proceedings of the 2021 European Control Conference, 2021

Data-driven feedback stabilization of switched linear systems with probabilistic stability guarantees.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Data-driven stability analysis of switched affine systems.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Zonotope-based Controller Synthesis for LTL Specifications.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Alternating Simulation on Hierarchical Abstractions.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Complexity of the LTI system trajectory boundedness problem.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Optimal Control for Linear Networked Control Systems with Information Transmission Constraints.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Data-driven stability analysis of switched linear systems with Sum of Squares guarantees.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

Geometric control of algebraic systems.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

Template-Dependent Lifts for Path-Complete Stability Criteria and Application to Positive Switching Systems.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020
Certifying Unstability of Switched Systems Using Sum of Squares Programming.
SIAM J. Control. Optim., 2020

Edge Computing Resource Allocation for Dynamic Networks: The DRUID-NET Vision and Perspective.
Sensors, 2020

Lower bounds and dense discontinuity phenomena for the stabilizability radius of linear switched systems.
Syst. Control. Lett., 2020

On the Quality of First-Order Approximation of Functions with Hölder Continuous Gradient.
J. Optim. Theory Appl., 2020

The Synchronizing Probability Function for Primitive Sets of Matrices.
Int. J. Found. Comput. Sci., 2020

Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems.
IEEE Control. Syst. Lett., 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.
Autom., 2020

Optimal Measurement Budget Allocation For Particle Filtering.
Proceedings of the IEEE International Conference on Image Processing, 2020

Worst-case topological entropy and minimal data rate for state observation of switched linear systems.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Control in the IoT: How to deal with various heterogeneous non-idealities?
Proceedings of the 18th European Control Conference, 2020

Stability of Planar Switched Systems under Delayed Event Detection.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Finite Data-Rate Feedback Stabilization of Continuous-Time Switched Linear Systems with Unknown Switching Signal.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019
On Path-Complete Lyapunov Functions: Geometry and Comparison.
IEEE Trans. Autom. Control., 2019

An Entropy-Based Bound for the Computational Complexity of a Switched System.
IEEE Trans. Autom. Control., 2019

Hardly Reachable Subsets and Completely Reachable Automata with 1-Deficient Words.
J. Autom. Lang. Comb., 2019

On Random Primitive Sets, Directable NFAs and the Generation of Slowly Synchronizing DFAs.
J. Autom. Lang. Comb., 2019

On the Interplay Between Černý and Babai's Conjectures.
Int. J. Found. Comput. Sci., 2019

Computation of the maximal invariant set of discrete-time systems subject to quasi-smooth non-convex constraints.
CoRR, 2019

Data-driven computation of invariant sets of discrete time-invariant black-box systems.
CoRR, 2019

Data driven stability analysis of black-box switched linear systems.
Autom., 2019

Optimal intermittent measurements for tumor tracking in x-ray guided radiotherapy.
Proceedings of the Medical Imaging 2019: Image-Guided Procedures, 2019

A complete characterization of the ordering of path-complete methods.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Formal methods for computing hyperbolic invariant sets for nonlinear systems: poster abstract.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Computation of the maximal invariant set of linear systems with quasi-smooth nonlinear constraints.
Proceedings of the 17th European Control Conference, 2019

Finite-horizon covariance control of state-affine nonlinear systems with application to proton beamline calibration.
Proceedings of the 17th European Control Conference, 2019

A Converse Lyapunov Theorem for p-dominant Switched Linear Systems.
Proceedings of the 17th European Control Conference, 2019

Polyhedral Path-Complete Lyapunov Functions.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Non-local Linearization of Nonlinear Differential Equations via Polyflows.
Proceedings of the 2019 American Control Conference, 2019

2018
Observability and Controllability Analysis of Linear Systems Subject to Data Losses.
IEEE Trans. Autom. Control., 2018

Primitive Sets of Nonnegative Matrices and Synchronizing Automata.
SIAM J. Matrix Anal. Appl., 2018

On random primitive sets, directable NDFAs and the generation of slowly synchronizing DFAs.
CoRR, 2018

SOS-Convex Lyapunov Functions and Stability of Difference Inclusions.
CoRR, 2018

Combinatorial methods for invariance and safety of hybrid systems.
Autom., 2018

On Randomized Generation of Slowly Synchronizing Automata.
Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

The impact of packet dropouts on the reachability energy.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Dynamics of the Independence Number and Automata Synchronization.
Proceedings of the Developments in Language Theory - 22nd International Conference, 2018

On Completely Reachable Automata and Subset Reachability.
Proceedings of the Developments in Language Theory - 22nd International Conference, 2018

Observability of Discrete-Time Linear Systems with Communication Protocols and Dropouts.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Minimally, Constrained Stable Switched Systems and Application to Co-Simulation.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Path-Complete p-Dominant Switching Linear Systems.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Deciding Stability of a Switched System Without Identifying It.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Computing controlled invariant sets for hybrid systems with applications to model-predictive control.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

On invariance and reachability on semialgebraic sets for linear dynamics.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017
A Characterization of Lyapunov Inequalities for Stability of Switched Systems.
IEEE Trans. Autom. Control., 2017

On Feedback Stabilization of Linear Switched Systems via Switching Signal Control.
SIAM J. Control. Optim., 2017

Tight bound for deciding convergence of consensus systems.
Syst. Control. Lett., 2017

A complexity analysis of Policy Iteration through combinatorial matrices arising from Unique Sink Orientations.
J. Discrete Algorithms, 2017

Generalized primitivity of labeled digraphs.
Electron. Notes Discret. Math., 2017

Invariant Sets Analysis for Constrained Switching Systems.
IEEE Control. Syst. Lett., 2017

Sets of Stochastic Matrices with Converging Products: Bounds and Complexity.
CoRR, 2017

Invariance in Constrained Switching.
CoRR, 2017

Path-Complete Graphs and Common Lyapunov Functions.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

On the Interplay Between Babai and Černý's Conjectures.
Proceedings of the Developments in Language Theory - 21st International Conference, 2017

A linear program to compare path-complete Lyapunov functions.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

2016
Analysing the Stability of Linear Systems via Exponential Chebyshev Polynomials.
IEEE Trans. Autom. Control., 2016

Controllability of Linear Systems With Switching Delays.
IEEE Trans. Autom. Control., 2016

On the Synchronizing Probability Function and the Triple Rendezvous Time for Synchronizing Automata.
SIAM J. Discret. Math., 2016

Efficient method for computing lower bounds on the p-radius of switched linear systems.
Syst. Control. Lett., 2016

Improved bound on the worst case complexity of Policy Iteration.
Oper. Res. Lett., 2016

Path-complete positivity of switching systems.
CoRR, 2016

Tight Bounds for Consensus Systems Convergence.
CoRR, 2016

Stability of discrete-time switching systems with constrained switching sequences.
Autom., 2016

Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Computing the Domain of Attraction of Switching Systems Subject to Non-Convex Constraints.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Extremal storage functions and minimal realizations of discrete-time linear switching systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Safety and invariance for constrained switching systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015
Efficient Algorithms for the Consensus Decision Problem.
SIAM J. Control. Optim., 2015

A Note on a Recent Attempt to Improve the Pin-Frankl Bound.
Discret. Math. Theor. Comput. Sci., 2015

Deciding the boundedness and dead-beat stability of constrained switching systems.
CoRR, 2015

Lower Bounds on Complexity of Lyapunov Functions for Switched Linear Systems.
CoRR, 2015

On primitivity of sets of matrices.
Autom., 2015

On the Synchronizing Probability Function and the Triple Rendezvous Time - New Approaches to Černý's Conjecture.
Proceedings of the Language and Automata Theory and Applications, 2015

A sufficient condition for the boundedness of matrix products accepted by an automaton.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Converse Lyapunov theorems for discrete-time linear switching systems with regular switching sequences.
Proceedings of the 14th European Control Conference, 2015

The minimum achievable stability radius of switched linear systems with feedback.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Reachability of consensus and synchronizing automata.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

On observability in networked control systems with packet losses.
Proceedings of the 53rd Annual Allerton Conference on Communication, 2015

Controllability of linear systems subject to packet losses.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014
Efficient Computations of a Security Index for False Data Attacks in Power Networks.
IEEE Trans. Autom. Control., 2014

Lifted Polytope Methods for Computing the Joint Spectral Radius.
SIAM J. Matrix Anal. Appl., 2014

Joint Spectral Radius and Path-Complete Graph Lyapunov Functions.
SIAM J. Control. Optim., 2014

Polytopic uncertainty for linear systems: New and old complexity results.
Syst. Control. Lett., 2014

Data-driven traffic and diffusion modeling in peer-to-peer networks: A real case study.
Netw. Sci., 2014

Special issue in the honor of the 14th "Journées Montoises d'Informatique Théorique" - Foreword.
RAIRO Theor. Informatics Appl., 2014

The Software-Defined Network Revolution.
ERCIM News, 2014

PageRank optimization by edge selection.
Discret. Appl. Math., 2014

An improved lower bound for Order-Regular matrices.
CoRR, 2014

On the Synchronizing Probability Function and the Triple Rendezvous Time for Synchronzing Automata.
CoRR, 2014

Graph diameter, eigenvalues, and minimum-time consensus.
Autom., 2014

JSR: a toolbox to compute the joint spectral radius.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Efficiently computable lower bounds for the p-radius of switching linear systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

An efficient technique for solving the scheduling of appliances in smart-homes.
Proceedings of the American Control Conference, 2014

2013
Sorting under partial information (without the ellipsoid algorithm).
Comb., 2013

Convex optimization methods for computing the Lyapunov exponent of matrices.
Proceedings of the 12th European Control Conference, 2013

Joint Spectral Characteristics: A Tale of Three Disciplines.
Proceedings of the Developments in Language Theory - 17th International Conference, 2013

Is switching systems stability harder for continuous time systems?
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Switched stability of nonlinear systems via SOS-convex Lyapunov functions and semidefinite programming.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
The Synchronizing Probability Function of an Automaton.
SIAM J. Discret. Math., 2012

Diameter, Optimal Consensus, and Graph Eigenvalues
CoRR, 2012

Lifted polytope methods for stability analysis of switching systems
CoRR, 2012

An Exact Solution to the Power Networks Security Index Problem and its Generalized Min Cut Formulation
CoRR, 2012

When Is a Set of LMIs a Sufficient Condition for Stability?
Proceedings of the 7th IFAC Symposium on Robust Control Design, 2012

Feedback stabilization of dynamical systems with switched delays.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

The complexity of Policy Iteration is exponential for discounted Markov Decision Processes.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011
Fast Methods for Computing the p-Radius of Matrices.
SIAM J. Sci. Comput., 2011

Observable graphs.
Discret. Appl. Math., 2011

Policy Iteration is well suited to optimize PageRank
CoRR, 2011

Fast computation of minimal elementary decompositions of metabolic flux vectors.
Autom., 2011

Analysis of the joint spectral radius via Lyapunov functions on path-complete graphs.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2010
The continuous Skolem-Pisot problem.
Theor. Comput. Sci., 2010

Joint Spectral Characteristics of Matrices: A Conic Programming Approach.
SIAM J. Matrix Anal. Appl., 2010

An Efficient Algorithm for Partial Order Production.
SIAM J. Comput., 2010

Weak stability of switching dynamical systems and fast computation of the p-radius of matrices.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

PageRank Optimization in Polynomial Time by Stochastic Shortest Path Reformulation.
Proceedings of the Algorithmic Learning Theory, 21st International Conference, 2010

2009
Overlap-free words and spectra of matrices.
Theor. Comput. Sci., 2009

On the number of alpha-power-free binary words for 2alpha<=7/3.
Theor. Comput. Sci., 2009

Testing avoidability on sets of partial words is hard.
Theor. Comput. Sci., 2009

Counterexamples to the Complex Polytope Extremality Conjecture.
SIAM J. Matrix Anal. Appl., 2009

2008
Computing the Growth of the Number of Overlap-Free Words with Spectra of Matrices.
Proceedings of the LATIN 2008: Theoretical Informatics, 2008

2007
Linear time algorithms for Clobber
CoRR, 2007

2006
On the Complexity of Computing the Capacity of Codes That Avoid Forbidden Difference Patterns.
IEEE Trans. Inf. Theory, 2006

Efficient algorithms for deciding the type of growth of products of integer matrices
CoRR, 2006


  Loading...