Learning to Control - Smart and Data-Driven Formal Methods for Cyber-Physical Systems control

Project Information

L2C

Grant agreement ID: 864017

DOI 10.3030/864017

EC signature date 23 March 2020

Start date 1 September 2020

End date 31 August 2026

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost € 1 911 250,00

EU contribution € 1 911 250,00

Coordinated by

UNIVERSITE CATHOLIQUE DE LOUVAIN
Belgium

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (47)

Computing invariant sets of discrete-time nonlinear systems via state immersion

Author(s): Zheming Wang, Raphaël M. Jungers, Chong-Jin Ong
Published in: IFAC-PapersOnLine, Issue Volume 53, Issue 2, 2020, Page(s) 5505-5510
Publisher: Elsevier
DOI: 10.1016/j.ifacol.2020.12.1558

Data-driven stability analysis of switched affine systems

Author(s): Matteo Della Rossa, Zheming Wang, Lucas N. Egidio, Raphael M. Jungers
Published in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Page(s) 3204-3209
Publisher: IEEE
DOI: 10.1109/cdc45484.2021.9682823

Zonotope-based Controller Synthesis for LTL Specifications

Author(s): W. Ren, J. Calbert, R. M. Jungers
Published in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Page(s) 580-585, ISBN 978-1-6654-3659-5
Publisher: IEEE
DOI: 10.1109/cdc45484.2021.9683150

Optimal Measurement Budget Allocation For Particle Filtering

Author(s): Antoine ASPEEL; Amaury GOUVERNEUR; Raphaël M. JUNGERS; Benoît MACQ
Published in: IEEE International Conference on Image Processing (ICIP), Issue Vol. 1, no. 1, 2020, Page(s) 1-5, ISBN 978-1-7281-6396-3
Publisher: IEEE
DOI: 10.1109/icip40778.2020.9190702

Event-Triggered Tracking Control of Networked and Quantized Control Systems

Author(s): W. Ren, D. V. Dimarogonas, R. M. Jungers
Published in: 2021 European Control Conference (ECC), 2021, Page(s) 632-637, ISBN 978-9-4638-4236-5
Publisher: IEEE
DOI: 10.23919/ecc54610.2021.9654945

Stability of Planar Switched Systems under Delayed Event Detection

Author(s): Benoît Legat, Cláudio Gomes, Paschalis Karalis, Raphaël M. Jungers, Eva M. Navarro-López, Hans Vangheluwe
Published in: 2020 59th IEEE Conference on Decision and Control (CDC), 2020, ISBN 978-1-7281-7448-8
Publisher: IEEE
DOI: 10.1109/cdc42340.2020.9304152

Formal Synthesis of Path-Complete Lyapunov Functions on Neural Templates

Author(s): Debauche Virginie, Jungers Raphaël M.
Published in: Book of Abstracts - 42nd Benelux Meeting on Systems and Control, 2023, ISBN 978-94-034-3010-2
Publisher: Raffaella Carloni, Javier Alonso-Mora, Bayu Jayawardhana, and Erjen Lefeber (Eds.)

Razumikhin-type Control Lyapunov and Barrier Functions for Time-Delay Systems

Author(s): W. Ren
Published in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Page(s) 5471-5476, ISBN 978-1-6654-3660-1
Publisher: IEEE
DOI: 10.1109/cdc45484.2021.9682928

An Efficient Method to Verify the Inclusion of Ellipsoids

Author(s): Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers
Published in: arXiv, 2022
Publisher: arXiv
DOI: 10.48550/arxiv.2211.06237

Zonotope-based Controller Synthesis for LTL Specifications

Author(s): Ren, Wei; Calbert, Julien; Jungers, Raphael
Published in: Zenodo, Issue 1, 2021
Publisher: ZENODO
DOI: 10.5281/zenodo.6083118

Almost sure Stability of Stochastic Switched Systems: Graph lifts-based Approach

Author(s): Della Rossa, Matteo; Jungers, Raphaël M.
Published in: 2022 IEEE 61st Conference on Decision and Control (CDC), Issue Vol. 62, 2022
Publisher: I E E E
DOI: 10.48550/arxiv.2208.12022

On Path-Complete Lyapunov Functions : comparison between a graph and its expansion

Author(s): Debauche Virginie, Jungers Raphaël M.
Published in: Book of Abstracts - 39th Benelux Meeting on Systems and Control, 2020, ISBN 978-94-034-2571-9
Publisher: Raffaella Carloni, Bayu Jayawardhana, and Erjen Lefeber (Eds.)

Poster Abstract: Towards Seamless Reactivity of Hybrid Control

Author(s): Lucas Neves Egidio; Satya Prakash Nayak; Matteo Della Rossa; Anne-Kathrin Schmuck; Raphaël Jungers
Published in: HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, Issue 1, 2023
Publisher: ACM
DOI: 10.1145/3575870.3589553

A data-driven method for computing polyhedral invariant sets of black-box switched linear systems

Author(s): Zheming Wang; Raphaël M. Jungers
Published in: IEEE Control Systems Letters, Issue 5, 2020, Page(s) 1843-1848
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.23919/acc50511.2021.9483010

Data-driven feedback stabilization of switched linear systems with probabilistic stability guarantees

Author(s): Zheming Wang, Guillaume O. Berger, Raphaël M. Jungers
Published in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Page(s) 4400-4405
Publisher: IEEE
DOI: 10.1109/cdc45484.2021.9683233

Systems with both constant and time-varying delays: a switched systems approach and application to observer-controller co-design

Author(s): Thiago Alves Lima, Matteo Della Rossa, Frédéric Gouaisbaut, Raphaël Jungers, Sophie Tarbouriech
Published in: 2022
Publisher: arXiv
DOI: 10.48550/arxiv.2209.04869

Characterization of the ordering of path-complete stability certificates with addition-closed templates

Author(s): Virginie Debauche; Matteo Della Rossa; Raphaël Jungers
Published in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, Issue 8, 2023, Page(s) 1-10, ISBN 978-1-4503-8728-6
Publisher: Association for Computing Machinery
DOI: 10.1145/3575870.3587114

Chance-constrained quasi-convex optimization with application to data-driven switched systems control.

Author(s): Berger, Guillaume O.- Jungers, Raphaël M.- Wang, Zheming
Published in: Proceedings of Machine Learning Research, Issue 144, 2021, Page(s) 571-583
Publisher: XX
DOI: 10.48550/arxiv.2101.01415

Reachability-based Control Synthesis under Signal Temporal Logic Specifications

Author(s): Wei Ren, Raphaël Jungers
Published in: American Control Conference. Proceedings, 2022, Page(s) 2078-2083, ISBN 978-1-6654-5196-3
Publisher: IEEE
DOI: 10.23919/acc53348.2022.9867813

Comparison of Path-Complete Stability Criteria via Quantifier Elimination

Author(s): Debauche Virginie, Jungers Raphaël M.
Published in: 40th Benelux meeting on systems and control, 2021
Publisher: 40th Benelux meeting on systems and control

Finite data-rate feedback stabilization of continuous-time switched linear systems with unknown switching signal

Author(s): Guillaume O. Berger, Raphaël M. Jungers
Published in: 2020 IEEE Conference on Decision and Control (CDC), 2020, ISBN 978-1-7281-7447-1
Publisher: IEEE Xplore
DOI: 10.1109/cdc42340.2020.9304214

Immersion-based model predictive control of constrained nonlinear systems: Polyflow approximation

Author(s): Z. Wang, R. M. Jungers
Published in: 2021 European Control Conference (ECC), 2021, Page(s) 1099-1104
Publisher: IEEE
DOI: 10.23919/ecc54610.2021.9655233

Geometric control of algebraic systems

Author(s): Benoît Legat; Raphaël M. Jungers
Published in: ADHS, Issue 2, 2021
Publisher: Elsevier BV
DOI: 10.48550/arxiv.2101.06990

State-feedback Abstractions for Optimal Control of Piecewise-affine Systems

Author(s): Neves Egidio, Lucas; Alves Lima, Thiago; Jungers, Raphaël M.
Published in: 2022 IEEE 61st Conference on Decision and Control (CDC), 2022
Publisher: IEEE
DOI: 10.48550/arxiv.2204.00315

Optimal Control for Linear Networked Control Systems with Information Transmission Constraints

Author(s): Antoine Aspeel, Kwesi Rutledge, Raphaël M. Jungers, Benoit Macq, Necmiye Özay
Published in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, ISBN 978-1-6654-3659-5
Publisher: IEEE
DOI: 10.1109/cdc45484.2021.9683476

Probabilistic guarantees on the objective value for the scenario approach via sensitivity analysis

Author(s): Zheming Wang, Raphaël M. Jungers
Published in: 2022 IEEE 61st Conference on Decision and Control (CDC), 2022, ISBN 978-1-6654-6761-2
Publisher: IEEE
DOI: 10.1109/cdc51059.2022.9993351

Data-driven heuristic symbolic models and application to limit-cycle detection

Author(s): Calbert, Julien; Jungers, Raphaël M.
Published in: American Control Conference. Proceedings, 2023
Publisher: IEEE
DOI: 10.23919/acc55779.2023.10156175

Characterization of the ordering of path-complete stability certificates with addition-closed templates

Author(s): Debauche Virginie, Della Rossa Matteo, Jungers Raphaël M.
Published in: 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Publisher: ACM

Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods

Author(s): Virginie Debauche; Della Rossa, Matteo; Jungers, Raphaël M.
Published in: HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, (2022), Issue 1, 2022
Publisher: Association for Computing Machinery, Inc.
DOI: 10.1145/3501710.3519539

Formal Synthesis of Path-Complete Lyapunov Functions on Neural Templates

Author(s): Debauche, Virginie; Jungers, Raphaël M.
Published in: 2023
Publisher: 42th Benelux meeting on systems and control

Topological entropy and minimal data rate for state observation of LTV systems

Author(s): Guillaume O. Berger, Raphaël M. Jungers
Published in: IFAC-PapersOnLine, Issue Volume 53, Issue 2, 2020, Page(s) 3060-3065
Publisher: Science direct
DOI: 10.1016/j.ifacol.2020.12.1007

Worst-case topological entropy and minimal data rate for state observation of switched linear systems

Author(s): Guillaume O. Berger, Raphaël M. Jungers
Published in: HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, Issue 4, 2020, Page(s) 1-11
Publisher: ACM
DOI: 10.1145/3365365.3382195

Data-driven invariant subspace identification for black-box switched linear systems

Author(s): Guillaume O. Berger, Raphaël M. Jungers, Zheming Wang
Published in: 2022 IEEE 61st Conference on Decision and Control (CDC), 2022, ISBN 978-1-6654-6761-2
Publisher: IEEE
DOI: 10.1109/cdc51059.2022.9993022

Complexity of the LTI system trajectory boundedness problem

Author(s): Guillaume O. Berger; Raphael M. Jungers
Published in: 2021 IEEE Conference on Decision and Control (CDC),, Issue 2, 2021
Publisher: IEEE
DOI: 10.48550/arxiv.2108.00728

Piecewise semi-ellipsoidal control invariant sets

Author(s): Benoît Legat, Saša V. Raković, Raphaël M. Jungers
Published in: IEEE Conference on Decision and Control. Proceedings, 2020, ISSN 0743-1546
Publisher: IEEE
DOI: 10.48550/arxiv.2007.02770

A data-driven immersion technique for linearization of discrete-time nonlinear systems

Author(s): Zheming Wang, Raphaël M. Jungers
Published in: IFAC-PapersOnLine, Issue Vol. 53, no.2, 2020, Page(s) 869-874
Publisher: Elsevier BV
DOI: 10.1016/j.ifacol.2020.12.845

Memory-Based Lyapunov Functions and Path-complete Framework: Equivalence and Properties

Author(s): Matteo Della Rossa, Raphaël M. Jungers
Published in: 2022 10th International Conference on Systems and Control (ICSC), 2022, ISBN 978-1-6654-6507-6
Publisher: IEEE
DOI: 10.1109/icsc57768.2022.9993958

Learning stability guarantees for data-driven constrained switching linear systems

Author(s): Adrien Banse, Zheming Wang, Raphaël M. Jungers
Published in: 2022
Publisher: arXiv
DOI: 10.48550/arxiv.2205.00696

Optimal Abstraction-based Control with Local Affine Controllers

Author(s): Lucas N. Egidio, Thiago Alves Lima, Raphaël Jungers
Published in: 2022 American Control Conference (ACC), 2022, ISBN 978-1-6654-5196-3
Publisher: IEEE
DOI: 10.23919/acc53348.2022.9867296

Alternating Simulation on Hierarchical Abstractions

Author(s): Julien Calbert, Benoît Legat, Lucas N. Egidio, Raphael Jungers
Published in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Page(s) 593-598
Publisher: IEEE
DOI: 10.1109/cdc45484.2021.9683448

Data-driven memory-dependent abstractions of dynamical systems

Author(s): Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
Published in: 2022
Publisher: arXiv
DOI: 10.48550/arxiv.2212.01926

Abstraction-based branch and bound approach to Q-learning for hybrid optimal control

Author(s): Legat, Benoît; Jean Bouchat; Jungers, Raphaël M.
Published in: Proceedings of Machine Learning Research, Issue Vol. 144, 2021, Page(s) 263-274
Publisher: arXiv
DOI: 10.48550/arxiv.2011.11029

Learning stability guarantees for data-driven constrained switching linear systems

Author(s): Banse Adrien, Wang Zheming, Jungers Raphaël M.
Published in: Book of Abstracts 41st Benelux Meeting on Systems and Control, 2022
Publisher: Benelux meeting

Optimal Resource Scheduling and Allocation in Distributed Computing Systems

Author(s): Wei Ren, Eleftherios Vlahakis, Nikolaos Athanasopoulos, Raphaël Jungers
Published in: 2022 American Control Conference (ACC), 2022, ISBN 978-1-6654-5196-3
Publisher: IEEE
DOI: 10.23919/acc53348.2022.9867340

AIMD-inspired switching control of computing networks

Author(s): Vlahakis, Eleftherios; Jungers, Raphaël M.;Athanasopoulos, Nikolaos; McLoone, Sean
Published in: IEEE Transactions on Control of Network Systems, 2023
Publisher: IEEE
DOI: 10.1109/tcns.2023.3298202

Black-box stability analysis of hybrid systems with sample-based multiple Lyapunov functions

Author(s): Adrien Banse, Zheming Wang, Raphaël M. Jungers
Published in: 2022
Publisher: arXiv
DOI: 10.48550/arxiv.2205.00699

Control in the IoT: How to deal with various heterogeneous non-idealities?

Author(s): Raphaël M. Jungers
Published in: Proceedings of the European Control Conference (ECC 20), 2020, Page(s) 1559, ISBN 978-1-7281-8813-3
Publisher: IEEE
DOI: 10.23919/ecc51009.2020.9143635

Peer reviewed articles (41)

Comparison of path-complete Lyapunov functions via template-dependent lifts

Author(s): Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers
Published in: Nonlinear Analysis: Hybrid Systems, Issue Volume 46, 2022, Page(s) 101237, ISSN 1751-570X
Publisher: Elsevier BV
DOI: 10.1016/j.nahs.2022.101237

Learning stability of partially observed switched linear systems

Author(s): Zheming Wang, Raphaël M. Jungers, Mihály Petreczky, Bo Chen, Li Yu
Published in: arXiv, 2023, ISSN 2331-8422
Publisher: arXiv
DOI: 10.48550/arxiv.2301.08046

Quantized Stabilization of Continuous-Time Switched Linear Systems

Author(s): Guillaume O. Berger; Raphaël M. Jungers
Published in: IEEE Control Systems Letters, Issue Vol. 5, no. 1, 2020, Page(s) 319-324, ISSN 2475-1456
Publisher: IEEE
DOI: 10.1109/lcsys.2020.3002068

A Data-Driven Method for Computing Polyhedral Invariant Sets of Black-Box Switched Linear Systems

Author(s): Zheming Wang, Raphaël M. Jungers
Published in: IEEE Control Systems Letters, Issue Volume 5, issue 5, 2021, Page(s) 1843-1848, ISSN 2475-1456
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/lcsys.2020.3044838

Optimal measurement budget allocation for Kalman prediction over a finite time horizon by genetic algorithms

Author(s): Antoine Aspeel, Axel Legay, Raphaël M. Jungers, Benoit Macq
Published in: EURASIP Journal on Advances in Signal Processing, Issue Vol. 2021, no.1, 2021, ISSN 1687-6180
Publisher: Springer Science and Business Media LLC
DOI: 10.1186/s13634-021-00732-8

The Synchronizing Probability Function for Primitive Sets of Matrices

Author(s): Costanza Catalano, Raphaël M. Jungers
Published in: International Journal of Foundations of Computer Science, Issue Vol. 31, no. 06, 2020, Page(s) 777-803, ISSN 0129-0541
Publisher: World Scientific Publishing Co
DOI: 10.1142/s0129054120410051

Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]

Author(s): Banse, Adrien; Romao, Licio; Abate, Alessandro; Jungers, Raphaël M.
Published in: arXiv, Issue 14, 2023, ISSN 2331-8422
Publisher: arXiv
DOI: 10.48550/arxiv.2303.17618

Sum-of-Squares methods for controlled invariant sets with applications to model-predictive control

Author(s): Benoît Legat, Paulo Tabuada, Raphaël M. Jungers
Published in: Nonlinear Analysis: Hybrid Systems, Issue Vol. 36, 2020, Page(s) 100858, ISSN 1751-570X
Publisher: Elsevier BV
DOI: 10.1016/j.nahs.2020.100858

Context-Triggered Abstraction-Based Control Design

Author(s): Satya Prakash Nayak, Lucas Neves Egidio, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël Jungers
Published in: IEEE Open Journal of Control Systems, Issue 2, 2023, Page(s) 277 - 296, ISSN 2694-085X
Publisher: IEEE
DOI: 10.1109/ojcsys.2023.3305835

Lower bounds and dense discontinuity phenomena for the stabilizability radius of linear switched systems

Author(s): Carl P. Dettmann , Raphael M. Jungers , Paolo Mason
Published in: Systems & Control Letters, Issue Vol. 142, 2020, Page(s) 104737, ISSN 0167-6911
Publisher: Elsevier BV
DOI: 10.1016/j.sysconle.2020.104737

Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems

Author(s): Guillaume O. Berger; Raphaël M. Jungers
Published in: IEEE Control Systems Letters, Issue Vol. 4, no. 1, 2020, Page(s) 235-240, ISSN 2475-1456
Publisher: IEEE
DOI: 10.1109/lcsys.2019.2923923

Scenario-based set invariance verification for black-box nonlinear systems

Author(s): Z. Wang, R. M. Jungers
Published in: IEEE Control Systems Letters, Issue Volume 5, issue 1, 2021, Page(s) 193-198, ISSN 2475-1456
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/lcsys.2020.3001882

p-dominant switched linear systems

Author(s): Guillaume O. Berger, Raphaël M. Jungers
Published in: Automatica, Issue Vol. 132, 2021, ISSN 1751-570x
Publisher: Elsevier BV
DOI: 10.1016/j.automatica.2021.109801

Raphael M. Jungers [People in Control]

Author(s): Raphael M. Jungers
Published in: IEEE Control Systems Magazine, Issue 41, Issue: 3, 2021, Page(s) 21 - 23, ISSN 1066-033X
Publisher: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/mcs.2021.3062960

Learning stability guarantees for constrained switching linear systems from noisy observations

Author(s): Adrien Banse, Zheming Wang, Raphaël M. Jungers
Published in: Nonlinear Analysis: Hybrid Systems, 2023, ISSN 1751-570X
Publisher: Elsevier BV
DOI: 10.48550/arxiv.2302.05249

Graph-Based Conditions for Feedback Stabilization of Switched and LPV Systems

Author(s): Matteo Della Rossa, Thiago Alves Lima, Marc Jungers, Raphaël M. Jungers
Published in: arXiv, 2023, ISSN 2331-8422
Publisher: arXiv
DOI: 10.48550/arxiv.2306.11548

Data-driven stability analysis of switched linear systems with Sum of Squares guarantees

Author(s): Anne Rubbens, Zheming Wang, Raphael M. Jungers
Published in: IFAC-PapersOnLine, Issue volume 54, issue 5, 2021, Page(s) 62-72, ISSN 2405-8963
Publisher: Elsevier BV
DOI: 10.1016/j.ifacol.2021.08.476

Certifying Unstability of Switched Systems Using Sum of Squares Programming

Author(s): Benoît Legat, Pablo Parrilo, Raphaël Jungers
Published in: SIAM Journal on Control and Optimization, Issue Vol. 58, no.4, 2020, Page(s) 2616-2638, ISSN 0363-0129
Publisher: Society for Industrial and Applied Mathematics
DOI: 10.1137/18m1173460

On Objective Function Value Performance of the Scenario Approach Under Regularity Conditions

Author(s): Wang, Zheming; Jungers, Raphaël M
Published in: IEEE Transactions on Automatic Control, 2023, ISSN 0018-9286
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2023.3315691

On the m-dimensional Cayley–Hamilton theorem and its application to an algebraic decision problem inferred from the H2 norm analysis of delay systems

Author(s): Marco A. Gomez a, Raphaël M. Jungers b, Wim Michiels
Published in: Automatica, Issue Vol. 113, no. 108761, 2020, Page(s) 9, ISSN 0005-1098
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2019.108761

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

Author(s): Z. Wang, R. M. Jungers, C. J. Ong
Published in: Automatica, Issue Volume 125, 2021, Page(s) 109463, ISSN 0005-1098
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2020.109463

Worst-case topological entropy and minimal data rate for state estimation of switched linear systems

Author(s): Guillaume O. Berger; Raphael M. Jungers
Published in: Communications of the ACM, Vol. 65, no.2, p. 111-118 (2022), Issue Vol. 65, 2022, Page(s) 111-118, ISSN 0001-0782
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3505269

Edge Computing Resource Allocation for Dynamic Networks: The DRUID-NET Vision and Perspective

Author(s): Dimitrios Dechouniotis ,Nikolaos Athanasopoulos, Aris Leivadeas, Nathalie Mitton, Raphael Jungers, Symeon Papavassiliou
Published in: Sensors, Issue Vol. 20, no.8, 2020, Page(s) 2191, ISSN 1424-8220
Publisher: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/s20082191

Interpretability of Path-Complete Techniques and Memory-Based Lyapunov Functions

Author(s): Matteo Della Rossa; Raphael M. Jungers
Published in: IEEE Control Systems Letters, Vol. 7, p. 781-786 (2023), Issue Vol. 7, 2023, Page(s) 781-786, ISSN 2475-1456
Publisher: IEEE
DOI: 10.1109/lcsys.2022.3226627

Algorithmes de recommandation et culture technique : penser le dialogue entre éducation et design

Author(s): Claes Arnaud, Wiard Victor, Mercenier Heidi, Philippette Thibault, Dufrasne Marie, Browet Arnaud, Jungers, Raphaël M.
Published in: tic & société, Issue Vol. 15, no. 1, 2021, Page(s) 127-157, ISSN 1961-9510
Publisher: OpenEdition Journals ((France) Marseille)
DOI: 10.4000/ticetsociete.5915

On the Quality of First-Order Approximation of Functions with Hölder Continuous Gradient

Author(s): Guillaume O. Berger, P.-A. Absil, Raphaël M. Jungers, Yurii Nesterov
Published in: Journal of Optimization Theory and Applications, Issue Vol. 185, 2020, Page(s) 17-33, ISSN 0022-3239
Publisher: Kluwer Academic/Plenum Publishers
DOI: 10.1007/s10957-020-01632-x

Optimal Intermittent Particle Filter

Author(s): Antoine Aspeel, Amaury Gouverneur, Raphaël M. Jungers, Benoit Macq
Published in: Optimal Intermittent Particle Filter, Issue Vol.70, 2022, Page(s) 2814–2825, ISSN 1053-587X
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tsp.2022.3179877

Stabilization of rank-deficient continuous-time switched affine systems

Author(s): Egidio, Lucas N.; Deaecto, Grace S.; Jungers, Raphaël M.
Published in: Automatica, Issue 143, 2022, Page(s) 110426, ISSN 0005-1098
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110426

PAC-learning gains of Turing machines over circuits and neural networks

Author(s): Brieuc Pinon, Raphaël Jungers, Jean-Charles Delvenne
Published in: Physica D: Nonlinear Phenomena, Issue Volume 444, 2022, Page(s) 133585, ISSN 0167-2789
Publisher: Elsevier BV
DOI: 10.1016/j.physd.2022.133585

Template-dependent lifts for path-complete stability criteria and application to positive switching systems

Author(s): V. Debauche, M. Della Rossa, R. M. Jungers
Published in: IFAC-PapersOnLine, Issue Volume 54, issue 5, 2021, Page(s) 151-156, ISSN 2405-8963
Publisher: Elsevier BV
DOI: 10.1016/j.ifacol.2021.08.490

Data-driven control of switched linear systems with probabilistic stability guarantees

Author(s): Wang, Zheming; Berger, Guillaume O.; Jungers, Raphaël M.
Published in: arXiv, Issue 1, 2022, ISSN 2331-8422
Publisher: arXiv
DOI: 10.48550/arxiv.2103.10823

Equivalent polyadic decompositions of matrix multiplication tensors

Author(s): Guillaume O. Berger, Pierre-Antoine Absil, Lieven De Lathauwer, Raphaël M. Jungers, Marc Van Barel
Published in: Journal of Computational and Applied Mathematics, Issue Vol. 406, 2022, Page(s) 113941, ISSN 0377-0427
Publisher: Elsevier BV
DOI: 10.1016/j.cam.2021.113941

A categorical view on the converse Lyapunov theorem

Author(s): Sébastien Maurice Mattenet, Raphael Jungers
Published in: arXiv, 2023, ISSN 2331-8422
Publisher: arXiv
DOI: 10.48550/arxiv.2306.00509

Piecewise Semi-Ellipsoidal Control Invariant Sets

Author(s): Benoît Legat, Saša V. Raković, Raphaël M. Jungers
Published in: IEEE Control Systems Letters, Issue Vol. 5, no.3, 2021, Page(s) 755-760, ISSN 2475-1456
Publisher: IEEE
DOI: 10.1109/lcsys.2020.3005326

A Linear Bound on the k-rendezvous Time for Primitive Sets of NZ Matrices

Author(s): Catalano Costanza, Azfar Umer, Charlier Ludovic, Jungers, Raphaël M.
Published in: Fundamenta Informaticae, Issue vol. 180, no. 4, 2021, Page(s) 289-314, ISSN 0169-2968
Publisher: IOS Press
DOI: 10.3233/fi-2021-2043

On the strong H2 norm of differential algebraic systems with multiple delays: finiteness criteria, regularization and computation

Author(s): Marco A. Gomez, Raphaël M. Jungers, Wim Michiels
Published in: IEEE Transactions on Automatic Control, Issue Vol. 67, no. 1, 2022, Page(s) 121-133, ISSN 0018-9286
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tac.2020.3046218

An improved finiteness test and a systematic procedure to compute the strong H2 norm of differential algebraic systems with multiple delays

Author(s): Sébastien M. Mattenet a, Vittorio De Iuliis b, Marco A. Gomez c, Wim Michiels d, Raphaël M. Jungers
Published in: Automatica, Issue Volume 144, 2022, Page(s) 110495, ISSN 0005-1098
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110495

Geometric control of hybrid systems

Author(s): Benoît Legat; Raphaël M. Jungers
Published in: Nonlinear Analysis: Hybrid Systems, Issue Vol.47, 2023, Page(s) 101289, ISSN 1751-570X
Publisher: Elsevier BV
DOI: 10.1016/j.nahs.2022.101289

Stabilization of rank-deficient continuous-time switched affine systems

Author(s): Lucas N. Egidio; Grace S. Deaecto; Raphaël M. Jungers
Published in: Automatica, (2022), Issue Volume 143, 2022, Page(s) 110426, ISSN 0005-1098
Publisher: Pergamon Press Ltd.
DOI: 10.48550/arxiv.2204.06912

Computation of invariant sets via immersion for discrete-time nonlinear systems

Author(s): Wang, Zheming; Jungers, Raphaël M.; Ong, Chong-Jin
Published in: Automatica, Vol. 147, p. 110686 (2023), Issue Vol. 147, 2023, Page(s) 110686, ISSN 0005-1098
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110686

Razumikhin and Krasovskii approaches for safe stabilization

Author(s): Ren, Wei; Jungers, Raphael M.; Dimarogonas, Dimos V.
Published in: Automatica, Vol. 146, p. 110563 (2022), Issue 2, 2022, ISSN 0005-1098
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110563

Other (2)

Multiple Lyapunov Functions and Memory: A Symbolic Dynamics Approach to Systems and Control

Author(s): Matteo Della Rossa, Raphaël M. Jungers
Published in: arXiv, 2023, ISSN 2331-8422
Publisher: arXiv
DOI: 10.48550/arxiv.2307.13543

Stability of Switched Affine Systems: Arbitrary and Dwell-Time Switching

Author(s): Matteo Della Rossa, Lucas N. Egidio, Raphaël M. Jungers
Published in: arXiv, 2022
Publisher: arXiv
DOI: 10.48550/arxiv.2203.06968

Book chapters (1)

Computation of invariant sets for complex systems

Author(s): Legat, Benoît, Jungers, Raphaël M.
Published in: Handbook of Numerical Analysis, 2023, ISSN 1570-8659
Publisher: Elsevier
DOI: 10.1016/bs.hna.2022.12.001

Monographic books (1)

Safety Guarantees for Hybrid Systems

Author(s): Raphael M. Jungers, Nikolaos Athanasopoulos
Published in: Encyclopedia of Systems and Control, 2020, Page(s) 1-8, ISBN 978-1-4471-5102-9
Publisher: Springer
DOI: 10.1007/978-1-4471-5102-9_100049-1