Learning to Control - Smart and Data-Driven Formal Methods for Cyber-Physical Systems control | L2C | Projet | Résultats | H2020 | CORDIS

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

Auteurs: Zheming Wang, Raphaël M. Jungers, Chong-Jin Ong
Publié dans: IFAC-PapersOnLine, Numéro Volume 53, Numéro 2, 2020, Page(s) 5505-5510
Éditeur: Elsevier
DOI: 10.1016/j.ifacol.2020.12.1558

Data-driven stability analysis of switched affine systems

Auteurs: Matteo Della Rossa, Zheming Wang, Lucas N. Egidio, Raphael M. Jungers
Publié dans: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Page(s) 3204-3209
Éditeur: IEEE
DOI: 10.1109/cdc45484.2021.9682823

Zonotope-based Controller Synthesis for LTL Specifications

Auteurs: W. Ren, J. Calbert, R. M. Jungers
Publié dans: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Page(s) 580-585, ISBN 978-1-6654-3659-5
Éditeur: IEEE
DOI: 10.1109/cdc45484.2021.9683150

Optimal Measurement Budget Allocation For Particle Filtering

Auteurs: Antoine ASPEEL; Amaury GOUVERNEUR; Raphaël M. JUNGERS; Benoît MACQ
Publié dans: IEEE International Conference on Image Processing (ICIP), Numéro Vol. 1, no. 1, 2020, Page(s) 1-5, ISBN 978-1-7281-6396-3
Éditeur: IEEE
DOI: 10.1109/icip40778.2020.9190702

Event-Triggered Tracking Control of Networked and Quantized Control Systems

Auteurs: W. Ren, D. V. Dimarogonas, R. M. Jungers
Publié dans: 2021 European Control Conference (ECC), 2021, Page(s) 632-637, ISBN 978-9-4638-4236-5
Éditeur: IEEE
DOI: 10.23919/ecc54610.2021.9654945

Stability of Planar Switched Systems under Delayed Event Detection

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

Formal Synthesis of Path-Complete Lyapunov Functions on Neural Templates

Auteurs: Debauche Virginie, Jungers Raphaël M.
Publié dans: Book of Abstracts - 42nd Benelux Meeting on Systems and Control, 2023, ISBN 978-94-034-3010-2
Éditeur: Raffaella Carloni, Javier Alonso-Mora, Bayu Jayawardhana, and Erjen Lefeber (Eds.)

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

Auteurs: W. Ren
Publié dans: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Page(s) 5471-5476, ISBN 978-1-6654-3660-1
Éditeur: IEEE
DOI: 10.1109/cdc45484.2021.9682928

An Efficient Method to Verify the Inclusion of Ellipsoids

Auteurs: Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers
Publié dans: arXiv, 2022
Éditeur: arXiv
DOI: 10.48550/arxiv.2211.06237

Zonotope-based Controller Synthesis for LTL Specifications

Auteurs: Ren, Wei; Calbert, Julien; Jungers, Raphael
Publié dans: Zenodo, Numéro 1, 2021
Éditeur: ZENODO
DOI: 10.5281/zenodo.6083118

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

Auteurs: Della Rossa, Matteo; Jungers, Raphaël M.
Publié dans: 2022 IEEE 61st Conference on Decision and Control (CDC), Numéro Vol. 62, 2022
Éditeur: I E E E
DOI: 10.48550/arxiv.2208.12022

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

Auteurs: Debauche Virginie, Jungers Raphaël M.
Publié dans: Book of Abstracts - 39th Benelux Meeting on Systems and Control, 2020, ISBN 978-94-034-2571-9
Éditeur: Raffaella Carloni, Bayu Jayawardhana, and Erjen Lefeber (Eds.)

Poster Abstract: Towards Seamless Reactivity of Hybrid Control

Auteurs: Lucas Neves Egidio; Satya Prakash Nayak; Matteo Della Rossa; Anne-Kathrin Schmuck; Raphaël Jungers
Publié dans: HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, Numéro 1, 2023
Éditeur: ACM
DOI: 10.1145/3575870.3589553

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

Auteurs: Zheming Wang; Raphaël M. Jungers
Publié dans: IEEE Control Systems Letters, Numéro 5, 2020, Page(s) 1843-1848
Éditeur: 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

Auteurs: Zheming Wang, Guillaume O. Berger, Raphaël M. Jungers
Publié dans: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Page(s) 4400-4405
Éditeur: 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

Auteurs: Thiago Alves Lima, Matteo Della Rossa, Frédéric Gouaisbaut, Raphaël Jungers, Sophie Tarbouriech
Publié dans: 2022
Éditeur: arXiv
DOI: 10.48550/arxiv.2209.04869

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

Auteurs: Virginie Debauche; Matteo Della Rossa; Raphaël Jungers
Publié dans: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, Numéro 8, 2023, Page(s) 1-10, ISBN 978-1-4503-8728-6
Éditeur: Association for Computing Machinery
DOI: 10.1145/3575870.3587114

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

Auteurs: Berger, Guillaume O.- Jungers, Raphaël M.- Wang, Zheming
Publié dans: Proceedings of Machine Learning Research, Numéro 144, 2021, Page(s) 571-583
Éditeur: XX
DOI: 10.48550/arxiv.2101.01415

Reachability-based Control Synthesis under Signal Temporal Logic Specifications

Auteurs: Wei Ren, Raphaël Jungers
Publié dans: American Control Conference. Proceedings, 2022, Page(s) 2078-2083, ISBN 978-1-6654-5196-3
Éditeur: IEEE
DOI: 10.23919/acc53348.2022.9867813

Comparison of Path-Complete Stability Criteria via Quantifier Elimination

Auteurs: Debauche Virginie, Jungers Raphaël M.
Publié dans: 40th Benelux meeting on systems and control, 2021
Éditeur: 40th Benelux meeting on systems and control

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

Auteurs: Guillaume O. Berger, Raphaël M. Jungers
Publié dans: 2020 IEEE Conference on Decision and Control (CDC), 2020, ISBN 978-1-7281-7447-1
Éditeur: IEEE Xplore
DOI: 10.1109/cdc42340.2020.9304214

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

Auteurs: Z. Wang, R. M. Jungers
Publié dans: 2021 European Control Conference (ECC), 2021, Page(s) 1099-1104
Éditeur: IEEE
DOI: 10.23919/ecc54610.2021.9655233

Geometric control of algebraic systems

Auteurs: Benoît Legat; Raphaël M. Jungers
Publié dans: ADHS, Numéro 2, 2021
Éditeur: Elsevier BV
DOI: 10.48550/arxiv.2101.06990

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

Auteurs: Neves Egidio, Lucas; Alves Lima, Thiago; Jungers, Raphaël M.
Publié dans: 2022 IEEE 61st Conference on Decision and Control (CDC), 2022
Éditeur: IEEE
DOI: 10.48550/arxiv.2204.00315

Optimal Control for Linear Networked Control Systems with Information Transmission Constraints

Auteurs: Antoine Aspeel, Kwesi Rutledge, Raphaël M. Jungers, Benoit Macq, Necmiye Özay
Publié dans: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, ISBN 978-1-6654-3659-5
Éditeur: IEEE
DOI: 10.1109/cdc45484.2021.9683476

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

Auteurs: Zheming Wang, Raphaël M. Jungers
Publié dans: 2022 IEEE 61st Conference on Decision and Control (CDC), 2022, ISBN 978-1-6654-6761-2
Éditeur: IEEE
DOI: 10.1109/cdc51059.2022.9993351

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

Auteurs: Calbert, Julien; Jungers, Raphaël M.
Publié dans: American Control Conference. Proceedings, 2023
Éditeur: IEEE
DOI: 10.23919/acc55779.2023.10156175

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

Auteurs: Debauche Virginie, Della Rossa Matteo, Jungers Raphaël M.
Publié dans: 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Éditeur: ACM

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

Auteurs: Virginie Debauche; Della Rossa, Matteo; Jungers, Raphaël M.
Publié dans: HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, (2022), Numéro 1, 2022
Éditeur: Association for Computing Machinery, Inc.
DOI: 10.1145/3501710.3519539

Formal Synthesis of Path-Complete Lyapunov Functions on Neural Templates

Auteurs: Debauche, Virginie; Jungers, Raphaël M.
Publié dans: 2023
Éditeur: 42th Benelux meeting on systems and control

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

Auteurs: Guillaume O. Berger, Raphaël M. Jungers
Publié dans: IFAC-PapersOnLine, Numéro Volume 53, Numéro 2, 2020, Page(s) 3060-3065
Éditeur: 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

Auteurs: Guillaume O. Berger, Raphaël M. Jungers
Publié dans: HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, Numéro 4, 2020, Page(s) 1-11
Éditeur: ACM
DOI: 10.1145/3365365.3382195

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

Auteurs: Guillaume O. Berger, Raphaël M. Jungers, Zheming Wang
Publié dans: 2022 IEEE 61st Conference on Decision and Control (CDC), 2022, ISBN 978-1-6654-6761-2
Éditeur: IEEE
DOI: 10.1109/cdc51059.2022.9993022

Complexity of the LTI system trajectory boundedness problem

Auteurs: Guillaume O. Berger; Raphael M. Jungers
Publié dans: 2021 IEEE Conference on Decision and Control (CDC),, Numéro 2, 2021
Éditeur: IEEE
DOI: 10.48550/arxiv.2108.00728

Piecewise semi-ellipsoidal control invariant sets

Auteurs: Benoît Legat, Saša V. Raković, Raphaël M. Jungers
Publié dans: IEEE Conference on Decision and Control. Proceedings, 2020, ISSN 0743-1546
Éditeur: IEEE
DOI: 10.48550/arxiv.2007.02770

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

Auteurs: Zheming Wang, Raphaël M. Jungers
Publié dans: IFAC-PapersOnLine, Numéro Vol. 53, no.2, 2020, Page(s) 869-874
Éditeur: Elsevier BV
DOI: 10.1016/j.ifacol.2020.12.845

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

Auteurs: Matteo Della Rossa, Raphaël M. Jungers
Publié dans: 2022 10th International Conference on Systems and Control (ICSC), 2022, ISBN 978-1-6654-6507-6
Éditeur: IEEE
DOI: 10.1109/icsc57768.2022.9993958

Learning stability guarantees for data-driven constrained switching linear systems

Auteurs: Adrien Banse, Zheming Wang, Raphaël M. Jungers
Publié dans: 2022
Éditeur: arXiv
DOI: 10.48550/arxiv.2205.00696

Optimal Abstraction-based Control with Local Affine Controllers

Auteurs: Lucas N. Egidio, Thiago Alves Lima, Raphaël Jungers
Publié dans: 2022 American Control Conference (ACC), 2022, ISBN 978-1-6654-5196-3
Éditeur: IEEE
DOI: 10.23919/acc53348.2022.9867296

Alternating Simulation on Hierarchical Abstractions

Auteurs: Julien Calbert, Benoît Legat, Lucas N. Egidio, Raphael Jungers
Publié dans: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Page(s) 593-598
Éditeur: IEEE
DOI: 10.1109/cdc45484.2021.9683448

Data-driven memory-dependent abstractions of dynamical systems

Auteurs: Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
Publié dans: 2022
Éditeur: arXiv
DOI: 10.48550/arxiv.2212.01926

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

Auteurs: Legat, Benoît; Jean Bouchat; Jungers, Raphaël M.
Publié dans: Proceedings of Machine Learning Research, Numéro Vol. 144, 2021, Page(s) 263-274
Éditeur: arXiv
DOI: 10.48550/arxiv.2011.11029

Learning stability guarantees for data-driven constrained switching linear systems

Auteurs: Banse Adrien, Wang Zheming, Jungers Raphaël M.
Publié dans: Book of Abstracts 41st Benelux Meeting on Systems and Control, 2022
Éditeur: Benelux meeting

Optimal Resource Scheduling and Allocation in Distributed Computing Systems

Auteurs: Wei Ren, Eleftherios Vlahakis, Nikolaos Athanasopoulos, Raphaël Jungers
Publié dans: 2022 American Control Conference (ACC), 2022, ISBN 978-1-6654-5196-3
Éditeur: IEEE
DOI: 10.23919/acc53348.2022.9867340

AIMD-inspired switching control of computing networks

Auteurs: Vlahakis, Eleftherios; Jungers, Raphaël M.;Athanasopoulos, Nikolaos; McLoone, Sean
Publié dans: IEEE Transactions on Control of Network Systems, 2023
Éditeur: IEEE
DOI: 10.1109/tcns.2023.3298202

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

Auteurs: Adrien Banse, Zheming Wang, Raphaël M. Jungers
Publié dans: 2022
Éditeur: arXiv
DOI: 10.48550/arxiv.2205.00699

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

Auteurs: Raphaël M. Jungers
Publié dans: Proceedings of the European Control Conference (ECC 20), 2020, Page(s) 1559, ISBN 978-1-7281-8813-3
Éditeur: IEEE
DOI: 10.23919/ecc51009.2020.9143635

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

Auteurs: Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers
Publié dans: Nonlinear Analysis: Hybrid Systems, Numéro Volume 46, 2022, Page(s) 101237, ISSN 1751-570X
Éditeur: Elsevier BV
DOI: 10.1016/j.nahs.2022.101237

Learning stability of partially observed switched linear systems

Auteurs: Zheming Wang, Raphaël M. Jungers, Mihály Petreczky, Bo Chen, Li Yu
Publié dans: arXiv, 2023, ISSN 2331-8422
Éditeur: arXiv
DOI: 10.48550/arxiv.2301.08046

Quantized Stabilization of Continuous-Time Switched Linear Systems

Auteurs: Guillaume O. Berger; Raphaël M. Jungers
Publié dans: IEEE Control Systems Letters, Numéro Vol. 5, no. 1, 2020, Page(s) 319-324, ISSN 2475-1456
Éditeur: IEEE
DOI: 10.1109/lcsys.2020.3002068

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

Auteurs: Zheming Wang, Raphaël M. Jungers
Publié dans: IEEE Control Systems Letters, Numéro Volume 5, issue 5, 2021, Page(s) 1843-1848, ISSN 2475-1456
Éditeur: 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

Auteurs: Antoine Aspeel, Axel Legay, Raphaël M. Jungers, Benoit Macq
Publié dans: EURASIP Journal on Advances in Signal Processing, Numéro Vol. 2021, no.1, 2021, ISSN 1687-6180
Éditeur: Springer Science and Business Media LLC
DOI: 10.1186/s13634-021-00732-8

The Synchronizing Probability Function for Primitive Sets of Matrices

Auteurs: Costanza Catalano, Raphaël M. Jungers
Publié dans: International Journal of Foundations of Computer Science, Numéro Vol. 31, no. 06, 2020, Page(s) 777-803, ISSN 0129-0541
Éditeur: World Scientific Publishing Co
DOI: 10.1142/s0129054120410051

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

Auteurs: Banse, Adrien; Romao, Licio; Abate, Alessandro; Jungers, Raphaël M.
Publié dans: arXiv, Numéro 14, 2023, ISSN 2331-8422
Éditeur: arXiv
DOI: 10.48550/arxiv.2303.17618

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

Auteurs: Benoît Legat, Paulo Tabuada, Raphaël M. Jungers
Publié dans: Nonlinear Analysis: Hybrid Systems, Numéro Vol. 36, 2020, Page(s) 100858, ISSN 1751-570X
Éditeur: Elsevier BV
DOI: 10.1016/j.nahs.2020.100858

Context-Triggered Abstraction-Based Control Design

Auteurs: Satya Prakash Nayak, Lucas Neves Egidio, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël Jungers
Publié dans: IEEE Open Journal of Control Systems, Numéro 2, 2023, Page(s) 277 - 296, ISSN 2694-085X
Éditeur: IEEE
DOI: 10.1109/ojcsys.2023.3305835

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

Auteurs: Carl P. Dettmann , Raphael M. Jungers , Paolo Mason
Publié dans: Systems & Control Letters, Numéro Vol. 142, 2020, Page(s) 104737, ISSN 0167-6911
Éditeur: Elsevier BV
DOI: 10.1016/j.sysconle.2020.104737

Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems

Auteurs: Guillaume O. Berger; Raphaël M. Jungers
Publié dans: IEEE Control Systems Letters, Numéro Vol. 4, no. 1, 2020, Page(s) 235-240, ISSN 2475-1456
Éditeur: IEEE
DOI: 10.1109/lcsys.2019.2923923

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

Auteurs: Z. Wang, R. M. Jungers
Publié dans: IEEE Control Systems Letters, Numéro Volume 5, issue 1, 2021, Page(s) 193-198, ISSN 2475-1456
Éditeur: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/lcsys.2020.3001882

p-dominant switched linear systems

Auteurs: Guillaume O. Berger, Raphaël M. Jungers
Publié dans: Automatica, Numéro Vol. 132, 2021, ISSN 1751-570x
Éditeur: Elsevier BV
DOI: 10.1016/j.automatica.2021.109801

Raphael M. Jungers [People in Control]

Auteurs: Raphael M. Jungers
Publié dans: IEEE Control Systems Magazine, Numéro 41, Numéro: 3, 2021, Page(s) 21 - 23, ISSN 1066-033X
Éditeur: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/mcs.2021.3062960

Learning stability guarantees for constrained switching linear systems from noisy observations

Auteurs: Adrien Banse, Zheming Wang, Raphaël M. Jungers
Publié dans: Nonlinear Analysis: Hybrid Systems, 2023, ISSN 1751-570X
Éditeur: Elsevier BV
DOI: 10.48550/arxiv.2302.05249

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

Auteurs: Matteo Della Rossa, Thiago Alves Lima, Marc Jungers, Raphaël M. Jungers
Publié dans: arXiv, 2023, ISSN 2331-8422
Éditeur: arXiv
DOI: 10.48550/arxiv.2306.11548

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

Auteurs: Anne Rubbens, Zheming Wang, Raphael M. Jungers
Publié dans: IFAC-PapersOnLine, Numéro volume 54, issue 5, 2021, Page(s) 62-72, ISSN 2405-8963
Éditeur: Elsevier BV
DOI: 10.1016/j.ifacol.2021.08.476

Certifying Unstability of Switched Systems Using Sum of Squares Programming

Auteurs: Benoît Legat, Pablo Parrilo, Raphaël Jungers
Publié dans: SIAM Journal on Control and Optimization, Numéro Vol. 58, no.4, 2020, Page(s) 2616-2638, ISSN 0363-0129
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/18m1173460

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

Auteurs: Wang, Zheming; Jungers, Raphaël M
Publié dans: IEEE Transactions on Automatic Control, 2023, ISSN 0018-9286
Éditeur: 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

Auteurs: Marco A. Gomez a, Raphaël M. Jungers b, Wim Michiels
Publié dans: Automatica, Numéro Vol. 113, no. 108761, 2020, Page(s) 9, ISSN 0005-1098
Éditeur: 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

Auteurs: Z. Wang, R. M. Jungers, C. J. Ong
Publié dans: Automatica, Numéro Volume 125, 2021, Page(s) 109463, ISSN 0005-1098
Éditeur: 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

Auteurs: Guillaume O. Berger; Raphael M. Jungers
Publié dans: Communications of the ACM, Vol. 65, no.2, p. 111-118 (2022), Numéro Vol. 65, 2022, Page(s) 111-118, ISSN 0001-0782
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3505269

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

Auteurs: Dimitrios Dechouniotis ,Nikolaos Athanasopoulos, Aris Leivadeas, Nathalie Mitton, Raphael Jungers, Symeon Papavassiliou
Publié dans: Sensors, Numéro Vol. 20, no.8, 2020, Page(s) 2191, ISSN 1424-8220
Éditeur: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/s20082191

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

Auteurs: Matteo Della Rossa; Raphael M. Jungers
Publié dans: IEEE Control Systems Letters, Vol. 7, p. 781-786 (2023), Numéro Vol. 7, 2023, Page(s) 781-786, ISSN 2475-1456
Éditeur: IEEE
DOI: 10.1109/lcsys.2022.3226627

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

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

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

Auteurs: Guillaume O. Berger, P.-A. Absil, Raphaël M. Jungers, Yurii Nesterov
Publié dans: Journal of Optimization Theory and Applications, Numéro Vol. 185, 2020, Page(s) 17-33, ISSN 0022-3239
Éditeur: Kluwer Academic/Plenum Publishers
DOI: 10.1007/s10957-020-01632-x

Optimal Intermittent Particle Filter

Auteurs: Antoine Aspeel, Amaury Gouverneur, Raphaël M. Jungers, Benoit Macq
Publié dans: Optimal Intermittent Particle Filter, Numéro Vol.70, 2022, Page(s) 2814–2825, ISSN 1053-587X
Éditeur: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tsp.2022.3179877

Stabilization of rank-deficient continuous-time switched affine systems

Auteurs: Egidio, Lucas N.; Deaecto, Grace S.; Jungers, Raphaël M.
Publié dans: Automatica, Numéro 143, 2022, Page(s) 110426, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110426

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

Auteurs: Brieuc Pinon, Raphaël Jungers, Jean-Charles Delvenne
Publié dans: Physica D: Nonlinear Phenomena, Numéro Volume 444, 2022, Page(s) 133585, ISSN 0167-2789
Éditeur: Elsevier BV
DOI: 10.1016/j.physd.2022.133585

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

Auteurs: V. Debauche, M. Della Rossa, R. M. Jungers
Publié dans: IFAC-PapersOnLine, Numéro Volume 54, issue 5, 2021, Page(s) 151-156, ISSN 2405-8963
Éditeur: Elsevier BV
DOI: 10.1016/j.ifacol.2021.08.490

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

Auteurs: Wang, Zheming; Berger, Guillaume O.; Jungers, Raphaël M.
Publié dans: arXiv, Numéro 1, 2022, ISSN 2331-8422
Éditeur: arXiv
DOI: 10.48550/arxiv.2103.10823

Equivalent polyadic decompositions of matrix multiplication tensors

Auteurs: Guillaume O. Berger, Pierre-Antoine Absil, Lieven De Lathauwer, Raphaël M. Jungers, Marc Van Barel
Publié dans: Journal of Computational and Applied Mathematics, Numéro Vol. 406, 2022, Page(s) 113941, ISSN 0377-0427
Éditeur: Elsevier BV
DOI: 10.1016/j.cam.2021.113941

A categorical view on the converse Lyapunov theorem

Auteurs: Sébastien Maurice Mattenet, Raphael Jungers
Publié dans: arXiv, 2023, ISSN 2331-8422
Éditeur: arXiv
DOI: 10.48550/arxiv.2306.00509

Piecewise Semi-Ellipsoidal Control Invariant Sets

Auteurs: Benoît Legat, Saša V. Raković, Raphaël M. Jungers
Publié dans: IEEE Control Systems Letters, Numéro Vol. 5, no.3, 2021, Page(s) 755-760, ISSN 2475-1456
Éditeur: IEEE
DOI: 10.1109/lcsys.2020.3005326

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

Auteurs: Catalano Costanza, Azfar Umer, Charlier Ludovic, Jungers, Raphaël M.
Publié dans: Fundamenta Informaticae, Numéro vol. 180, no. 4, 2021, Page(s) 289-314, ISSN 0169-2968
Éditeur: 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

Auteurs: Marco A. Gomez, Raphaël M. Jungers, Wim Michiels
Publié dans: IEEE Transactions on Automatic Control, Numéro Vol. 67, no. 1, 2022, Page(s) 121-133, ISSN 0018-9286
Éditeur: 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

Auteurs: Sébastien M. Mattenet a, Vittorio De Iuliis b, Marco A. Gomez c, Wim Michiels d, Raphaël M. Jungers
Publié dans: Automatica, Numéro Volume 144, 2022, Page(s) 110495, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110495

Geometric control of hybrid systems

Auteurs: Benoît Legat; Raphaël M. Jungers
Publié dans: Nonlinear Analysis: Hybrid Systems, Numéro Vol.47, 2023, Page(s) 101289, ISSN 1751-570X
Éditeur: Elsevier BV
DOI: 10.1016/j.nahs.2022.101289

Stabilization of rank-deficient continuous-time switched affine systems

Auteurs: Lucas N. Egidio; Grace S. Deaecto; Raphaël M. Jungers
Publié dans: Automatica, (2022), Numéro Volume 143, 2022, Page(s) 110426, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.48550/arxiv.2204.06912

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

Auteurs: Wang, Zheming; Jungers, Raphaël M.; Ong, Chong-Jin
Publié dans: Automatica, Vol. 147, p. 110686 (2023), Numéro Vol. 147, 2023, Page(s) 110686, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110686

Razumikhin and Krasovskii approaches for safe stabilization

Auteurs: Ren, Wei; Jungers, Raphael M.; Dimarogonas, Dimos V.
Publié dans: Automatica, Vol. 146, p. 110563 (2022), Numéro 2, 2022, ISSN 0005-1098
Éditeur: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110563

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

Auteurs: Matteo Della Rossa, Raphaël M. Jungers
Publié dans: arXiv, 2023, ISSN 2331-8422
Éditeur: arXiv
DOI: 10.48550/arxiv.2307.13543

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

Auteurs: Matteo Della Rossa, Lucas N. Egidio, Raphaël M. Jungers
Publié dans: arXiv, 2022
Éditeur: arXiv
DOI: 10.48550/arxiv.2203.06968

Computation of invariant sets for complex systems

Auteurs: Legat, Benoît, Jungers, Raphaël M.
Publié dans: Handbook of Numerical Analysis, 2023, ISSN 1570-8659
Éditeur: Elsevier
DOI: 10.1016/bs.hna.2022.12.001

Safety Guarantees for Hybrid Systems

Auteurs: Raphael M. Jungers, Nikolaos Athanasopoulos
Publié dans: Encyclopedia of Systems and Control, 2020, Page(s) 1-8, ISBN 978-1-4471-5102-9
Éditeur: Springer
DOI: 10.1007/978-1-4471-5102-9_100049-1

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

Publications

Partager cette page Partager cette page sur les réseaux sociaux

Télécharger Télécharger le contenu de la page