Showing 50 publications by Antonis Papachristodoulou
A contract negotiation scheme for safety verification of interconnected systems
Tan X, Papachristodoulou A & Dimarogonas DV (2024), European Journal of Control, abs/2311.03164, 101053-101053
BibTeX
@article{acontractnegoti-2024/6,
title={A contract negotiation scheme for safety verification of interconnected systems},
author={Tan X, Papachristodoulou A & Dimarogonas DV},
journal={European Journal of Control},
volume={abs/2311.03164},
number={101053},
pages={101053-101053},
publisher={Elsevier BV},
year = "2024"
}
AC-BioSD: a biomolecular signal differentiator module with enhanced performance
Alexis E, Avalos JL, Cardelli L & Papachristodoulou A (2024), IEEE Control Systems Letters, 8, 514-519
BibTeX
@article{acbiosdabiomole-2024/4,
title={AC-BioSD: a biomolecular signal differentiator module with enhanced performance},
author={Alexis E, Avalos JL, Cardelli L & Papachristodoulou A},
journal={IEEE Control Systems Letters},
volume={8},
pages={514-519},
publisher={IEEE},
year = "2024"
}
Relaxed Compatibility Between Control Barrier and Lyapunov Functions
Wang H, Margellos K & Papachristodoulou A (2024), 00, 125-126
BibTeX
@inproceedings{relaxedcompatib-2024/4,
title={Relaxed Compatibility Between Control Barrier and Lyapunov Functions},
author={Wang H, Margellos K & Papachristodoulou A},
booktitle={2024 UKACC 14th International Conference on Control (CONTROL)},
pages={125-126},
year = "2024"
}
Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints
Wang H, Margellos K, Papachristodoulou A & De Persis C (2024)
BibTeX
@misc{convexcodesigno-2024/3,
title={Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints},
author={Wang H, Margellos K, Papachristodoulou A & De Persis C},
year = "2024"
}
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"
}
Stable and Safe Human-aligned Reinforcement Learning through Neural Ordinary Differential Equations
Zhao L, Miao K, Gatsis K & Papachristodoulou A (2024)
BibTeX
@misc{stableandsafehu-2024/1,
title={Stable and Safe Human-aligned Reinforcement Learning through Neural Ordinary Differential Equations},
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"
}
AC-BioSD : A biomolecular signal differentiator module with enhanced performance (extended version)
Alexis E, Avalos J, Cardelli L & Papachristodoulou A (2024)
BibTeX
@misc{acbiosdabiomole-2024/,
title={AC-BioSD : A biomolecular signal differentiator module with enhanced performance (extended version)},
author={Alexis E, Avalos J, Cardelli L & Papachristodoulou A},
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"
}
Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints.
Wang H, Margellos K, Papachristodoulou A & Persis CD (2024), CoRR, abs/2403.11763
BibTeX
@article{convexcodesigno-2024/,
title={Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints.},
author={Wang H, Margellos K, Papachristodoulou A & Persis CD},
journal={CoRR},
volume={abs/2403.11763},
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"
}
Safety verification and controller synthesis for systems with input constraints
Wang H, Margellos K & Papachristodoulou A (2023), IFAC-PapersOnLine, 56(2), 1698-1703
BibTeX
@inproceedings{safetyverificat-2023/11,
title={Safety verification and controller synthesis for systems with input constraints},
author={Wang H, Margellos K & Papachristodoulou A},
booktitle={IFAC World Congress 2023},
pages={1698-1703},
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), Journal of the Royal Society Interface, 20(205)
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},
number={20230174},
publisher={Royal Society},
year = "2023"
}
Sparse polynomial optimisation for neural network verification
Newton M & Papachristodoulou A (2023), Automatica, 157
BibTeX
@article{sparsepolynomia-2023/8,
title={Sparse polynomial optimisation for neural network verification},
author={Newton M & Papachristodoulou A},
journal={Automatica},
volume={157},
number={111233},
publisher={Elsevier},
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"
}
Distributed Safe Control Design and Safety Verification for Multi-Agent Systems
Wang H, Papachristodoulou A & Margellos K (2023)
BibTeX
@misc{distributedsafe-2023/3,
title={Distributed Safe Control Design and Safety Verification for Multi-Agent Systems},
author={Wang H, Papachristodoulou A & Margellos K},
year = "2023"
}
Deciphering mechanisms of production of natural compounds using inducer-producer microbial consortia
Gasparek M, Steel H & Papachristodoulou A (2023), Biotechnol Advances, 64
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 Advances},
volume={64},
number={108117},
publisher={Elsevier},
year = "2023"
}
Explicit solutions for safety problems using control barrier functions
Wang H, Margellos K & Papachristodoulou A (2023), Proceedings of the 61st IEEE Conference on Decision and Control (CDC 2022), 5680-5685
BibTeX
@inproceedings{explicitsolutio-2023/1,
title={Explicit solutions for safety problems using control barrier functions},
author={Wang H, Margellos K & Papachristodoulou A},
booktitle={61st IEEE Conference on Decision and Control (CDC 2022)},
pages={5680-5685},
year = "2023"
}
Probabilistic feasibility guarantees for convex scenario programs with an arbitrary number of discarded constraints
Romao L, Margellos K & Papachristodoulou A (2023), Automatica, 149
BibTeX
@article{probabilisticfe-2023/1,
title={Probabilistic feasibility guarantees for convex scenario programs with an arbitrary number of discarded constraints},
author={Romao L, Margellos K & Papachristodoulou A},
journal={Automatica},
volume={149},
number={110601},
publisher={Elsevier},
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"
}
A Barrier-Lyapunov Actor-Critic Reinforcement Learning Approach for Safe and Stable Control.
Zhao L, Gatsis K & Papachristodoulou A (2023), CoRR, abs/2304.04066
BibTeX
@article{abarrierlyapuno-2023/,
title={A Barrier-Lyapunov Actor-Critic Reinforcement Learning Approach for Safe and Stable Control.},
author={Zhao L, Gatsis K & Papachristodoulou A},
journal={CoRR},
volume={abs/2304.04066},
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"
}
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, 6, 3134-3139
BibTeX
@article{onthedesignofap-2022/6,
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},
volume={6},
pages={3134-3139},
publisher={Institute of Electrical and Electronics Engineers},
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, 68
BibTeX
@article{feedbackcontrol-2022/6,
title={Feedback control design using sum of squares optimisation},
author={August E & Papachristodoulou A},
journal={European Journal of Control},
volume={68},
number={100683},
publisher={Elsevier},
year = "2022"
}
A time-triggered dimension reduction algorithm for the task assignment problem
Wang H, Margellos K & Papachristodoulou A (2022), European Journal of Control, 68
BibTeX
@inproceedings{atimetriggeredd-2022/6,
title={A time-triggered dimension reduction algorithm for the task assignment problem},
author={Wang H, Margellos K & Papachristodoulou A},
booktitle={European Control Conference 2022},
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},
number={ARTN 20210737},
pages={20210737},
publisher={The Royal Society},
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, 68(4), 1986-2001
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},
volume={68},
pages={1986-2001},
publisher={Institute of Electrical and Electronics Engineers},
year = "2022"
}
Dichotomous feedback: a signal sequestration-based feedback mechanism for biocontroller design
Papachristodoulou A (2022), Journal of the Royal Society Interface, 19(189)
BibTeX
@article{dichotomousfeed-2022/4,
title={Dichotomous feedback: a signal sequestration-based feedback mechanism for biocontroller design},
author={Papachristodoulou A},
journal={Journal of the Royal Society Interface},
volume={19},
number={20210737},
publisher={Royal Society},
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"
}
Control reconfiguration of dynamical systems for improved performance via reverse- and forward-engineering
Shu H, Zhang X, Li N & Papachristodoulou A (2022), IEEE Transactions on Automatic Control, 67(3), 1490-1497
BibTeX
@article{controlreconfig-2022/3,
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},
volume={67},
pages={1490-1497},
publisher={Institute of Electrical and Electronics Engineers},
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, 11(3), 1349-1360
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},
volume={11},
pages={1349-1360},
publisher={American Chemical Society (ACS)},
year = "2022"
}
Block factor-width-two matrices and their applications to semidefinite and sum-of-squares optimization
Zheng Y, Sootla A & Papachristodoulou A (2022), IEEE Transactions on Automatic Control, 68(2), 943-958
BibTeX
@article{blockfactorwidt-2022/2,
title={Block factor-width-two matrices and their applications to semidefinite and sum-of-squares optimization},
author={Zheng Y, Sootla A & Papachristodoulou A},
journal={IEEE Transactions on Automatic Control},
volume={68},
pages={943-958},
publisher={IEEE},
year = "2022"
}
Neural network verification using polynomial optimisation
Newton M & Papachristodoulou A (2022), Proceedings of the IEEE Conference on Decision and Control, 5092-5097
BibTeX
@inproceedings{neuralnetworkve-2022/2,
title={Neural network verification using polynomial optimisation},
author={Newton M & Papachristodoulou A},
booktitle={60th IEEE Conference on Decision and Control (CDC 2021)},
pages={5092-5097},
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"
}
Genome-scale metabolic modelling of lifestyle changes in Rhizobium leguminosarum
Schulte CCM, Ramachandran VK, Papachristodoulou A & Poole PS (2022), mSystems, 7(1)
BibTeX
@article{genomescalemeta-2022/1,
title={Genome-scale metabolic modelling of lifestyle changes in Rhizobium leguminosarum},
author={Schulte CCM, Ramachandran VK, Papachristodoulou A & Poole PS},
journal={mSystems},
volume={7},
number={e00975-21},
publisher={American Society for Microbiology},
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"
}
Reachability analysis of neural feedback loops using sparse polynomial optimisation
Newton M & Papachristodoulou A (2022), Proceedings of 2022 IEEE 61st Conference on Decision and Control (CDC), 2745-2750
BibTeX
@inproceedings{reachabilityana-2022/1,
title={Reachability analysis of neural feedback loops using sparse polynomial optimisation},
author={Newton M & Papachristodoulou A},
booktitle={2022 IEEE 61st Conference on Decision and Control (CDC)},
pages={2745-2750},
year = "2022"
}
Stability of non-linear neural feedback loops using sum of squares
Newton M & Papachristodoulou A (2022), Proceedings of 2022 IEEE 61st Conference on Decision and Control (CDC), 6000-6005
BibTeX
@inproceedings{stabilityofnonl-2022/1,
title={Stability of non-linear neural feedback loops using sum of squares},
author={Newton M & Papachristodoulou A},
booktitle={2022 IEEE 61st Conference on Decision and Control (CDC)},
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"
}