Antonis Papachristodoulou
University of Oxford
H-index: 53
Europe-United Kingdom
Top articles of Antonis Papachristodoulou
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints | arXiv preprint arXiv:2403.11763 | Han Wang Kostas Margellos Antonis Papachristodoulou Claudio De Persis | 2024/3/18 |
NLBAC: A Neural Ordinary Differential Equations-based Framework for Stable and Safe Reinforcement Learning | arXiv preprint arXiv:2401.13148 | Liqun Zhao Keyan Miao Konstantinos Gatsis Antonis Papachristodoulou | 2024/1/23 |
AC-BioSD: A biomolecular signal differentiator module with enhanced performance | bioRxiv | Emmanouil Alexis Jose L Avalos Luca Cardelli Antonis Papachristodoulou | 2024 |
Deciphering mechanisms of production of natural compounds using inducer-producer microbial consortia | Miroslav Gasparek Harrison Steel Antonis Papachristodoulou | 2023/5/1 | |
A contract negotiation scheme for safety verification of interconnected systems | arXiv preprint arXiv:2311.03164 | Xiao Tan Antonis Papachristodoulou Dimos V Dimarogonas | 2023/11/6 |
Assessing Safety for Control Systems Using Sum-of-Squares Programming | Han Wang Kostas Margellos Antonis Papachristodoulou | 2023/12/28 | |
A barrier-lyapunov actor-critic reinforcement learning approach for safe and stable control | arXiv preprint arXiv:2304.04066 | Liqun Zhao Konstantinos Gatsis Antonis Papachristodoulou | 2023/4/8 |
Sparse polynomial optimisation for neural network verification | Automatica | Matthew Newton Antonis Papachristodoulou | 2023/11/1 |
Stable and Safe Reinforcement Learning via a Barrier-Lyapunov Actor-Critic Approach | Liqun Zhao Konstantinos Gatsis Antonis Papachristodoulou | 2023/12/13 | |
Distributed control design and safety verification for multi-agent systems | arXiv preprint arXiv:2303.12610 | Han Wang Antonis Papachristodoulou Kostas Margellos | 2023/3/22 |
Regulation strategies for two-output biomolecular networks | Journal of the Royal Society Interface | Emmanouil Alexis Carolin CM Schulte Luca Cardelli Antonis Papachristodoulou | 2023/8/2 |
Model-Free Verification for Neural Network Controlled Systems | arXiv preprint arXiv:2312.08293 | Han Wang Zuxun Xiong Liqun Zhao Antonis Papachristodoulou | 2023/12/13 |
Probabilistic feasibility guarantees for convex scenario programs with an arbitrary number of discarded constraints | Automatica | Licio Romao Kostas Margellos Antonis Papachristodoulou | 2023/3/1 |
Rational Neural Network Controllers | arXiv preprint arXiv:2307.06287 | Matthew Newton Antonis Papachristodoulou | 2023/7/12 |
Distributed safety verification for multi-agent systems | Han Wang Antonis Papachristodoulou Kostas Margellos | 2023/12/13 | |
Safety verification and controller synthesis for systems with input constraints | IFAC-PapersOnLine | Han Wang Kostas Margellos Antonis Papachristodoulou | 2023/1/1 |
Control for societal-scale challenges: Road map 2030 | Andrew Alleyne Frank Allgöwer Aaron Ames Saurabh Amin James Anderson | 2023/5 | |
A game theoretic approach for safe and distributed control of unmanned aerial vehicles | Allan Andre do Nascimento Antonis Papachristodoulou Kostas Margellos | 2023/12/13 | |
Reprogramming synthetic cells for targeted cancer therapy | ACS Synthetic Biology | Boon Lim Yutong Yin Hua Ye Zhanfeng Cui Antonis Papachristodoulou | 2022/3/8 |
On the design of a PID bio-controller with set point weighting and filtered derivative action | IEEE Control Systems Letters | Emmanouil Alexis Luca Cardelli Antonis Papachristodoulou | 2022/6/14 |