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

Publications

Conference proceedings (9)

Data-driven stability analysis of switched affine systems

Author(s): Matteo Della Rossa, Zheming Wang, Lucas N. Egidio, Raphael M. Jungers
Published in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Page(s) 3204-3209
Publisher: IEEE
DOI: 10.1109/cdc45484.2021.9682823

Zonotope-based Controller Synthesis for LTL Specifications

Author(s): W. Ren, J. Calbert, R. M. Jungers
Published in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Page(s) 580-585, ISBN 978-1-6654-3659-5
Publisher: IEEE
DOI: 10.1109/cdc45484.2021.9683150

Event-Triggered Tracking Control of Networked and Quantized Control Systems

Author(s): W. Ren, D. V. Dimarogonas, R. M. Jungers
Published in: 2021 European Control Conference (ECC), 2021, Page(s) 632-637, ISBN 978-9-4638-4236-5
Publisher: IEEE
DOI: 10.23919/ecc54610.2021.9654945

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

Author(s): W. Ren
Published in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Page(s) 5471-5476, ISBN 978-1-6654-3660-1
Publisher: IEEE
DOI: 10.1109/cdc45484.2021.9682928

Data-driven feedback stabilization of switched linear systems with probabilistic stability guarantees

Author(s): Zheming Wang, Guillaume O. Berger, Raphaël M. Jungers
Published in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Page(s) 4400-4405
Publisher: IEEE
DOI: 10.1109/cdc45484.2021.9683233

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

Author(s): Berger, Guillaume O.- Jungers, Raphaël M.- Wang, Zheming
Published in: Proceedings of Machine Learning Research, 144, 2021, Page(s) 571-583
Publisher: XX
DOI: 10.48550/arxiv.2101.01415

Alternating simulation on hierarchical abstractions

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

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

Author(s): Z. Wang, R. M. Jungers
Published in: 2021 European Control Conference (ECC), 2021, Page(s) 1099-1104
Publisher: IEEE
DOI: 10.23919/ecc54610.2021.9655233

Alternating Simulation on Hierarchical Abstractions

Author(s): Julien Calbert, Benoît Legat, Lucas N. Egidio, Raphael Jungers
Published in: 2021 60th IEEE Conference on Decision and Control (CDC), 2021, Page(s) 593-598
Publisher: IEEE
DOI: 10.1109/cdc45484.2021.9683448

Peer reviewed articles (5)

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

Author(s): Zheming Wang, Raphaël M. Jungers
Published in: IEEE Control Systems Letters, Volume 5, issue 5, 2021, Page(s) 1843-1848, ISSN 2475-1456
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/lcsys.2020.3044838

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

Author(s): Z. Wang, R. M. Jungers
Published in: IEEE Control Systems Letters, Volume 5, issue 1, 2021, Page(s) 193-198, ISSN 2475-1456
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
DOI: 10.1109/lcsys.2020.3001882

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

Author(s): Anne Rubbens, Zheming Wang, Raphael M. Jungers
Published in: IFAC-PapersOnLine, volume 54, issue 5, 2021, Page(s) 62-72, ISSN 2405-8963
Publisher: Elsevier BV
DOI: 10.1016/j.ifacol.2021.08.476

Computation of the maximal invariant set of discrete-time linear systems subject to a class of non-convex constraints

Author(s): Z. Wang, R. M. Jungers, C. J. Ong
Published in: Automatica, Volume 125, 2021, Page(s) 109463, ISSN 0005-1098
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.automatica.2020.109463

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

Author(s): V. Debauche, M. Della Rossa, R. M. Jungers
Published in: IFAC-PapersOnLine, Volume 54, issue 5, 2021, Page(s) 151-156, ISSN 2405-8963
Publisher: Elsevier BV
DOI: 10.1016/j.ifacol.2021.08.490