Autor der Publikation

Safety Guarantees for the Electricity Grid with Significant Renewables Generation.

, , , und . QEST, Volume 11785 von Lecture Notes in Computer Science, Seite 332-349. Springer, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Data-Driven Abstractions for Verification of Linear Systems., , und . IEEE Control. Syst. Lett., (2023)Automated Formal Synthesis of Lyapunov Neural Networks., , , und . CoRR, (2020)Scenario Approach and Conformal Prediction for Verification of Unknown Systems via Data-Driven Abstractions., , , und . ECC, Seite 558-563. IEEE, (2024)A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks., , , , und . OVERLAY@GandALF, Volume 2987 von CEUR Workshop Proceedings, Seite 73-75. CEUR-WS.org, (2021)A new recursive least squares method with multiple forgetting schemes., , und . CDC, Seite 3367-3372. IEEE, (2015)Aggregation and Control of a Heterogeneous Population of Solar Panels Over the Grid Frequency., , , und . IEEE Trans. Control. Syst. Technol., 29 (4): 1420-1436 (2021)Systematic Synthesis of Passive Fault-Tolerant Augmented Neural Lyapunov Control Laws for Nonlinear Systems., , , , , , und . CDC, Seite 5851-5856. IEEE, (2023)Data-driven Interval MDP for Robust Control Synthesis., , , , und . CoRR, (2024)Aggregation of a heterogeneous population of solar panels: verification and control.. University of Oxford, UK, (2020)British Library, EThOS.FOSSIL: a software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks., , , , und . HSCC, Seite 24:1-24:11. ACM, (2021)