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

Publications

Conference proceedings (23)

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, 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), 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

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

Zonotope-based Controller Synthesis for LTL Specifications

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

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

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, 144, 2021, Page(s) 571-583
Publisher: XX
DOI: 10.48550/arxiv.2101.01415

Alternating simulation on hierarchical abstractions

Author(s): J. Calbert- B. Legat- L. N. Egidio- R. M. Jungers
Published in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Page(s) 593-598, ISBN 978-1-6654-3659-5
Publisher: IEEE
DOI: 10.1109/cdc45484.2021.9683448

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

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

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, 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

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

Author(s): Zheming Wang, Raphaël M. Jungers
Published in: IFAC-PapersOnLine, 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

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

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

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

Peer reviewed articles (18)

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, 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, 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, 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

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, Vol. 31, no. 06, 2020, Page(s) 777-803, ISSN 0129-0541
Publisher: World Scientific Publishing Co
DOI: 10.1142/s0129054120410051

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, Vol. 36, 2020, Page(s) 100858, ISSN 1751-570X
Publisher: Elsevier BV
DOI: 10.1016/j.nahs.2020.100858

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, 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, 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

Raphael M. Jungers [People in Control]

Author(s): Raphael M. Jungers
Published in: IEEE Control Systems Magazine, 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

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, volume 54, issue 5, 2021, Page(s) 62-72, ISSN 2405-8963
Publisher: Elsevier BV
DOI: 10.1016/j.ifacol.2021.08.476

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, 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, 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), Vol. 65, 2022, Page(s) 111-118, ISSN 0001-0782
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3505269

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, 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, Volume 54, issue 5, 2021, Page(s) 151-156, ISSN 2405-8963
Publisher: Elsevier BV
DOI: 10.1016/j.ifacol.2021.08.490

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, 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, 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

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), Vol. 147, 2023, Page(s) 110686, ISSN 0005-1098
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110686

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

Other (1)

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