Daniel Ajeleye

According to our database, Daniel Ajeleye authored at least 4 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Co-Büchi Control Barrier Certificates for Stochastic Control Systems.

Daniel Ajeleye, Majid Zamani

IEEE Control. Syst. Lett., 2024

Data-Driven Controller Synthesis via Co-Büchi Barrier Certificates With Formal Guarantees.

Daniel Ajeleye, Majid Zamani

IEEE Control. Syst. Lett., 2024

Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach.

Daniel Ajeleye, Majid Zamani

CoRR, 2024

2023

Data-Driven Controller Synthesis via Finite Abstractions With Formal Guarantees.

Daniel Ajeleye, Abolfazl Lavaei, Majid Zamani

IEEE Control. Syst. Lett., 2023