Login / Signup
Daniel Ajeleye
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Regression Model
Controller Synthesis
Closed Loop
Computer Systems
Top Venues
IEEE Control. Syst. Lett.
</>
Publications
</>
Daniel Ajeleye
,
Majid Zamani
Data-Driven Controller Synthesis via Co-Büchi Barrier Certificates With Formal Guarantees.
IEEE Control. Syst. Lett.
8 (2024)
Daniel Ajeleye
,
Abolfazl Lavaei
,
Majid Zamani
Data-Driven Controller Synthesis via Finite Abstractions With Formal Guarantees.
IEEE Control. Syst. Lett.
7 (2023)