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

Autorzy: Zheming Wang, Raphaël M. Jungers, Chong-Jin Ong
Opublikowane w: IFAC-PapersOnLine, Numer Volume 53, Numer 2, 2020, Strona(/y) 5505-5510
Wydawca: Elsevier
DOI: 10.1016/j.ifacol.2020.12.1558

Data-driven stability analysis of switched affine systems

Autorzy: Matteo Della Rossa, Zheming Wang, Lucas N. Egidio, Raphael M. Jungers
Opublikowane w: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Strona(/y) 3204-3209
Wydawca: IEEE
DOI: 10.1109/cdc45484.2021.9682823

Zonotope-based Controller Synthesis for LTL Specifications

Autorzy: W. Ren, J. Calbert, R. M. Jungers
Opublikowane w: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Strona(/y) 580-585, ISBN 978-1-6654-3659-5
Wydawca: IEEE
DOI: 10.1109/cdc45484.2021.9683150

Optimal Measurement Budget Allocation For Particle Filtering

Autorzy: Antoine ASPEEL; Amaury GOUVERNEUR; Raphaël M. JUNGERS; Benoît MACQ
Opublikowane w: IEEE International Conference on Image Processing (ICIP), Numer Vol. 1, no. 1, 2020, Strona(/y) 1-5, ISBN 978-1-7281-6396-3
Wydawca: IEEE
DOI: 10.1109/icip40778.2020.9190702

Event-Triggered Tracking Control of Networked and Quantized Control Systems

Autorzy: W. Ren, D. V. Dimarogonas, R. M. Jungers
Opublikowane w: 2021 European Control Conference (ECC), 2021, Strona(/y) 632-637, ISBN 978-9-4638-4236-5
Wydawca: IEEE
DOI: 10.23919/ecc54610.2021.9654945

Stability of Planar Switched Systems under Delayed Event Detection

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

Formal Synthesis of Path-Complete Lyapunov Functions on Neural Templates

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

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

Autorzy: W. Ren
Opublikowane w: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Strona(/y) 5471-5476, ISBN 978-1-6654-3660-1
Wydawca: IEEE
DOI: 10.1109/cdc45484.2021.9682928

Zonotope-based Controller Synthesis for LTL Specifications

Autorzy: Ren, Wei; Calbert, Julien; Jungers, Raphael
Opublikowane w: Zenodo, Numer 1, 2021
Wydawca: ZENODO
DOI: 10.5281/zenodo.6083118

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

Autorzy: Della Rossa, Matteo; Jungers, Raphaël M.
Opublikowane w: 2022 IEEE 61st Conference on Decision and Control (CDC), Numer Vol. 62, 2022
Wydawca: I E E E
DOI: 10.48550/arxiv.2208.12022

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

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

Poster Abstract: Towards Seamless Reactivity of Hybrid Control

Autorzy: Lucas Neves Egidio; Satya Prakash Nayak; Matteo Della Rossa; Anne-Kathrin Schmuck; Raphaël Jungers
Opublikowane w: HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, Numer 1, 2023
Wydawca: ACM
DOI: 10.1145/3575870.3589553

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

Autorzy: Zheming Wang; Raphaël M. Jungers
Opublikowane w: IEEE Control Systems Letters, Numer 5, 2020, Strona(/y) 1843-1848
Wydawca: 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

Autorzy: Zheming Wang, Guillaume O. Berger, Raphaël M. Jungers
Opublikowane w: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Strona(/y) 4400-4405
Wydawca: 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

Autorzy: Thiago Alves Lima, Matteo Della Rossa, Frédéric Gouaisbaut, Raphaël Jungers, Sophie Tarbouriech
Opublikowane w: 2022
Wydawca: arXiv
DOI: 10.48550/arxiv.2209.04869

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

Autorzy: Virginie Debauche; Matteo Della Rossa; Raphaël Jungers
Opublikowane w: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, Numer 8, 2023, Strona(/y) 1-10, ISBN 978-1-4503-8728-6
Wydawca: Association for Computing Machinery
DOI: 10.1145/3575870.3587114

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

Autorzy: Berger, Guillaume O.- Jungers, Raphaël M.- Wang, Zheming
Opublikowane w: Proceedings of Machine Learning Research, Numer 144, 2021, Strona(/y) 571-583
Wydawca: XX
DOI: 10.48550/arxiv.2101.01415

Reachability-based Control Synthesis under Signal Temporal Logic Specifications

Autorzy: Wei Ren, Raphaël Jungers
Opublikowane w: American Control Conference. Proceedings, 2022, Strona(/y) 2078-2083, ISBN 978-1-6654-5196-3
Wydawca: IEEE
DOI: 10.23919/acc53348.2022.9867813

Comparison of Path-Complete Stability Criteria via Quantifier Elimination

Autorzy: Debauche Virginie, Jungers Raphaël M.
Opublikowane w: 40th Benelux meeting on systems and control, 2021
Wydawca: 40th Benelux meeting on systems and control

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

Autorzy: Guillaume O. Berger, Raphaël M. Jungers
Opublikowane w: 2020 IEEE Conference on Decision and Control (CDC), 2020, ISBN 978-1-7281-7447-1
Wydawca: IEEE Xplore
DOI: 10.1109/cdc42340.2020.9304214

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

Autorzy: Z. Wang, R. M. Jungers
Opublikowane w: 2021 European Control Conference (ECC), 2021, Strona(/y) 1099-1104
Wydawca: IEEE
DOI: 10.23919/ecc54610.2021.9655233

Geometric control of algebraic systems

Autorzy: Benoît Legat; Raphaël M. Jungers
Opublikowane w: ADHS, Numer 2, 2021
Wydawca: Elsevier BV
DOI: 10.48550/arxiv.2101.06990

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

Autorzy: Neves Egidio, Lucas; Alves Lima, Thiago; Jungers, Raphaël M.
Opublikowane w: 2022 IEEE 61st Conference on Decision and Control (CDC), 2022
Wydawca: IEEE
DOI: 10.48550/arxiv.2204.00315

Optimal Control for Linear Networked Control Systems with Information Transmission Constraints

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

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

Autorzy: Zheming Wang, Raphaël M. Jungers
Opublikowane w: 2022 IEEE 61st Conference on Decision and Control (CDC), 2022, ISBN 978-1-6654-6761-2
Wydawca: IEEE
DOI: 10.1109/cdc51059.2022.9993351

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

Autorzy: Calbert, Julien; Jungers, Raphaël M.
Opublikowane w: American Control Conference. Proceedings, 2023
Wydawca: IEEE
DOI: 10.23919/acc55779.2023.10156175

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

Autorzy: Debauche Virginie, Della Rossa Matteo, Jungers Raphaël M.
Opublikowane w: 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Wydawca: ACM

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

Autorzy: Virginie Debauche; Della Rossa, Matteo; Jungers, Raphaël M.
Opublikowane w: HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, (2022), Numer 1, 2022
Wydawca: Association for Computing Machinery, Inc.
DOI: 10.1145/3501710.3519539

Formal Synthesis of Path-Complete Lyapunov Functions on Neural Templates

Autorzy: Debauche, Virginie; Jungers, Raphaël M.
Opublikowane w: 2023
Wydawca: 42th Benelux meeting on systems and control

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

Autorzy: Guillaume O. Berger, Raphaël M. Jungers
Opublikowane w: IFAC-PapersOnLine, Numer Volume 53, Numer 2, 2020, Strona(/y) 3060-3065
Wydawca: 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

Autorzy: Guillaume O. Berger, Raphaël M. Jungers
Opublikowane w: HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, Numer 4, 2020, Strona(/y) 1-11
Wydawca: ACM
DOI: 10.1145/3365365.3382195

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

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

Complexity of the LTI system trajectory boundedness problem

Autorzy: Guillaume O. Berger; Raphael M. Jungers
Opublikowane w: 2021 IEEE Conference on Decision and Control (CDC),, Numer 2, 2021
Wydawca: IEEE
DOI: 10.48550/arxiv.2108.00728

Piecewise semi-ellipsoidal control invariant sets

Autorzy: Benoît Legat, Saša V. Raković, Raphaël M. Jungers
Opublikowane w: IEEE Conference on Decision and Control. Proceedings, 2020, ISSN 0743-1546
Wydawca: IEEE
DOI: 10.48550/arxiv.2007.02770

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

Autorzy: Zheming Wang, Raphaël M. Jungers
Opublikowane w: IFAC-PapersOnLine, Numer Vol. 53, no.2, 2020, Strona(/y) 869-874
Wydawca: Elsevier BV
DOI: 10.1016/j.ifacol.2020.12.845

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

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

Learning stability guarantees for data-driven constrained switching linear systems

Autorzy: Adrien Banse, Zheming Wang, Raphaël M. Jungers
Opublikowane w: 2022
Wydawca: arXiv
DOI: 10.48550/arxiv.2205.00696

Optimal Abstraction-based Control with Local Affine Controllers

Autorzy: Lucas N. Egidio, Thiago Alves Lima, Raphaël Jungers
Opublikowane w: 2022 American Control Conference (ACC), 2022, ISBN 978-1-6654-5196-3
Wydawca: IEEE
DOI: 10.23919/acc53348.2022.9867296

Alternating Simulation on Hierarchical Abstractions

Autorzy: Julien Calbert, Benoît Legat, Lucas N. Egidio, Raphael Jungers
Opublikowane w: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Strona(/y) 593-598
Wydawca: IEEE
DOI: 10.1109/cdc45484.2021.9683448

Data-driven memory-dependent abstractions of dynamical systems

Autorzy: Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
Opublikowane w: 2022
Wydawca: arXiv
DOI: 10.48550/arxiv.2212.01926

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

Autorzy: Legat, Benoît; Jean Bouchat; Jungers, Raphaël M.
Opublikowane w: Proceedings of Machine Learning Research, Numer Vol. 144, 2021, Strona(/y) 263-274
Wydawca: arXiv
DOI: 10.48550/arxiv.2011.11029

Learning stability guarantees for data-driven constrained switching linear systems

Autorzy: Banse Adrien, Wang Zheming, Jungers Raphaël M.
Opublikowane w: Book of Abstracts 41st Benelux Meeting on Systems and Control, 2022
Wydawca: Benelux meeting

Optimal Resource Scheduling and Allocation in Distributed Computing Systems

Autorzy: Wei Ren, Eleftherios Vlahakis, Nikolaos Athanasopoulos, Raphaël Jungers
Opublikowane w: 2022 American Control Conference (ACC), 2022, ISBN 978-1-6654-5196-3
Wydawca: IEEE
DOI: 10.23919/acc53348.2022.9867340

AIMD-inspired switching control of computing networks

Autorzy: Vlahakis, Eleftherios; Jungers, Raphaël M.;Athanasopoulos, Nikolaos; McLoone, Sean
Opublikowane w: IEEE Transactions on Control of Network Systems, 2023
Wydawca: IEEE
DOI: 10.1109/tcns.2023.3298202

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

Autorzy: Adrien Banse, Zheming Wang, Raphaël M. Jungers
Opublikowane w: 2022
Wydawca: arXiv
DOI: 10.48550/arxiv.2205.00699

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

Autorzy: Raphaël M. Jungers
Opublikowane w: Proceedings of the European Control Conference (ECC 20), 2020, Strona(/y) 1559, ISBN 978-1-7281-8813-3
Wydawca: IEEE
DOI: 10.23919/ecc51009.2020.9143635

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

Autorzy: Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers
Opublikowane w: Nonlinear Analysis: Hybrid Systems, Numer Volume 46, 2022, Strona(/y) 101237, ISSN 1751-570X
Wydawca: Elsevier BV
DOI: 10.1016/j.nahs.2022.101237

Learning stability of partially observed switched linear systems

Autorzy: Zheming Wang, Raphaël M. Jungers, Mihály Petreczky, Bo Chen, Li Yu
Opublikowane w: arXiv, 2023, ISSN 2331-8422
Wydawca: arXiv
DOI: 10.48550/arxiv.2301.08046

Quantized Stabilization of Continuous-Time Switched Linear Systems

Autorzy: Guillaume O. Berger; Raphaël M. Jungers
Opublikowane w: IEEE Control Systems Letters, Numer Vol. 5, no. 1, 2020, Strona(/y) 319-324, ISSN 2475-1456
Wydawca: IEEE
DOI: 10.1109/lcsys.2020.3002068

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

Autorzy: Zheming Wang, Raphaël M. Jungers
Opublikowane w: IEEE Control Systems Letters, Numer Volume 5, issue 5, 2021, Strona(/y) 1843-1848, ISSN 2475-1456
Wydawca: 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

Autorzy: Antoine Aspeel, Axel Legay, Raphaël M. Jungers, Benoit Macq
Opublikowane w: EURASIP Journal on Advances in Signal Processing, Numer Vol. 2021, no.1, 2021, ISSN 1687-6180
Wydawca: Springer Science and Business Media LLC
DOI: 10.1186/s13634-021-00732-8

The Synchronizing Probability Function for Primitive Sets of Matrices

Autorzy: Costanza Catalano, Raphaël M. Jungers
Opublikowane w: International Journal of Foundations of Computer Science, Numer Vol. 31, no. 06, 2020, Strona(/y) 777-803, ISSN 0129-0541
Wydawca: World Scientific Publishing Co
DOI: 10.1142/s0129054120410051

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

Autorzy: Banse, Adrien; Romao, Licio; Abate, Alessandro; Jungers, Raphaël M.
Opublikowane w: arXiv, Numer 14, 2023, ISSN 2331-8422
Wydawca: arXiv
DOI: 10.48550/arxiv.2303.17618

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

Autorzy: Benoît Legat, Paulo Tabuada, Raphaël M. Jungers
Opublikowane w: Nonlinear Analysis: Hybrid Systems, Numer Vol. 36, 2020, Strona(/y) 100858, ISSN 1751-570X
Wydawca: Elsevier BV
DOI: 10.1016/j.nahs.2020.100858

Context-Triggered Abstraction-Based Control Design

Autorzy: Satya Prakash Nayak, Lucas Neves Egidio, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël Jungers
Opublikowane w: IEEE Open Journal of Control Systems, Numer 2, 2023, Strona(/y) 277 - 296, ISSN 2694-085X
Wydawca: IEEE
DOI: 10.1109/ojcsys.2023.3305835

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

Autorzy: Carl P. Dettmann , Raphael M. Jungers , Paolo Mason
Opublikowane w: Systems & Control Letters, Numer Vol. 142, 2020, Strona(/y) 104737, ISSN 0167-6911
Wydawca: Elsevier BV
DOI: 10.1016/j.sysconle.2020.104737

Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems

Autorzy: Guillaume O. Berger; Raphaël M. Jungers
Opublikowane w: IEEE Control Systems Letters, Numer Vol. 4, no. 1, 2020, Strona(/y) 235-240, ISSN 2475-1456
Wydawca: IEEE
DOI: 10.1109/lcsys.2019.2923923

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

Autorzy: Z. Wang, R. M. Jungers
Opublikowane w: IEEE Control Systems Letters, Numer Volume 5, issue 1, 2021, Strona(/y) 193-198, ISSN 2475-1456
Wydawca: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/lcsys.2020.3001882

p-dominant switched linear systems

Autorzy: Guillaume O. Berger, Raphaël M. Jungers
Opublikowane w: Automatica, Numer Vol. 132, 2021, ISSN 1751-570x
Wydawca: Elsevier BV
DOI: 10.1016/j.automatica.2021.109801

Raphael M. Jungers [People in Control]

Autorzy: Raphael M. Jungers
Opublikowane w: IEEE Control Systems Magazine, Numer 41, Numer: 3, 2021, Strona(/y) 21 - 23, ISSN 1066-033X
Wydawca: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/mcs.2021.3062960

Learning stability guarantees for constrained switching linear systems from noisy observations

Autorzy: Adrien Banse, Zheming Wang, Raphaël M. Jungers
Opublikowane w: Nonlinear Analysis: Hybrid Systems, 2023, ISSN 1751-570X
Wydawca: Elsevier BV
DOI: 10.48550/arxiv.2302.05249

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

Autorzy: Matteo Della Rossa, Thiago Alves Lima, Marc Jungers, Raphaël M. Jungers
Opublikowane w: arXiv, 2023, ISSN 2331-8422
Wydawca: arXiv
DOI: 10.48550/arxiv.2306.11548

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

Autorzy: Anne Rubbens, Zheming Wang, Raphael M. Jungers
Opublikowane w: IFAC-PapersOnLine, Numer volume 54, issue 5, 2021, Strona(/y) 62-72, ISSN 2405-8963
Wydawca: Elsevier BV
DOI: 10.1016/j.ifacol.2021.08.476

Certifying Unstability of Switched Systems Using Sum of Squares Programming

Autorzy: Benoît Legat, Pablo Parrilo, Raphaël Jungers
Opublikowane w: SIAM Journal on Control and Optimization, Numer Vol. 58, no.4, 2020, Strona(/y) 2616-2638, ISSN 0363-0129
Wydawca: Society for Industrial and Applied Mathematics
DOI: 10.1137/18m1173460

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

Autorzy: Wang, Zheming; Jungers, Raphaël M
Opublikowane w: IEEE Transactions on Automatic Control, 2023, ISSN 0018-9286
Wydawca: 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

Autorzy: Marco A. Gomez a, Raphaël M. Jungers b, Wim Michiels
Opublikowane w: Automatica, Numer Vol. 113, no. 108761, 2020, Strona(/y) 9, ISSN 0005-1098
Wydawca: 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

Autorzy: Z. Wang, R. M. Jungers, C. J. Ong
Opublikowane w: Automatica, Numer Volume 125, 2021, Strona(/y) 109463, ISSN 0005-1098
Wydawca: 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

Autorzy: Guillaume O. Berger; Raphael M. Jungers
Opublikowane w: Communications of the ACM, Vol. 65, no.2, p. 111-118 (2022), Numer Vol. 65, 2022, Strona(/y) 111-118, ISSN 0001-0782
Wydawca: Association for Computing Machinary, Inc.
DOI: 10.1145/3505269

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

Autorzy: Dimitrios Dechouniotis ,Nikolaos Athanasopoulos, Aris Leivadeas, Nathalie Mitton, Raphael Jungers, Symeon Papavassiliou
Opublikowane w: Sensors, Numer Vol. 20, no.8, 2020, Strona(/y) 2191, ISSN 1424-8220
Wydawca: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/s20082191

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

Autorzy: Matteo Della Rossa; Raphael M. Jungers
Opublikowane w: IEEE Control Systems Letters, Vol. 7, p. 781-786 (2023), Numer Vol. 7, 2023, Strona(/y) 781-786, ISSN 2475-1456
Wydawca: IEEE
DOI: 10.1109/lcsys.2022.3226627

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

Autorzy: Claes Arnaud, Wiard Victor, Mercenier Heidi, Philippette Thibault, Dufrasne Marie, Browet Arnaud, Jungers, Raphaël M.
Opublikowane w: tic & société, Numer Vol. 15, no. 1, 2021, Strona(/y) 127-157, ISSN 1961-9510
Wydawca: OpenEdition Journals ((France) Marseille)
DOI: 10.4000/ticetsociete.5915

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

Autorzy: Guillaume O. Berger, P.-A. Absil, Raphaël M. Jungers, Yurii Nesterov
Opublikowane w: Journal of Optimization Theory and Applications, Numer Vol. 185, 2020, Strona(/y) 17-33, ISSN 0022-3239
Wydawca: Kluwer Academic/Plenum Publishers
DOI: 10.1007/s10957-020-01632-x

Optimal Intermittent Particle Filter

Autorzy: Antoine Aspeel, Amaury Gouverneur, Raphaël M. Jungers, Benoit Macq
Opublikowane w: Optimal Intermittent Particle Filter, Numer Vol.70, 2022, Strona(/y) 2814–2825, ISSN 1053-587X
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tsp.2022.3179877

Stabilization of rank-deficient continuous-time switched affine systems

Autorzy: Egidio, Lucas N.; Deaecto, Grace S.; Jungers, Raphaël M.
Opublikowane w: Automatica, Numer 143, 2022, Strona(/y) 110426, ISSN 0005-1098
Wydawca: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110426

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

Autorzy: Brieuc Pinon, Raphaël Jungers, Jean-Charles Delvenne
Opublikowane w: Physica D: Nonlinear Phenomena, Numer Volume 444, 2022, Strona(/y) 133585, ISSN 0167-2789
Wydawca: Elsevier BV
DOI: 10.1016/j.physd.2022.133585

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

Autorzy: V. Debauche, M. Della Rossa, R. M. Jungers
Opublikowane w: IFAC-PapersOnLine, Numer Volume 54, issue 5, 2021, Strona(/y) 151-156, ISSN 2405-8963
Wydawca: Elsevier BV
DOI: 10.1016/j.ifacol.2021.08.490

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

Autorzy: Wang, Zheming; Berger, Guillaume O.; Jungers, Raphaël M.
Opublikowane w: arXiv, Numer 1, 2022, ISSN 2331-8422
Wydawca: arXiv
DOI: 10.48550/arxiv.2103.10823

Equivalent polyadic decompositions of matrix multiplication tensors

Autorzy: Guillaume O. Berger, Pierre-Antoine Absil, Lieven De Lathauwer, Raphaël M. Jungers, Marc Van Barel
Opublikowane w: Journal of Computational and Applied Mathematics, Numer Vol. 406, 2022, Strona(/y) 113941, ISSN 0377-0427
Wydawca: Elsevier BV
DOI: 10.1016/j.cam.2021.113941

A categorical view on the converse Lyapunov theorem

Autorzy: Sébastien Maurice Mattenet, Raphael Jungers
Opublikowane w: arXiv, 2023, ISSN 2331-8422
Wydawca: arXiv
DOI: 10.48550/arxiv.2306.00509

Piecewise Semi-Ellipsoidal Control Invariant Sets

Autorzy: Benoît Legat, Saša V. Raković, Raphaël M. Jungers
Opublikowane w: IEEE Control Systems Letters, Numer Vol. 5, no.3, 2021, Strona(/y) 755-760, ISSN 2475-1456
Wydawca: IEEE
DOI: 10.1109/lcsys.2020.3005326

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

Autorzy: Catalano Costanza, Azfar Umer, Charlier Ludovic, Jungers, Raphaël M.
Opublikowane w: Fundamenta Informaticae, Numer vol. 180, no. 4, 2021, Strona(/y) 289-314, ISSN 0169-2968
Wydawca: 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

Autorzy: Marco A. Gomez, Raphaël M. Jungers, Wim Michiels
Opublikowane w: IEEE Transactions on Automatic Control, Numer Vol. 67, no. 1, 2022, Strona(/y) 121-133, ISSN 0018-9286
Wydawca: 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

Autorzy: Sébastien M. Mattenet a, Vittorio De Iuliis b, Marco A. Gomez c, Wim Michiels d, Raphaël M. Jungers
Opublikowane w: Automatica, Numer Volume 144, 2022, Strona(/y) 110495, ISSN 0005-1098
Wydawca: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110495

Geometric control of hybrid systems

Autorzy: Benoît Legat; Raphaël M. Jungers
Opublikowane w: Nonlinear Analysis: Hybrid Systems, Numer Vol.47, 2023, Strona(/y) 101289, ISSN 1751-570X
Wydawca: Elsevier BV
DOI: 10.1016/j.nahs.2022.101289

Stabilization of rank-deficient continuous-time switched affine systems

Autorzy: Lucas N. Egidio; Grace S. Deaecto; Raphaël M. Jungers
Opublikowane w: Automatica, (2022), Numer Volume 143, 2022, Strona(/y) 110426, ISSN 0005-1098
Wydawca: Pergamon Press Ltd.
DOI: 10.48550/arxiv.2204.06912

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

Autorzy: Wang, Zheming; Jungers, Raphaël M.; Ong, Chong-Jin
Opublikowane w: Automatica, Vol. 147, p. 110686 (2023), Numer Vol. 147, 2023, Strona(/y) 110686, ISSN 0005-1098
Wydawca: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110686

Razumikhin and Krasovskii approaches for safe stabilization

Autorzy: Ren, Wei; Jungers, Raphael M.; Dimarogonas, Dimos V.
Opublikowane w: Automatica, Vol. 146, p. 110563 (2022), Numer 2, 2022, ISSN 0005-1098
Wydawca: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110563

An Efficient Method to Verify the Inclusion of Ellipsoids

Autorzy: Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers
Opublikowane w: arXiv, 2022
Wydawca: arXiv
DOI: 10.48550/arxiv.2211.06237

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

Autorzy: Matteo Della Rossa, Raphaël M. Jungers
Opublikowane w: arXiv, 2023, ISSN 2331-8422
Wydawca: arXiv
DOI: 10.48550/arxiv.2307.13543

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

Autorzy: Matteo Della Rossa, Lucas N. Egidio, Raphaël M. Jungers
Opublikowane w: arXiv, 2022
Wydawca: arXiv
DOI: 10.48550/arxiv.2203.06968

Computation of invariant sets for complex systems

Autorzy: Legat, Benoît, Jungers, Raphaël M.
Opublikowane w: Handbook of Numerical Analysis, 2023, ISSN 1570-8659
Wydawca: Elsevier
DOI: 10.1016/bs.hna.2022.12.001

Safety Guarantees for Hybrid Systems

Autorzy: Raphael M. Jungers, Nikolaos Athanasopoulos
Opublikowane w: Encyclopedia of Systems and Control, 2020, Strona(/y) 1-8, ISBN 978-1-4471-5102-9
Wydawca: 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

Publikacje

Udostępnij tę stronę

Pobierz