113 citations · 661 across the 50 of their papers we have counts for
52 papers
Data-Based Clustering and Control of Similar Biological Systems
Peilin Zhang, Antonis Papachristodoulou, Idris Kempf
Cybergenetic control of gene expression enables applications in synthetic biology, drug development, and biomanufacturing. Microfluidic platforms allow the parallel control of larg…
Model-Free Verification for Neural Network Controlled Systems
Han Wang, Zuxun Xiong, Liqun Zhao +1
Neural network controllers have shown potential in achieving superior performance in feedback control systems. Although a neural network can be trained efficiently using deep and r…
Stable and Safe Human-aligned Reinforcement Learning through Neural Ordinary Differential Equations
Liqun Zhao, Keyan Miao, Konstantinos Gatsis +1
Reinforcement learning (RL) excels in applications such as video games, but ensuring safety as well as the ability to achieve the specified goals remains challenging when using RL…
A contract negotiation scheme for safety verification of interconnected systems
Xiao Tan, Antonis Papachristodoulou, Dimos V. Dimarogonas
This paper proposes a (control) barrier function synthesis and safety verification scheme for interconnected nonlinear systems based on assume-guarantee contracts (AGC) and sum-of-…
Rational Neural Network Controllers
Matthew Newton, Antonis Papachristodoulou
Neural networks have shown great success in many machine learning related tasks, due to their ability to act as general function approximators. Recent work has demonstrated the eff…
Stable and Safe Reinforcement Learning via a Barrier-Lyapunov Actor-Critic Approach
Liqun Zhao, Konstantinos Gatsis, Antonis Papachristodoulou
Reinforcement learning (RL) has demonstrated impressive performance in various areas such as video games and robotics. However, ensuring safety and stability, which are two critica…