Learning to Control - Smart and Data-Driven Formal Methods for Cyber-Physical Systems control | L2C | Project | Results | H2020 | CORDIS

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

Autoren: Zheming Wang, Raphaël M. Jungers, Chong-Jin Ong
Veröffentlicht in: IFAC-PapersOnLine, Ausgabe Volume 53, Ausgabe 2, 2020, Seite(n) 5505-5510
Herausgeber: Elsevier
DOI: 10.1016/j.ifacol.2020.12.1558

Data-driven stability analysis of switched affine systems

Autoren: Matteo Della Rossa, Zheming Wang, Lucas N. Egidio, Raphael M. Jungers
Veröffentlicht in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Seite(n) 3204-3209
Herausgeber: IEEE
DOI: 10.1109/cdc45484.2021.9682823

Zonotope-based Controller Synthesis for LTL Specifications

Autoren: W. Ren, J. Calbert, R. M. Jungers
Veröffentlicht in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Seite(n) 580-585, ISBN 978-1-6654-3659-5
Herausgeber: IEEE
DOI: 10.1109/cdc45484.2021.9683150

Optimal Measurement Budget Allocation For Particle Filtering

Autoren: Antoine ASPEEL; Amaury GOUVERNEUR; Raphaël M. JUNGERS; Benoît MACQ
Veröffentlicht in: IEEE International Conference on Image Processing (ICIP), Ausgabe Vol. 1, no. 1, 2020, Seite(n) 1-5, ISBN 978-1-7281-6396-3
Herausgeber: IEEE
DOI: 10.1109/icip40778.2020.9190702

Event-Triggered Tracking Control of Networked and Quantized Control Systems

Autoren: W. Ren, D. V. Dimarogonas, R. M. Jungers
Veröffentlicht in: 2021 European Control Conference (ECC), 2021, Seite(n) 632-637, ISBN 978-9-4638-4236-5
Herausgeber: IEEE
DOI: 10.23919/ecc54610.2021.9654945

Stability of Planar Switched Systems under Delayed Event Detection

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

Formal Synthesis of Path-Complete Lyapunov Functions on Neural Templates

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

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

Autoren: W. Ren
Veröffentlicht in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Seite(n) 5471-5476, ISBN 978-1-6654-3660-1
Herausgeber: IEEE
DOI: 10.1109/cdc45484.2021.9682928

Zonotope-based Controller Synthesis for LTL Specifications

Autoren: Ren, Wei; Calbert, Julien; Jungers, Raphael
Veröffentlicht in: Zenodo, Ausgabe 1, 2021
Herausgeber: ZENODO
DOI: 10.5281/zenodo.6083118

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

Autoren: Della Rossa, Matteo; Jungers, Raphaël M.
Veröffentlicht in: 2022 IEEE 61st Conference on Decision and Control (CDC), Ausgabe Vol. 62, 2022
Herausgeber: I E E E
DOI: 10.48550/arxiv.2208.12022

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

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

Poster Abstract: Towards Seamless Reactivity of Hybrid Control

Autoren: Lucas Neves Egidio; Satya Prakash Nayak; Matteo Della Rossa; Anne-Kathrin Schmuck; Raphaël Jungers
Veröffentlicht in: HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, Ausgabe 1, 2023
Herausgeber: ACM
DOI: 10.1145/3575870.3589553

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

Autoren: Zheming Wang; Raphaël M. Jungers
Veröffentlicht in: IEEE Control Systems Letters, Ausgabe 5, 2020, Seite(n) 1843-1848
Herausgeber: 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

Autoren: Zheming Wang, Guillaume O. Berger, Raphaël M. Jungers
Veröffentlicht in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Seite(n) 4400-4405
Herausgeber: 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

Autoren: Thiago Alves Lima, Matteo Della Rossa, Frédéric Gouaisbaut, Raphaël Jungers, Sophie Tarbouriech
Veröffentlicht in: 2022
Herausgeber: arXiv
DOI: 10.48550/arxiv.2209.04869

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

Autoren: Virginie Debauche; Matteo Della Rossa; Raphaël Jungers
Veröffentlicht in: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, Ausgabe 8, 2023, Seite(n) 1-10, ISBN 978-1-4503-8728-6
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3575870.3587114

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

Autoren: Berger, Guillaume O.- Jungers, Raphaël M.- Wang, Zheming
Veröffentlicht in: Proceedings of Machine Learning Research, Ausgabe 144, 2021, Seite(n) 571-583
Herausgeber: XX
DOI: 10.48550/arxiv.2101.01415

Reachability-based Control Synthesis under Signal Temporal Logic Specifications

Autoren: Wei Ren, Raphaël Jungers
Veröffentlicht in: American Control Conference. Proceedings, 2022, Seite(n) 2078-2083, ISBN 978-1-6654-5196-3
Herausgeber: IEEE
DOI: 10.23919/acc53348.2022.9867813

Comparison of Path-Complete Stability Criteria via Quantifier Elimination

Autoren: Debauche Virginie, Jungers Raphaël M.
Veröffentlicht in: 40th Benelux meeting on systems and control, 2021
Herausgeber: 40th Benelux meeting on systems and control

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

Autoren: Guillaume O. Berger, Raphaël M. Jungers
Veröffentlicht in: 2020 IEEE Conference on Decision and Control (CDC), 2020, ISBN 978-1-7281-7447-1
Herausgeber: IEEE Xplore
DOI: 10.1109/cdc42340.2020.9304214

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

Autoren: Z. Wang, R. M. Jungers
Veröffentlicht in: 2021 European Control Conference (ECC), 2021, Seite(n) 1099-1104
Herausgeber: IEEE
DOI: 10.23919/ecc54610.2021.9655233

Geometric control of algebraic systems

Autoren: Benoît Legat; Raphaël M. Jungers
Veröffentlicht in: ADHS, Ausgabe 2, 2021
Herausgeber: Elsevier BV
DOI: 10.48550/arxiv.2101.06990

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

Autoren: Neves Egidio, Lucas; Alves Lima, Thiago; Jungers, Raphaël M.
Veröffentlicht in: 2022 IEEE 61st Conference on Decision and Control (CDC), 2022
Herausgeber: IEEE
DOI: 10.48550/arxiv.2204.00315

Optimal Control for Linear Networked Control Systems with Information Transmission Constraints

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

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

Autoren: Zheming Wang, Raphaël M. Jungers
Veröffentlicht in: 2022 IEEE 61st Conference on Decision and Control (CDC), 2022, ISBN 978-1-6654-6761-2
Herausgeber: IEEE
DOI: 10.1109/cdc51059.2022.9993351

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

Autoren: Calbert, Julien; Jungers, Raphaël M.
Veröffentlicht in: American Control Conference. Proceedings, 2023
Herausgeber: IEEE
DOI: 10.23919/acc55779.2023.10156175

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

Autoren: Debauche Virginie, Della Rossa Matteo, Jungers Raphaël M.
Veröffentlicht in: 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Herausgeber: ACM

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

Autoren: Virginie Debauche; Della Rossa, Matteo; Jungers, Raphaël M.
Veröffentlicht in: HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, (2022), Ausgabe 1, 2022
Herausgeber: Association for Computing Machinery, Inc.
DOI: 10.1145/3501710.3519539

Formal Synthesis of Path-Complete Lyapunov Functions on Neural Templates

Autoren: Debauche, Virginie; Jungers, Raphaël M.
Veröffentlicht in: 2023
Herausgeber: 42th Benelux meeting on systems and control

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

Autoren: Guillaume O. Berger, Raphaël M. Jungers
Veröffentlicht in: IFAC-PapersOnLine, Ausgabe Volume 53, Ausgabe 2, 2020, Seite(n) 3060-3065
Herausgeber: 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

Autoren: Guillaume O. Berger, Raphaël M. Jungers
Veröffentlicht in: HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, Ausgabe 4, 2020, Seite(n) 1-11
Herausgeber: ACM
DOI: 10.1145/3365365.3382195

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

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

Complexity of the LTI system trajectory boundedness problem

Autoren: Guillaume O. Berger; Raphael M. Jungers
Veröffentlicht in: 2021 IEEE Conference on Decision and Control (CDC),, Ausgabe 2, 2021
Herausgeber: IEEE
DOI: 10.48550/arxiv.2108.00728

Piecewise semi-ellipsoidal control invariant sets

Autoren: Benoît Legat, Saša V. Raković, Raphaël M. Jungers
Veröffentlicht in: IEEE Conference on Decision and Control. Proceedings, 2020, ISSN 0743-1546
Herausgeber: IEEE
DOI: 10.48550/arxiv.2007.02770

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

Autoren: Zheming Wang, Raphaël M. Jungers
Veröffentlicht in: IFAC-PapersOnLine, Ausgabe Vol. 53, no.2, 2020, Seite(n) 869-874
Herausgeber: Elsevier BV
DOI: 10.1016/j.ifacol.2020.12.845

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

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

Learning stability guarantees for data-driven constrained switching linear systems

Autoren: Adrien Banse, Zheming Wang, Raphaël M. Jungers
Veröffentlicht in: 2022
Herausgeber: arXiv
DOI: 10.48550/arxiv.2205.00696

Optimal Abstraction-based Control with Local Affine Controllers

Autoren: Lucas N. Egidio, Thiago Alves Lima, Raphaël Jungers
Veröffentlicht in: 2022 American Control Conference (ACC), 2022, ISBN 978-1-6654-5196-3
Herausgeber: IEEE
DOI: 10.23919/acc53348.2022.9867296

Alternating Simulation on Hierarchical Abstractions

Autoren: Julien Calbert, Benoît Legat, Lucas N. Egidio, Raphael Jungers
Veröffentlicht in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Seite(n) 593-598
Herausgeber: IEEE
DOI: 10.1109/cdc45484.2021.9683448

Data-driven memory-dependent abstractions of dynamical systems

Autoren: Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
Veröffentlicht in: 2022
Herausgeber: arXiv
DOI: 10.48550/arxiv.2212.01926

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

Autoren: Legat, Benoît; Jean Bouchat; Jungers, Raphaël M.
Veröffentlicht in: Proceedings of Machine Learning Research, Ausgabe Vol. 144, 2021, Seite(n) 263-274
Herausgeber: arXiv
DOI: 10.48550/arxiv.2011.11029

Learning stability guarantees for data-driven constrained switching linear systems

Autoren: Banse Adrien, Wang Zheming, Jungers Raphaël M.
Veröffentlicht in: Book of Abstracts 41st Benelux Meeting on Systems and Control, 2022
Herausgeber: Benelux meeting

Optimal Resource Scheduling and Allocation in Distributed Computing Systems

Autoren: Wei Ren, Eleftherios Vlahakis, Nikolaos Athanasopoulos, Raphaël Jungers
Veröffentlicht in: 2022 American Control Conference (ACC), 2022, ISBN 978-1-6654-5196-3
Herausgeber: IEEE
DOI: 10.23919/acc53348.2022.9867340

AIMD-inspired switching control of computing networks

Autoren: Vlahakis, Eleftherios; Jungers, Raphaël M.;Athanasopoulos, Nikolaos; McLoone, Sean
Veröffentlicht in: IEEE Transactions on Control of Network Systems, 2023
Herausgeber: IEEE
DOI: 10.1109/tcns.2023.3298202

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

Autoren: Adrien Banse, Zheming Wang, Raphaël M. Jungers
Veröffentlicht in: 2022
Herausgeber: arXiv
DOI: 10.48550/arxiv.2205.00699

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

Autoren: Raphaël M. Jungers
Veröffentlicht in: Proceedings of the European Control Conference (ECC 20), 2020, Seite(n) 1559, ISBN 978-1-7281-8813-3
Herausgeber: IEEE
DOI: 10.23919/ecc51009.2020.9143635

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

Autoren: Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers
Veröffentlicht in: Nonlinear Analysis: Hybrid Systems, Ausgabe Volume 46, 2022, Seite(n) 101237, ISSN 1751-570X
Herausgeber: Elsevier BV
DOI: 10.1016/j.nahs.2022.101237

Learning stability of partially observed switched linear systems

Autoren: Zheming Wang, Raphaël M. Jungers, Mihály Petreczky, Bo Chen, Li Yu
Veröffentlicht in: arXiv, 2023, ISSN 2331-8422
Herausgeber: arXiv
DOI: 10.48550/arxiv.2301.08046

Quantized Stabilization of Continuous-Time Switched Linear Systems

Autoren: Guillaume O. Berger; Raphaël M. Jungers
Veröffentlicht in: IEEE Control Systems Letters, Ausgabe Vol. 5, no. 1, 2020, Seite(n) 319-324, ISSN 2475-1456
Herausgeber: IEEE
DOI: 10.1109/lcsys.2020.3002068

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

Autoren: Zheming Wang, Raphaël M. Jungers
Veröffentlicht in: IEEE Control Systems Letters, Ausgabe Volume 5, issue 5, 2021, Seite(n) 1843-1848, ISSN 2475-1456
Herausgeber: 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

Autoren: Antoine Aspeel, Axel Legay, Raphaël M. Jungers, Benoit Macq
Veröffentlicht in: EURASIP Journal on Advances in Signal Processing, Ausgabe Vol. 2021, no.1, 2021, ISSN 1687-6180
Herausgeber: Springer Science and Business Media LLC
DOI: 10.1186/s13634-021-00732-8

The Synchronizing Probability Function for Primitive Sets of Matrices

Autoren: Costanza Catalano, Raphaël M. Jungers
Veröffentlicht in: International Journal of Foundations of Computer Science, Ausgabe Vol. 31, no. 06, 2020, Seite(n) 777-803, ISSN 0129-0541
Herausgeber: World Scientific Publishing Co
DOI: 10.1142/s0129054120410051

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

Autoren: Banse, Adrien; Romao, Licio; Abate, Alessandro; Jungers, Raphaël M.
Veröffentlicht in: arXiv, Ausgabe 14, 2023, ISSN 2331-8422
Herausgeber: arXiv
DOI: 10.48550/arxiv.2303.17618

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

Autoren: Benoît Legat, Paulo Tabuada, Raphaël M. Jungers
Veröffentlicht in: Nonlinear Analysis: Hybrid Systems, Ausgabe Vol. 36, 2020, Seite(n) 100858, ISSN 1751-570X
Herausgeber: Elsevier BV
DOI: 10.1016/j.nahs.2020.100858

Context-Triggered Abstraction-Based Control Design

Autoren: Satya Prakash Nayak, Lucas Neves Egidio, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël Jungers
Veröffentlicht in: IEEE Open Journal of Control Systems, Ausgabe 2, 2023, Seite(n) 277 - 296, ISSN 2694-085X
Herausgeber: IEEE
DOI: 10.1109/ojcsys.2023.3305835

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

Autoren: Carl P. Dettmann , Raphael M. Jungers , Paolo Mason
Veröffentlicht in: Systems & Control Letters, Ausgabe Vol. 142, 2020, Seite(n) 104737, ISSN 0167-6911
Herausgeber: Elsevier BV
DOI: 10.1016/j.sysconle.2020.104737

Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems

Autoren: Guillaume O. Berger; Raphaël M. Jungers
Veröffentlicht in: IEEE Control Systems Letters, Ausgabe Vol. 4, no. 1, 2020, Seite(n) 235-240, ISSN 2475-1456
Herausgeber: IEEE
DOI: 10.1109/lcsys.2019.2923923

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

Autoren: Z. Wang, R. M. Jungers
Veröffentlicht in: IEEE Control Systems Letters, Ausgabe Volume 5, issue 1, 2021, Seite(n) 193-198, ISSN 2475-1456
Herausgeber: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/lcsys.2020.3001882

p-dominant switched linear systems

Autoren: Guillaume O. Berger, Raphaël M. Jungers
Veröffentlicht in: Automatica, Ausgabe Vol. 132, 2021, ISSN 1751-570x
Herausgeber: Elsevier BV
DOI: 10.1016/j.automatica.2021.109801

Raphael M. Jungers [People in Control]

Autoren: Raphael M. Jungers
Veröffentlicht in: IEEE Control Systems Magazine, Ausgabe 41, Ausgabe: 3, 2021, Seite(n) 21 - 23, ISSN 1066-033X
Herausgeber: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/mcs.2021.3062960

Learning stability guarantees for constrained switching linear systems from noisy observations

Autoren: Adrien Banse, Zheming Wang, Raphaël M. Jungers
Veröffentlicht in: Nonlinear Analysis: Hybrid Systems, 2023, ISSN 1751-570X
Herausgeber: Elsevier BV
DOI: 10.48550/arxiv.2302.05249

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

Autoren: Matteo Della Rossa, Thiago Alves Lima, Marc Jungers, Raphaël M. Jungers
Veröffentlicht in: arXiv, 2023, ISSN 2331-8422
Herausgeber: arXiv
DOI: 10.48550/arxiv.2306.11548

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

Autoren: Anne Rubbens, Zheming Wang, Raphael M. Jungers
Veröffentlicht in: IFAC-PapersOnLine, Ausgabe volume 54, issue 5, 2021, Seite(n) 62-72, ISSN 2405-8963
Herausgeber: Elsevier BV
DOI: 10.1016/j.ifacol.2021.08.476

Certifying Unstability of Switched Systems Using Sum of Squares Programming

Autoren: Benoît Legat, Pablo Parrilo, Raphaël Jungers
Veröffentlicht in: SIAM Journal on Control and Optimization, Ausgabe Vol. 58, no.4, 2020, Seite(n) 2616-2638, ISSN 0363-0129
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/18m1173460

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

Autoren: Wang, Zheming; Jungers, Raphaël M
Veröffentlicht in: IEEE Transactions on Automatic Control, 2023, ISSN 0018-9286
Herausgeber: 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

Autoren: Marco A. Gomez a, Raphaël M. Jungers b, Wim Michiels
Veröffentlicht in: Automatica, Ausgabe Vol. 113, no. 108761, 2020, Seite(n) 9, ISSN 0005-1098
Herausgeber: 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

Autoren: Z. Wang, R. M. Jungers, C. J. Ong
Veröffentlicht in: Automatica, Ausgabe Volume 125, 2021, Seite(n) 109463, ISSN 0005-1098
Herausgeber: 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

Autoren: Guillaume O. Berger; Raphael M. Jungers
Veröffentlicht in: Communications of the ACM, Vol. 65, no.2, p. 111-118 (2022), Ausgabe Vol. 65, 2022, Seite(n) 111-118, ISSN 0001-0782
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3505269

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

Autoren: Dimitrios Dechouniotis ,Nikolaos Athanasopoulos, Aris Leivadeas, Nathalie Mitton, Raphael Jungers, Symeon Papavassiliou
Veröffentlicht in: Sensors, Ausgabe Vol. 20, no.8, 2020, Seite(n) 2191, ISSN 1424-8220
Herausgeber: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/s20082191

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

Autoren: Matteo Della Rossa; Raphael M. Jungers
Veröffentlicht in: IEEE Control Systems Letters, Vol. 7, p. 781-786 (2023), Ausgabe Vol. 7, 2023, Seite(n) 781-786, ISSN 2475-1456
Herausgeber: IEEE
DOI: 10.1109/lcsys.2022.3226627

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

Autoren: Claes Arnaud, Wiard Victor, Mercenier Heidi, Philippette Thibault, Dufrasne Marie, Browet Arnaud, Jungers, Raphaël M.
Veröffentlicht in: tic & société, Ausgabe Vol. 15, no. 1, 2021, Seite(n) 127-157, ISSN 1961-9510
Herausgeber: OpenEdition Journals ((France) Marseille)
DOI: 10.4000/ticetsociete.5915

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

Autoren: Guillaume O. Berger, P.-A. Absil, Raphaël M. Jungers, Yurii Nesterov
Veröffentlicht in: Journal of Optimization Theory and Applications, Ausgabe Vol. 185, 2020, Seite(n) 17-33, ISSN 0022-3239
Herausgeber: Kluwer Academic/Plenum Publishers
DOI: 10.1007/s10957-020-01632-x

Optimal Intermittent Particle Filter

Autoren: Antoine Aspeel, Amaury Gouverneur, Raphaël M. Jungers, Benoit Macq
Veröffentlicht in: Optimal Intermittent Particle Filter, Ausgabe Vol.70, 2022, Seite(n) 2814–2825, ISSN 1053-587X
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tsp.2022.3179877

Stabilization of rank-deficient continuous-time switched affine systems

Autoren: Egidio, Lucas N.; Deaecto, Grace S.; Jungers, Raphaël M.
Veröffentlicht in: Automatica, Ausgabe 143, 2022, Seite(n) 110426, ISSN 0005-1098
Herausgeber: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110426

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

Autoren: Brieuc Pinon, Raphaël Jungers, Jean-Charles Delvenne
Veröffentlicht in: Physica D: Nonlinear Phenomena, Ausgabe Volume 444, 2022, Seite(n) 133585, ISSN 0167-2789
Herausgeber: Elsevier BV
DOI: 10.1016/j.physd.2022.133585

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

Autoren: V. Debauche, M. Della Rossa, R. M. Jungers
Veröffentlicht in: IFAC-PapersOnLine, Ausgabe Volume 54, issue 5, 2021, Seite(n) 151-156, ISSN 2405-8963
Herausgeber: Elsevier BV
DOI: 10.1016/j.ifacol.2021.08.490

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

Autoren: Wang, Zheming; Berger, Guillaume O.; Jungers, Raphaël M.
Veröffentlicht in: arXiv, Ausgabe 1, 2022, ISSN 2331-8422
Herausgeber: arXiv
DOI: 10.48550/arxiv.2103.10823

Equivalent polyadic decompositions of matrix multiplication tensors

Autoren: Guillaume O. Berger, Pierre-Antoine Absil, Lieven De Lathauwer, Raphaël M. Jungers, Marc Van Barel
Veröffentlicht in: Journal of Computational and Applied Mathematics, Ausgabe Vol. 406, 2022, Seite(n) 113941, ISSN 0377-0427
Herausgeber: Elsevier BV
DOI: 10.1016/j.cam.2021.113941

A categorical view on the converse Lyapunov theorem

Autoren: Sébastien Maurice Mattenet, Raphael Jungers
Veröffentlicht in: arXiv, 2023, ISSN 2331-8422
Herausgeber: arXiv
DOI: 10.48550/arxiv.2306.00509

Piecewise Semi-Ellipsoidal Control Invariant Sets

Autoren: Benoît Legat, Saša V. Raković, Raphaël M. Jungers
Veröffentlicht in: IEEE Control Systems Letters, Ausgabe Vol. 5, no.3, 2021, Seite(n) 755-760, ISSN 2475-1456
Herausgeber: IEEE
DOI: 10.1109/lcsys.2020.3005326

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

Autoren: Catalano Costanza, Azfar Umer, Charlier Ludovic, Jungers, Raphaël M.
Veröffentlicht in: Fundamenta Informaticae, Ausgabe vol. 180, no. 4, 2021, Seite(n) 289-314, ISSN 0169-2968
Herausgeber: 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

Autoren: Marco A. Gomez, Raphaël M. Jungers, Wim Michiels
Veröffentlicht in: IEEE Transactions on Automatic Control, Ausgabe Vol. 67, no. 1, 2022, Seite(n) 121-133, ISSN 0018-9286
Herausgeber: 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

Autoren: Sébastien M. Mattenet a, Vittorio De Iuliis b, Marco A. Gomez c, Wim Michiels d, Raphaël M. Jungers
Veröffentlicht in: Automatica, Ausgabe Volume 144, 2022, Seite(n) 110495, ISSN 0005-1098
Herausgeber: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110495

Geometric control of hybrid systems

Autoren: Benoît Legat; Raphaël M. Jungers
Veröffentlicht in: Nonlinear Analysis: Hybrid Systems, Ausgabe Vol.47, 2023, Seite(n) 101289, ISSN 1751-570X
Herausgeber: Elsevier BV
DOI: 10.1016/j.nahs.2022.101289

Stabilization of rank-deficient continuous-time switched affine systems

Autoren: Lucas N. Egidio; Grace S. Deaecto; Raphaël M. Jungers
Veröffentlicht in: Automatica, (2022), Ausgabe Volume 143, 2022, Seite(n) 110426, ISSN 0005-1098
Herausgeber: Pergamon Press Ltd.
DOI: 10.48550/arxiv.2204.06912

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

Autoren: Wang, Zheming; Jungers, Raphaël M.; Ong, Chong-Jin
Veröffentlicht in: Automatica, Vol. 147, p. 110686 (2023), Ausgabe Vol. 147, 2023, Seite(n) 110686, ISSN 0005-1098
Herausgeber: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110686

Razumikhin and Krasovskii approaches for safe stabilization

Autoren: Ren, Wei; Jungers, Raphael M.; Dimarogonas, Dimos V.
Veröffentlicht in: Automatica, Vol. 146, p. 110563 (2022), Ausgabe 2, 2022, ISSN 0005-1098
Herausgeber: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110563

An Efficient Method to Verify the Inclusion of Ellipsoids

Autoren: Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers
Veröffentlicht in: arXiv, 2022
Herausgeber: arXiv
DOI: 10.48550/arxiv.2211.06237

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

Autoren: Matteo Della Rossa, Raphaël M. Jungers
Veröffentlicht in: arXiv, 2023, ISSN 2331-8422
Herausgeber: arXiv
DOI: 10.48550/arxiv.2307.13543

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

Autoren: Matteo Della Rossa, Lucas N. Egidio, Raphaël M. Jungers
Veröffentlicht in: arXiv, 2022
Herausgeber: arXiv
DOI: 10.48550/arxiv.2203.06968

Computation of invariant sets for complex systems

Autoren: Legat, Benoît, Jungers, Raphaël M.
Veröffentlicht in: Handbook of Numerical Analysis, 2023, ISSN 1570-8659
Herausgeber: Elsevier
DOI: 10.1016/bs.hna.2022.12.001

Safety Guarantees for Hybrid Systems

Autoren: Raphael M. Jungers, Nikolaos Athanasopoulos
Veröffentlicht in: Encyclopedia of Systems and Control, 2020, Seite(n) 1-8, ISBN 978-1-4471-5102-9
Herausgeber: 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

Veröffentlichungen

Diese Seite teilen

Herunterladen