activity
20202026
most citedTaylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs

8 citations · 34 across the 14 of their papers we have counts for

collaborators
Showing eess.SYShow all

2 papers · 1 filter

eess.SY2023

Verifiable Reinforcement Learning Systems via Compositionality

Cyrus Neary, Aryaman Singh Samyal, Christos Verginis +2

We propose a framework for verifiable and compositional reinforcement learning (RL) in which a collection of RL subsystems, each of which learns to accomplish a separate subtask, a…

eess.SY2023★ 1 cited

Physics-Informed Kernel Embeddings: Integrating Prior System Knowledge with Data-Driven Control

Adam J. Thorpe, Cyrus Neary, Franck Djeumou +2

Data-driven control algorithms use observations of system dynamics to construct an implicit model for the purpose of control. However, in practice, data-driven techniques often req…