Showing 50 publications by Antonis Papachristodoulou
A game theoretic approach for safe and distributed control of unmanned aerial vehicles
do Nascimento AA, Papachristodoulou A & Margellos K (2024), 2023 62nd IEEE Conference on Decision and Control (CDC), 1070-1075
BibTeX
@inproceedings{agametheoretica-2024/1,
title={A game theoretic approach for safe and distributed control of unmanned aerial vehicles},
author={do Nascimento AA, Papachristodoulou A & Margellos K},
booktitle={62nd IEEE Conference on Decision and Control (CDC 2023)},
pages={1070-1075},
year = "2024"
}
NLBAC: A Neural Ordinary Differential Equations-based Framework for Stable and Safe Reinforcement Learning
Zhao L, Miao K, Gatsis K & Papachristodoulou A (2024)
BibTeX
@misc{nlbacaneuralord-2024/1,
title={NLBAC: A Neural Ordinary Differential Equations-based Framework for Stable and Safe Reinforcement Learning},
author={Zhao L, Miao K, Gatsis K & Papachristodoulou A},
year = "2024"
}
Distributed control design and safety verification for multi-agent systems
Wang H, Papachristodoulou A & Margellos K (2024), 2023 62nd IEEE Conference on Decision and Control (CDC), 5481-5486
BibTeX
@inproceedings{distributedcont-2024/1,
title={Distributed control design and safety verification for multi-agent systems},
author={Wang H, Papachristodoulou A & Margellos K},
booktitle={62nd IEEE Conference on Decision and Control (CDC 2023)},
pages={5481-5486},
year = "2024"
}
NLBAC: A Neural Ordinary Differential Equations-based Framework for Stable and Safe Reinforcement Learning.
Zhao L, Miao K, Gatsis K & Papachristodoulou A (2024), CoRR, abs/2401.13148
BibTeX
@article{nlbacaneuralord-2024/,
title={NLBAC: A Neural Ordinary Differential Equations-based Framework for Stable and Safe Reinforcement Learning.},
author={Zhao L, Miao K, Gatsis K & Papachristodoulou A},
journal={CoRR},
volume={abs/2401.13148},
year = "2024"
}
Stable and Safe Reinforcement Learning via a Barrier-Lyapunov Actor-Critic Approach
Zhao L, Gatsis K & Papachristodoulou A (2023), 00, 1320-1325
BibTeX
@inproceedings{stableandsafere-2023/12,
title={Stable and Safe Reinforcement Learning via a Barrier-Lyapunov Actor-Critic Approach},
author={Zhao L, Gatsis K & Papachristodoulou A},
booktitle={2023 62nd IEEE Conference on Decision and Control (CDC)},
pages={1320-1325},
year = "2023"
}
Distributed safety verification for multi-agent systems
Wang H, Papachristodoulou A & Margellos K (2023), 2023 62nd IEEE Conference on Decision and Control (CDC), 5481-5486
BibTeX
@inproceedings{distributedsafe-2023/12,
title={Distributed safety verification for multi-agent systems},
author={Wang H, Papachristodoulou A & Margellos K},
booktitle={62nd IEEE Conference on Decision and Control (CDC 2023)},
pages={5481-5486},
year = "2023"
}
Model-Free Verification for Neural Network Controlled Systems
Wang H, Xiong Z, Zhao L & Papachristodoulou A (2023)
BibTeX
@misc{modelfreeverifi-2023/12,
title={Model-Free Verification for Neural Network Controlled Systems},
author={Wang H, Xiong Z, Zhao L & Papachristodoulou A},
year = "2023"
}
Sparse polynomial optimisation for neural network verification
Newton M & Papachristodoulou A (2023), Automatica, 157
BibTeX
@article{sparsepolynomia-2023/11,
title={Sparse polynomial optimisation for neural network verification},
author={Newton M & Papachristodoulou A},
journal={Automatica},
volume={157},
year = "2023"
}
Sparse polynomial optimisation for neural network verification.
Newton M & Papachristodoulou A (2023), Autom., 157, 111233-111233
BibTeX
@article{sparsepolynomia-2023/11,
title={Sparse polynomial optimisation for neural network verification.},
author={Newton M & Papachristodoulou A},
journal={Autom.},
volume={157},
pages={111233-111233},
year = "2023"
}
A contract negotiation scheme for safety verification of interconnected systems
Tan X, Papachristodoulou A & Dimarogonas DV (2023)
BibTeX
@misc{acontractnegoti-2023/11,
title={A contract negotiation scheme for safety verification of interconnected systems},
author={Tan X, Papachristodoulou A & Dimarogonas DV},
year = "2023"
}
Regulation strategies for two-output biomolecular networks.
Alexis E, Schulte CCM, Cardelli L & Papachristodoulou A (2023), J R Soc Interface, 20(205), 20230174
BibTeX
@article{regulationstrat-2023/8,
title={Regulation strategies for two-output biomolecular networks.},
author={Alexis E, Schulte CCM, Cardelli L & Papachristodoulou A},
journal={J R Soc Interface},
volume={20},
pages={20230174},
year = "2023"
}
Regulation strategies for two-output biomolecular networks.
Alexis E, Schulte CCM, Cardelli L & Papachristodoulou A (2023), Journal of the Royal Society, Interface, 20(205), 20230174
BibTeX
@article{regulationstrat-2023/8,
title={Regulation strategies for two-output biomolecular networks.},
author={Alexis E, Schulte CCM, Cardelli L & Papachristodoulou A},
journal={Journal of the Royal Society, Interface},
volume={20},
pages={20230174},
year = "2023"
}
Rational Neural Network Controllers
Newton M & Papachristodoulou A (2023)
BibTeX
@misc{rationalneuraln-2023/7,
title={Rational Neural Network Controllers},
author={Newton M & Papachristodoulou A},
year = "2023"
}
Stable and Safe Reinforcement Learning via a Barrier-Lyapunov Actor-Critic Approach
Zhao L, Gatsis K & Papachristodoulou A (2023)
BibTeX
@misc{stableandsafere-2023/4,
title={Stable and Safe Reinforcement Learning via a Barrier-Lyapunov Actor-Critic Approach},
author={Zhao L, Gatsis K & Papachristodoulou A},
year = "2023"
}
Deciphering mechanisms of production of natural compounds using inducer-producer microbial consortia.
Gasparek M, Steel H & Papachristodoulou A (2023), Biotechnol Adv, 108117
BibTeX
@article{decipheringmech-2023/2,
title={Deciphering mechanisms of production of natural compounds using inducer-producer microbial consortia.},
author={Gasparek M, Steel H & Papachristodoulou A},
journal={Biotechnol Adv},
pages={108117},
year = "2023"
}
On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints
Romao L, Papachristodoulou A & Margellos K (2023), IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 68(4), 1986-2001
BibTeX
@article{ontheexactfeasi-2023/,
title={On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints},
author={Romao L, Papachristodoulou A & Margellos K},
journal={IEEE TRANSACTIONS ON AUTOMATIC CONTROL},
volume={68},
pages={1986-2001},
year = "2023"
}
Assessing Safety for Control Systems Using Sum-of-Squares Programming
Wang H, Margellos K & Papachristodoulou A (2023), 206, 207-234
BibTeX
@misc{assessingsafety-2023/,
title={Assessing Safety for Control Systems Using Sum-of-Squares Programming},
author={Wang H, Margellos K & Papachristodoulou A},
year = "2023"
}
Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming
Wang H, Margellos K & Papachristodoulou A (2022)
BibTeX
@misc{safecontrolledi-2022/7,
title={Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming},
author={Wang H, Margellos K & Papachristodoulou A},
year = "2022"
}
A Time-Triggered Dimension Reduction Algorithm for the Task Assignment Problem
Wang H, Margellos K & Papachristodoulou A (2022), European Journal of Control, 100692-100692
BibTeX
@article{atimetriggeredd-2022/6,
title={A Time-Triggered Dimension Reduction Algorithm for the Task Assignment Problem},
author={Wang H, Margellos K & Papachristodoulou A},
journal={European Journal of Control},
number={100692},
pages={100692-100692},
publisher={Elsevier BV},
year = "2022"
}
Feedback Control Design using Sum of Squares Optimisation
August E & Papachristodoulou A (2022), European Journal of Control, 100683-100683
BibTeX
@article{feedbackcontrol-2022/6,
title={Feedback Control Design using Sum of Squares Optimisation},
author={August E & Papachristodoulou A},
journal={European Journal of Control},
number={100683},
pages={100683-100683},
publisher={Elsevier BV},
year = "2022"
}
Dichotomous feedback: a signal sequestration-based feedback mechanism for biocontroller design.
Sootla A, Delalez N, Alexis E, Norman A, Steel H et al. (2022), Journal of the Royal Society, Interface, 19(189), 20210737
BibTeX
@article{dichotomousfeed-2022/4,
title={Dichotomous feedback: a signal sequestration-based feedback mechanism for biocontroller design.},
author={Sootla A, Delalez N, Alexis E, Norman A, Steel H et al.},
journal={Journal of the Royal Society, Interface},
volume={19},
pages={20210737},
year = "2022"
}
On the exact feasibility of convex scenario programs with discarded constraints
Romao L, Papachristodoulou A & Margellos K (2022), IEEE Transactions on Automatic Control
BibTeX
@article{ontheexactfeasi-2022/4,
title={On the exact feasibility of convex scenario programs with discarded constraints},
author={Romao L, Papachristodoulou A & Margellos K},
journal={IEEE Transactions on Automatic Control},
publisher={Institute of Electrical and Electronics Engineers},
year = "2022"
}
Safety-Aware Optimal Control for Motion Planning with Low Computing Complexity
Ding X, Wang H, He J, Chen C, Margellos K et al. (2022)
BibTeX
@misc{safetyawareopti-2022/4,
title={Safety-Aware Optimal Control for Motion Planning with Low Computing Complexity},
author={Ding X, Wang H, He J, Chen C, Margellos K et al.},
year = "2022"
}
Safety Verification and Controller Synthesis for Systems with Input Constraints
Wang H, Margellos K & Papachristodoulou A (2022)
BibTeX
@misc{safetyverificat-2022/4,
title={Safety Verification and Controller Synthesis for Systems with Input Constraints},
author={Wang H, Margellos K & Papachristodoulou A},
year = "2022"
}
Explicit Solutions for Safety Problems Using Control Barrier Functions
Wang H, Margellos K & Papachristodoulou A (2022)
BibTeX
@misc{explicitsolutio-2022/4,
title={Explicit Solutions for Safety Problems Using Control Barrier Functions},
author={Wang H, Margellos K & Papachristodoulou A},
year = "2022"
}
Stability of Non-linear Neural Feedback Loops using Sum of Squares
Newton M & Papachristodoulou A (2022)
BibTeX
@misc{stabilityofnonl-2022/4,
title={Stability of Non-linear Neural Feedback Loops using Sum of Squares},
author={Newton M & Papachristodoulou A},
year = "2022"
}
Reprogramming Synthetic Cells for Targeted Cancer Therapy.
Lim B, Yin Y, Ye H, Cui Z, Papachristodoulou A et al. (2022), ACS synthetic biology
BibTeX
@article{reprogrammingsy-2022/3,
title={Reprogramming Synthetic Cells for Targeted Cancer Therapy.},
author={Lim B, Yin Y, Ye H, Cui Z, Papachristodoulou A et al.},
journal={ACS synthetic biology},
year = "2022"
}
Decomposed structured subsets for semidefinite and sum-of-squares optimization
Miller J, Zheng Y, Sznaier M & Papachristodoulou A (2022), Automatica, 137
BibTeX
@article{decomposedstruc-2022/3,
title={Decomposed structured subsets for semidefinite and sum-of-squares optimization},
author={Miller J, Zheng Y, Sznaier M & Papachristodoulou A},
journal={Automatica},
volume={137},
year = "2022"
}
Genome-Scale Metabolic Modelling of Lifestyle Changes in Rhizobium leguminosarum.
Schulte CCM, Ramachandran VK, Papachristodoulou A & Poole PS (2022), mSystems, 7(1), e0097521
BibTeX
@article{genomescalemeta-2022/2,
title={Genome-Scale Metabolic Modelling of Lifestyle Changes in Rhizobium leguminosarum.},
author={Schulte CCM, Ramachandran VK, Papachristodoulou A & Poole PS},
journal={mSystems},
volume={7},
pages={e0097521},
year = "2022"
}
Sparse Polynomial Optimisation for Neural Network Verification
Newton M & Papachristodoulou A (2022)
BibTeX
@misc{sparsepolynomia-2022/2,
title={Sparse Polynomial Optimisation for Neural Network Verification},
author={Newton M & Papachristodoulou A},
year = "2022"
}
Reachability Analysis of Neural Feedback Loops using Sparse Polynomial Optimisation
Newton M & Papachristodoulou A (2022), Proceedings of the IEEE Conference on Decision and Control, 2022-December, 2745-2750
BibTeX
@inproceedings{reachabilityana-2022/1,
title={Reachability Analysis of Neural Feedback Loops using Sparse Polynomial Optimisation},
author={Newton M & Papachristodoulou A},
pages={2745-2750},
year = "2022"
}
Stability of Non-linear Neural Feedback Loops using Sum of Squares
Newton M & Papachristodoulou A (2022), Proceedings of the IEEE Conference on Decision and Control, 2022-December, 6000-6005
BibTeX
@inproceedings{stabilityofnonl-2022/1,
title={Stability of Non-linear Neural Feedback Loops using Sum of Squares},
author={Newton M & Papachristodoulou A},
pages={6000-6005},
year = "2022"
}
Decomposed structured subsets for semidefinite and sum-of-squares optimization
Miller J, Zheng Y, Sznaier M & Papachristodoulou A (2022), Automatica, 137
BibTeX
@article{decomposedstruc-2022/1,
title={Decomposed structured subsets for semidefinite and sum-of-squares optimization},
author={Miller J, Zheng Y, Sznaier M & Papachristodoulou A},
journal={Automatica},
volume={137},
number={110125},
publisher={Elsevier},
year = "2022"
}
On the Design of a PID Bio-controller with Set Point Weighting and Filtered Derivative Action
Alexis E, Cardelli L & Papachristodoulou A (2022), IEEE Control Systems Letters, 1-1
BibTeX
@article{onthedesignofap-2022/,
title={On the Design of a PID Bio-controller with Set Point Weighting and Filtered Derivative Action},
author={Alexis E, Cardelli L & Papachristodoulou A},
journal={IEEE Control Systems Letters},
pages={1-1},
publisher={Institute of Electrical and Electronics Engineers (IEEE)},
year = "2022"
}
Stability of Non-linear Neural Feedback Loops using Sum of Squares.
Newton M & Papachristodoulou A (2022), CoRR, abs/2204.03913
BibTeX
@article{stabilityofnonl-2022/,
title={Stability of Non-linear Neural Feedback Loops using Sum of Squares.},
author={Newton M & Papachristodoulou A},
journal={CoRR},
volume={abs/2204.03913},
year = "2022"
}
Biomolecular mechanisms for signal differentiation
Alexis E, Schulte C, Cardelli L & Papachristodoulou A (2021), iScience, 24(12)
BibTeX
@article{biomolecularmec-2021/12,
title={Biomolecular mechanisms for signal differentiation},
author={Alexis E, Schulte C, Cardelli L & Papachristodoulou A},
journal={iScience},
volume={24},
number={103462},
publisher={Cell Press},
year = "2021"
}
Metabolic control of nitrogen fixation in rhizobium-legume symbioses
Schulte C, Borah K, Wheatley R, Terpolilli J, Saalbach G et al. (2021), Science Advances, 7(31)
BibTeX
@article{metaboliccontro-2021/7,
title={Metabolic control of nitrogen fixation in rhizobium-legume symbioses},
author={Schulte C, Borah K, Wheatley R, Terpolilli J, Saalbach G et al.},
journal={Science Advances},
volume={7},
number={eabh2433},
publisher={American Association for the Advancement of Science},
year = "2021"
}
State-feedback design for nonlinear saturating systems
Valmorbida G & Papachristodoulou A (2021), IEEE Transactions on Automatic Control
BibTeX
@article{statefeedbackde-2021/7,
title={State-feedback design for nonlinear saturating systems},
author={Valmorbida G & Papachristodoulou A},
journal={IEEE Transactions on Automatic Control},
publisher={Institute of Electrical and Electronics Engineers},
year = "2021"
}
Subgradient averaging for multi-agent optimization with different constraint sets
Ribeiro Rodrigues Romão LB, Margellos K & Papachristodoulou A (2021), Automatica, 131
BibTeX
@article{subgradientaver-2021/6,
title={Subgradient averaging for multi-agent optimization with different constraint sets},
author={Ribeiro Rodrigues Romão LB, Margellos K & Papachristodoulou A},
journal={Automatica},
volume={131},
number={109738},
publisher={Elsevier},
year = "2021"
}
Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples
Romao L, Margellos K & Papachristodoulou A (2021)
BibTeX
@inproceedings{tightsamplingan-2021/5,
title={Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples},
author={Romao L, Margellos K & Papachristodoulou A},
booktitle={3rd Annual Learning for Dynamics & Control Conference (L4DC)},
year = "2021"
}
Multiple sensors provide spatiotemporal oxygen regulation of gene expression in a Rhizobium-legume symbiosis
Rutten PJ, Steel H, Hood GA, Ramachandran V, McMurtry L et al. (2021), PLoS Genetics, 17(2)
BibTeX
@article{multiplesensors-2021/2,
title={Multiple sensors provide spatiotemporal oxygen regulation of gene expression in a Rhizobium-legume symbiosis},
author={Rutten PJ, Steel H, Hood GA, Ramachandran V, McMurtry L et al.},
journal={PLoS Genetics},
volume={17},
number={e1009099},
publisher={Public Library of Science},
year = "2021"
}
Control Reconfiguration of Dynamical Systems for Improved Performance via Reverse- and Forward-engineering
Shu H, Zhang X, Li N & Papachristodoulou A (2021), IEEE Transactions on Automatic Control
BibTeX
@article{controlreconfig-2021/1,
title={Control Reconfiguration of Dynamical Systems for Improved Performance via Reverse- and Forward-engineering},
author={Shu H, Zhang X, Li N & Papachristodoulou A},
journal={IEEE Transactions on Automatic Control},
year = "2021"
}
Tight generalization guarantees for the sampling and discarding approach to scenario optimization
Romao L, Margellos K & Papachristodoulou A (2021)
BibTeX
@inproceedings{tightgeneraliza-2021/1,
title={Tight generalization guarantees for the sampling and discarding approach to scenario optimization},
author={Romao L, Margellos K & Papachristodoulou A},
booktitle={59th IEEE Conference on Decision and Control (CDC 2020)},
year = "2021"
}
Neural Network Verification using Polynomial Optimisation
Newton M & Papachristodoulou A (2021), Proceedings of the IEEE Conference on Decision and Control, 2021-December, 5092-5097
BibTeX
@inproceedings{neuralnetworkve-2021/1,
title={Neural Network Verification using Polynomial Optimisation},
author={Newton M & Papachristodoulou A},
pages={5092-5097},
year = "2021"
}
Chordal and factor-width decompositions for scalable semidefinite and polynomial optimization
Zheng Y, Fantuzzi G & Papachristodoulou A (2021), ANNUAL REVIEWS IN CONTROL, 52, 243-279
BibTeX
@article{chordalandfacto-2021/,
title={Chordal and factor-width decompositions for scalable semidefinite and polynomial optimization},
author={Zheng Y, Fantuzzi G & Papachristodoulou A},
journal={ANNUAL REVIEWS IN CONTROL},
volume={52},
pages={243-279},
year = "2021"
}
Exploiting Sparsity for Neural Network Verification.
Newton M & Papachristodoulou A (2021), L4DC, 144, 715-727
BibTeX
@inproceedings{exploitingspars-2021/,
title={Exploiting Sparsity for Neural Network Verification.},
author={Newton M & Papachristodoulou A},
pages={715-727},
year = "2021"
}
Sparsity Invariance for Convex Design of Distributed Controllers
Furieri L, Zheng Y, Papachristodoulou A & Kamgarpour M (2020), IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 7(4), 1836-1847
BibTeX
@article{sparsityinvaria-2020/12,
title={Sparsity Invariance for Convex Design of Distributed Controllers},
author={Furieri L, Zheng Y, Papachristodoulou A & Kamgarpour M},
journal={IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS},
volume={7},
pages={1836-1847},
year = "2020"
}
Network Lyapunov Functions for Epidemic Models
Newton M & Papachristodoulou A (2020), Proceedings of the IEEE Conference on Decision and Control, 2020-December, 1798-1803
BibTeX
@inproceedings{networklyapunov-2020/12,
title={Network Lyapunov Functions for Epidemic Models},
author={Newton M & Papachristodoulou A},
pages={1798-1803},
year = "2020"
}
A multi-sensor system provides spatiotemporal oxygen regulation of gene expression in a <i>Rhizobium</i>-legume symbiosis
Rutten P, Steel H, Hood G, McMurtry L, Geddes B et al. (2020)
BibTeX
@misc{amultisensorsys-2020/9,
title={A multi-sensor system provides spatiotemporal oxygen regulation of gene expression in a <i>Rhizobium</i>-legume symbiosis},
author={Rutten P, Steel H, Hood G, McMurtry L, Geddes B et al.},
year = "2020"
}
Convergence rate analysis of a subgradient averaging algorithm for distributed optimisation with different constraint sets
Romao L, Margellos K, Notarstefano G & Papachristodoulou A (2020), 2019 IEEE 58th Conference on Decision and Control (CDC), 7448-7453
BibTeX
@inproceedings{convergencerate-2020/3,
title={Convergence rate analysis of a subgradient averaging algorithm for distributed optimisation with different constraint sets},
author={Romao L, Margellos K, Notarstefano G & Papachristodoulou A},
booktitle={ 2019 IEEE 58th Conference on Decision and Control (CDC)},
pages={7448-7453},
year = "2020"
}