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

Autores: Zheming Wang, Raphaël M. Jungers, Chong-Jin Ong
Publicado en: IFAC-PapersOnLine, Edición Volume 53, Edición 2, 2020, Página(s) 5505-5510
Editor: Elsevier
DOI: 10.1016/j.ifacol.2020.12.1558

Data-driven stability analysis of switched affine systems

Autores: Matteo Della Rossa, Zheming Wang, Lucas N. Egidio, Raphael M. Jungers
Publicado en: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Página(s) 3204-3209
Editor: IEEE
DOI: 10.1109/cdc45484.2021.9682823

Zonotope-based Controller Synthesis for LTL Specifications

Autores: W. Ren, J. Calbert, R. M. Jungers
Publicado en: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Página(s) 580-585, ISBN 978-1-6654-3659-5
Editor: IEEE
DOI: 10.1109/cdc45484.2021.9683150

Optimal Measurement Budget Allocation For Particle Filtering

Autores: Antoine ASPEEL; Amaury GOUVERNEUR; Raphaël M. JUNGERS; Benoît MACQ
Publicado en: IEEE International Conference on Image Processing (ICIP), Edición Vol. 1, no. 1, 2020, Página(s) 1-5, ISBN 978-1-7281-6396-3
Editor: IEEE
DOI: 10.1109/icip40778.2020.9190702

Event-Triggered Tracking Control of Networked and Quantized Control Systems

Autores: W. Ren, D. V. Dimarogonas, R. M. Jungers
Publicado en: 2021 European Control Conference (ECC), 2021, Página(s) 632-637, ISBN 978-9-4638-4236-5
Editor: IEEE
DOI: 10.23919/ecc54610.2021.9654945

Stability of Planar Switched Systems under Delayed Event Detection

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

Formal Synthesis of Path-Complete Lyapunov Functions on Neural Templates

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

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

Autores: W. Ren
Publicado en: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Página(s) 5471-5476, ISBN 978-1-6654-3660-1
Editor: IEEE
DOI: 10.1109/cdc45484.2021.9682928

Zonotope-based Controller Synthesis for LTL Specifications

Autores: Ren, Wei; Calbert, Julien; Jungers, Raphael
Publicado en: Zenodo, Edición 1, 2021
Editor: ZENODO
DOI: 10.5281/zenodo.6083118

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

Autores: Della Rossa, Matteo; Jungers, Raphaël M.
Publicado en: 2022 IEEE 61st Conference on Decision and Control (CDC), Edición Vol. 62, 2022
Editor: I E E E
DOI: 10.48550/arxiv.2208.12022

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

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

Poster Abstract: Towards Seamless Reactivity of Hybrid Control

Autores: Lucas Neves Egidio; Satya Prakash Nayak; Matteo Della Rossa; Anne-Kathrin Schmuck; Raphaël Jungers
Publicado en: HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, Edición 1, 2023
Editor: ACM
DOI: 10.1145/3575870.3589553

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

Autores: Zheming Wang; Raphaël M. Jungers
Publicado en: IEEE Control Systems Letters, Edición 5, 2020, Página(s) 1843-1848
Editor: 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

Autores: Zheming Wang, Guillaume O. Berger, Raphaël M. Jungers
Publicado en: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Página(s) 4400-4405
Editor: 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

Autores: Thiago Alves Lima, Matteo Della Rossa, Frédéric Gouaisbaut, Raphaël Jungers, Sophie Tarbouriech
Publicado en: 2022
Editor: arXiv
DOI: 10.48550/arxiv.2209.04869

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

Autores: Virginie Debauche; Matteo Della Rossa; Raphaël Jungers
Publicado en: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, Edición 8, 2023, Página(s) 1-10, ISBN 978-1-4503-8728-6
Editor: Association for Computing Machinery
DOI: 10.1145/3575870.3587114

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

Autores: Berger, Guillaume O.- Jungers, Raphaël M.- Wang, Zheming
Publicado en: Proceedings of Machine Learning Research, Edición 144, 2021, Página(s) 571-583
Editor: XX
DOI: 10.48550/arxiv.2101.01415

Reachability-based Control Synthesis under Signal Temporal Logic Specifications

Autores: Wei Ren, Raphaël Jungers
Publicado en: American Control Conference. Proceedings, 2022, Página(s) 2078-2083, ISBN 978-1-6654-5196-3
Editor: IEEE
DOI: 10.23919/acc53348.2022.9867813

Comparison of Path-Complete Stability Criteria via Quantifier Elimination

Autores: Debauche Virginie, Jungers Raphaël M.
Publicado en: 40th Benelux meeting on systems and control, 2021
Editor: 40th Benelux meeting on systems and control

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

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

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

Autores: Z. Wang, R. M. Jungers
Publicado en: 2021 European Control Conference (ECC), 2021, Página(s) 1099-1104
Editor: IEEE
DOI: 10.23919/ecc54610.2021.9655233

Geometric control of algebraic systems

Autores: Benoît Legat; Raphaël M. Jungers
Publicado en: ADHS, Edición 2, 2021
Editor: Elsevier BV
DOI: 10.48550/arxiv.2101.06990

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

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

Optimal Control for Linear Networked Control Systems with Information Transmission Constraints

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

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

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

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

Autores: Calbert, Julien; Jungers, Raphaël M.
Publicado en: American Control Conference. Proceedings, 2023
Editor: IEEE
DOI: 10.23919/acc55779.2023.10156175

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

Autores: Debauche Virginie, Della Rossa Matteo, Jungers Raphaël M.
Publicado en: 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Editor: ACM

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

Autores: Virginie Debauche; Della Rossa, Matteo; Jungers, Raphaël M.
Publicado en: HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, (2022), Edición 1, 2022
Editor: Association for Computing Machinery, Inc.
DOI: 10.1145/3501710.3519539

Formal Synthesis of Path-Complete Lyapunov Functions on Neural Templates

Autores: Debauche, Virginie; Jungers, Raphaël M.
Publicado en: 2023
Editor: 42th Benelux meeting on systems and control

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

Autores: Guillaume O. Berger, Raphaël M. Jungers
Publicado en: IFAC-PapersOnLine, Edición Volume 53, Edición 2, 2020, Página(s) 3060-3065
Editor: 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

Autores: Guillaume O. Berger, Raphaël M. Jungers
Publicado en: HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, Edición 4, 2020, Página(s) 1-11
Editor: ACM
DOI: 10.1145/3365365.3382195

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

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

Complexity of the LTI system trajectory boundedness problem

Autores: Guillaume O. Berger; Raphael M. Jungers
Publicado en: 2021 IEEE Conference on Decision and Control (CDC),, Edición 2, 2021
Editor: IEEE
DOI: 10.48550/arxiv.2108.00728

Piecewise semi-ellipsoidal control invariant sets

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

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

Autores: Zheming Wang, Raphaël M. Jungers
Publicado en: IFAC-PapersOnLine, Edición Vol. 53, no.2, 2020, Página(s) 869-874
Editor: Elsevier BV
DOI: 10.1016/j.ifacol.2020.12.845

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

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

Learning stability guarantees for data-driven constrained switching linear systems

Autores: Adrien Banse, Zheming Wang, Raphaël M. Jungers
Publicado en: 2022
Editor: arXiv
DOI: 10.48550/arxiv.2205.00696

Optimal Abstraction-based Control with Local Affine Controllers

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

Alternating Simulation on Hierarchical Abstractions

Autores: Julien Calbert, Benoît Legat, Lucas N. Egidio, Raphael Jungers
Publicado en: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Página(s) 593-598
Editor: IEEE
DOI: 10.1109/cdc45484.2021.9683448

Data-driven memory-dependent abstractions of dynamical systems

Autores: Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers
Publicado en: 2022
Editor: arXiv
DOI: 10.48550/arxiv.2212.01926

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

Autores: Legat, Benoît; Jean Bouchat; Jungers, Raphaël M.
Publicado en: Proceedings of Machine Learning Research, Edición Vol. 144, 2021, Página(s) 263-274
Editor: arXiv
DOI: 10.48550/arxiv.2011.11029

Learning stability guarantees for data-driven constrained switching linear systems

Autores: Banse Adrien, Wang Zheming, Jungers Raphaël M.
Publicado en: Book of Abstracts 41st Benelux Meeting on Systems and Control, 2022
Editor: Benelux meeting

Optimal Resource Scheduling and Allocation in Distributed Computing Systems

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

AIMD-inspired switching control of computing networks

Autores: Vlahakis, Eleftherios; Jungers, Raphaël M.;Athanasopoulos, Nikolaos; McLoone, Sean
Publicado en: IEEE Transactions on Control of Network Systems, 2023
Editor: IEEE
DOI: 10.1109/tcns.2023.3298202

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

Autores: Adrien Banse, Zheming Wang, Raphaël M. Jungers
Publicado en: 2022
Editor: arXiv
DOI: 10.48550/arxiv.2205.00699

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

Autores: Raphaël M. Jungers
Publicado en: Proceedings of the European Control Conference (ECC 20), 2020, Página(s) 1559, ISBN 978-1-7281-8813-3
Editor: IEEE
DOI: 10.23919/ecc51009.2020.9143635

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

Autores: Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers
Publicado en: Nonlinear Analysis: Hybrid Systems, Edición Volume 46, 2022, Página(s) 101237, ISSN 1751-570X
Editor: Elsevier BV
DOI: 10.1016/j.nahs.2022.101237

Learning stability of partially observed switched linear systems

Autores: Zheming Wang, Raphaël M. Jungers, Mihály Petreczky, Bo Chen, Li Yu
Publicado en: arXiv, 2023, ISSN 2331-8422
Editor: arXiv
DOI: 10.48550/arxiv.2301.08046

Quantized Stabilization of Continuous-Time Switched Linear Systems

Autores: Guillaume O. Berger; Raphaël M. Jungers
Publicado en: IEEE Control Systems Letters, Edición Vol. 5, no. 1, 2020, Página(s) 319-324, ISSN 2475-1456
Editor: IEEE
DOI: 10.1109/lcsys.2020.3002068

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

Autores: Zheming Wang, Raphaël M. Jungers
Publicado en: IEEE Control Systems Letters, Edición Volume 5, issue 5, 2021, Página(s) 1843-1848, ISSN 2475-1456
Editor: 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

Autores: Antoine Aspeel, Axel Legay, Raphaël M. Jungers, Benoit Macq
Publicado en: EURASIP Journal on Advances in Signal Processing, Edición Vol. 2021, no.1, 2021, ISSN 1687-6180
Editor: Springer Science and Business Media LLC
DOI: 10.1186/s13634-021-00732-8

The Synchronizing Probability Function for Primitive Sets of Matrices

Autores: Costanza Catalano, Raphaël M. Jungers
Publicado en: International Journal of Foundations of Computer Science, Edición Vol. 31, no. 06, 2020, Página(s) 777-803, ISSN 0129-0541
Editor: World Scientific Publishing Co
DOI: 10.1142/s0129054120410051

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

Autores: Banse, Adrien; Romao, Licio; Abate, Alessandro; Jungers, Raphaël M.
Publicado en: arXiv, Edición 14, 2023, ISSN 2331-8422
Editor: arXiv
DOI: 10.48550/arxiv.2303.17618

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

Autores: Benoît Legat, Paulo Tabuada, Raphaël M. Jungers
Publicado en: Nonlinear Analysis: Hybrid Systems, Edición Vol. 36, 2020, Página(s) 100858, ISSN 1751-570X
Editor: Elsevier BV
DOI: 10.1016/j.nahs.2020.100858

Context-Triggered Abstraction-Based Control Design

Autores: Satya Prakash Nayak, Lucas Neves Egidio, Matteo Della Rossa, Anne-Kathrin Schmuck, Raphaël Jungers
Publicado en: IEEE Open Journal of Control Systems, Edición 2, 2023, Página(s) 277 - 296, ISSN 2694-085X
Editor: IEEE
DOI: 10.1109/ojcsys.2023.3305835

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

Autores: Carl P. Dettmann , Raphael M. Jungers , Paolo Mason
Publicado en: Systems & Control Letters, Edición Vol. 142, 2020, Página(s) 104737, ISSN 0167-6911
Editor: Elsevier BV
DOI: 10.1016/j.sysconle.2020.104737

Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems

Autores: Guillaume O. Berger; Raphaël M. Jungers
Publicado en: IEEE Control Systems Letters, Edición Vol. 4, no. 1, 2020, Página(s) 235-240, ISSN 2475-1456
Editor: IEEE
DOI: 10.1109/lcsys.2019.2923923

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

Autores: Z. Wang, R. M. Jungers
Publicado en: IEEE Control Systems Letters, Edición Volume 5, issue 1, 2021, Página(s) 193-198, ISSN 2475-1456
Editor: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/lcsys.2020.3001882

p-dominant switched linear systems

Autores: Guillaume O. Berger, Raphaël M. Jungers
Publicado en: Automatica, Edición Vol. 132, 2021, ISSN 1751-570x
Editor: Elsevier BV
DOI: 10.1016/j.automatica.2021.109801

Raphael M. Jungers [People in Control]

Autores: Raphael M. Jungers
Publicado en: IEEE Control Systems Magazine, Edición 41, Edición: 3, 2021, Página(s) 21 - 23, ISSN 1066-033X
Editor: Institute of Electrical and Electronics Engineers Inc.
DOI: 10.1109/mcs.2021.3062960

Learning stability guarantees for constrained switching linear systems from noisy observations

Autores: Adrien Banse, Zheming Wang, Raphaël M. Jungers
Publicado en: Nonlinear Analysis: Hybrid Systems, 2023, ISSN 1751-570X
Editor: Elsevier BV
DOI: 10.48550/arxiv.2302.05249

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

Autores: Matteo Della Rossa, Thiago Alves Lima, Marc Jungers, Raphaël M. Jungers
Publicado en: arXiv, 2023, ISSN 2331-8422
Editor: arXiv
DOI: 10.48550/arxiv.2306.11548

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

Autores: Anne Rubbens, Zheming Wang, Raphael M. Jungers
Publicado en: IFAC-PapersOnLine, Edición volume 54, issue 5, 2021, Página(s) 62-72, ISSN 2405-8963
Editor: Elsevier BV
DOI: 10.1016/j.ifacol.2021.08.476

Certifying Unstability of Switched Systems Using Sum of Squares Programming

Autores: Benoît Legat, Pablo Parrilo, Raphaël Jungers
Publicado en: SIAM Journal on Control and Optimization, Edición Vol. 58, no.4, 2020, Página(s) 2616-2638, ISSN 0363-0129
Editor: Society for Industrial and Applied Mathematics
DOI: 10.1137/18m1173460

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

Autores: Wang, Zheming; Jungers, Raphaël M
Publicado en: IEEE Transactions on Automatic Control, 2023, ISSN 0018-9286
Editor: 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

Autores: Marco A. Gomez a, Raphaël M. Jungers b, Wim Michiels
Publicado en: Automatica, Edición Vol. 113, no. 108761, 2020, Página(s) 9, ISSN 0005-1098
Editor: 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

Autores: Z. Wang, R. M. Jungers, C. J. Ong
Publicado en: Automatica, Edición Volume 125, 2021, Página(s) 109463, ISSN 0005-1098
Editor: 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

Autores: Guillaume O. Berger; Raphael M. Jungers
Publicado en: Communications of the ACM, Vol. 65, no.2, p. 111-118 (2022), Edición Vol. 65, 2022, Página(s) 111-118, ISSN 0001-0782
Editor: Association for Computing Machinary, Inc.
DOI: 10.1145/3505269

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

Autores: Dimitrios Dechouniotis ,Nikolaos Athanasopoulos, Aris Leivadeas, Nathalie Mitton, Raphael Jungers, Symeon Papavassiliou
Publicado en: Sensors, Edición Vol. 20, no.8, 2020, Página(s) 2191, ISSN 1424-8220
Editor: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/s20082191

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

Autores: Matteo Della Rossa; Raphael M. Jungers
Publicado en: IEEE Control Systems Letters, Vol. 7, p. 781-786 (2023), Edición Vol. 7, 2023, Página(s) 781-786, ISSN 2475-1456
Editor: IEEE
DOI: 10.1109/lcsys.2022.3226627

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

Autores: Claes Arnaud, Wiard Victor, Mercenier Heidi, Philippette Thibault, Dufrasne Marie, Browet Arnaud, Jungers, Raphaël M.
Publicado en: tic & société, Edición Vol. 15, no. 1, 2021, Página(s) 127-157, ISSN 1961-9510
Editor: OpenEdition Journals ((France) Marseille)
DOI: 10.4000/ticetsociete.5915

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

Autores: Guillaume O. Berger, P.-A. Absil, Raphaël M. Jungers, Yurii Nesterov
Publicado en: Journal of Optimization Theory and Applications, Edición Vol. 185, 2020, Página(s) 17-33, ISSN 0022-3239
Editor: Kluwer Academic/Plenum Publishers
DOI: 10.1007/s10957-020-01632-x

Optimal Intermittent Particle Filter

Autores: Antoine Aspeel, Amaury Gouverneur, Raphaël M. Jungers, Benoit Macq
Publicado en: Optimal Intermittent Particle Filter, Edición Vol.70, 2022, Página(s) 2814–2825, ISSN 1053-587X
Editor: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tsp.2022.3179877

Stabilization of rank-deficient continuous-time switched affine systems

Autores: Egidio, Lucas N.; Deaecto, Grace S.; Jungers, Raphaël M.
Publicado en: Automatica, Edición 143, 2022, Página(s) 110426, ISSN 0005-1098
Editor: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110426

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

Autores: Brieuc Pinon, Raphaël Jungers, Jean-Charles Delvenne
Publicado en: Physica D: Nonlinear Phenomena, Edición Volume 444, 2022, Página(s) 133585, ISSN 0167-2789
Editor: Elsevier BV
DOI: 10.1016/j.physd.2022.133585

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

Autores: V. Debauche, M. Della Rossa, R. M. Jungers
Publicado en: IFAC-PapersOnLine, Edición Volume 54, issue 5, 2021, Página(s) 151-156, ISSN 2405-8963
Editor: Elsevier BV
DOI: 10.1016/j.ifacol.2021.08.490

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

Autores: Wang, Zheming; Berger, Guillaume O.; Jungers, Raphaël M.
Publicado en: arXiv, Edición 1, 2022, ISSN 2331-8422
Editor: arXiv
DOI: 10.48550/arxiv.2103.10823

Equivalent polyadic decompositions of matrix multiplication tensors

Autores: Guillaume O. Berger, Pierre-Antoine Absil, Lieven De Lathauwer, Raphaël M. Jungers, Marc Van Barel
Publicado en: Journal of Computational and Applied Mathematics, Edición Vol. 406, 2022, Página(s) 113941, ISSN 0377-0427
Editor: Elsevier BV
DOI: 10.1016/j.cam.2021.113941

A categorical view on the converse Lyapunov theorem

Autores: Sébastien Maurice Mattenet, Raphael Jungers
Publicado en: arXiv, 2023, ISSN 2331-8422
Editor: arXiv
DOI: 10.48550/arxiv.2306.00509

Piecewise Semi-Ellipsoidal Control Invariant Sets

Autores: Benoît Legat, Saša V. Raković, Raphaël M. Jungers
Publicado en: IEEE Control Systems Letters, Edición Vol. 5, no.3, 2021, Página(s) 755-760, ISSN 2475-1456
Editor: IEEE
DOI: 10.1109/lcsys.2020.3005326

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

Autores: Catalano Costanza, Azfar Umer, Charlier Ludovic, Jungers, Raphaël M.
Publicado en: Fundamenta Informaticae, Edición vol. 180, no. 4, 2021, Página(s) 289-314, ISSN 0169-2968
Editor: 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

Autores: Marco A. Gomez, Raphaël M. Jungers, Wim Michiels
Publicado en: IEEE Transactions on Automatic Control, Edición Vol. 67, no. 1, 2022, Página(s) 121-133, ISSN 0018-9286
Editor: 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

Autores: Sébastien M. Mattenet a, Vittorio De Iuliis b, Marco A. Gomez c, Wim Michiels d, Raphaël M. Jungers
Publicado en: Automatica, Edición Volume 144, 2022, Página(s) 110495, ISSN 0005-1098
Editor: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110495

Geometric control of hybrid systems

Autores: Benoît Legat; Raphaël M. Jungers
Publicado en: Nonlinear Analysis: Hybrid Systems, Edición Vol.47, 2023, Página(s) 101289, ISSN 1751-570X
Editor: Elsevier BV
DOI: 10.1016/j.nahs.2022.101289

Stabilization of rank-deficient continuous-time switched affine systems

Autores: Lucas N. Egidio; Grace S. Deaecto; Raphaël M. Jungers
Publicado en: Automatica, (2022), Edición Volume 143, 2022, Página(s) 110426, ISSN 0005-1098
Editor: Pergamon Press Ltd.
DOI: 10.48550/arxiv.2204.06912

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

Autores: Wang, Zheming; Jungers, Raphaël M.; Ong, Chong-Jin
Publicado en: Automatica, Vol. 147, p. 110686 (2023), Edición Vol. 147, 2023, Página(s) 110686, ISSN 0005-1098
Editor: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110686

Razumikhin and Krasovskii approaches for safe stabilization

Autores: Ren, Wei; Jungers, Raphael M.; Dimarogonas, Dimos V.
Publicado en: Automatica, Vol. 146, p. 110563 (2022), Edición 2, 2022, ISSN 0005-1098
Editor: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2022.110563

An Efficient Method to Verify the Inclusion of Ellipsoids

Autores: Julien Calbert, Lucas N. Egidio, Raphaël M. Jungers
Publicado en: arXiv, 2022
Editor: arXiv
DOI: 10.48550/arxiv.2211.06237

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

Autores: Matteo Della Rossa, Raphaël M. Jungers
Publicado en: arXiv, 2023, ISSN 2331-8422
Editor: arXiv
DOI: 10.48550/arxiv.2307.13543

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

Autores: Matteo Della Rossa, Lucas N. Egidio, Raphaël M. Jungers
Publicado en: arXiv, 2022
Editor: arXiv
DOI: 10.48550/arxiv.2203.06968

Computation of invariant sets for complex systems

Autores: Legat, Benoît, Jungers, Raphaël M.
Publicado en: Handbook of Numerical Analysis, 2023, ISSN 1570-8659
Editor: Elsevier
DOI: 10.1016/bs.hna.2022.12.001

Safety Guarantees for Hybrid Systems

Autores: Raphael M. Jungers, Nikolaos Athanasopoulos
Publicado en: Encyclopedia of Systems and Control, 2020, Página(s) 1-8, ISBN 978-1-4471-5102-9
Editor: 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

Publicaciones

Compartir esta página

Descargar