Publications

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={80},
  number={101053},
  publisher={Elsevier},
  year = "2024"
}

BibTeX

@inproceedings{staticoutputfee-2024/6,
  title={Static Output Feedback for a Certain Class of Systems of Order Four},
  author={August E, Piccini J & Papachristodoulou A},
  booktitle={2024 European Control Conference (ECC)},
  pages={2586-2592},
  year = "2024"
}

@inproceedings{probablyapproxi-2024/6,
  title={Probably approximately correct stability of allocations in uncertain coalitional games with private sampling},
  author={Pantazis G, Fele F, Fabiani F, Grammatico S & Margellos K},
  booktitle={6th Annual Learning for Dynamics & Control Conference (L4DC 2024)},
  pages={1702-1714},
  year = "2024"
}

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"
}

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"
}

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"
}

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"
}

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"
}

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"
}

@article{acbiosdabiomole-2024/1,
  title={AC-BioSD: A Biomolecular Signal Differentiator Module With Enhanced Performance},
  author={Alexis E, Avalos JL, Cardelli L & Papachristodoulou A},
  journal={IEEE Control. Syst. Lett.},
  volume={8},
  pages={514-519},
  year = "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"
}

@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"
}

@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"
}

@article{safeandstablefi-2024/,
  title={Safe and Stable Filter Design Using a Relaxed Compatibitlity Control Barrier - Lyapunov Condition.},
  author={Wang H, Margellos K & Papachristodoulou A},
  journal={CoRR},
  volume={abs/2407.00414},
  year = "2024"
}

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"
}

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"
}

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"
}

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"
}

@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"
}

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"
}

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"
}

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"
}

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"
}

BibTeX

@misc{rationalneuraln-2023/7,
  title={Rational Neural Network Controllers},
  author={Newton M & Papachristodoulou A},
  year = "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"
}

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"
}

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"
}

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"
}

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"
}

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"
}

BibTeX

@misc{assessingsafety-2023/,
  title={Assessing Safety for Control Systems Using Sum-of-Squares Programming},
  author={Wang H, Margellos K & Papachristodoulou A},
  year = "2023"
}

@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"
}

@article{rationalneuraln-2023/,
  title={Rational Neural Network Controllers.},
  author={Newton M & Papachristodoulou A},
  journal={CoRR},
  volume={abs/2307.06287},
  year = "2023"
}

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"
}

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"
}

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"
}

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"
}

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"
}

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"
}

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"
}

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"
}

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"
}

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"
}

BibTeX

@misc{explicitsolutio-2022/4,
  title={Explicit Solutions for Safety Problems Using Control Barrier Functions},
  author={Wang H, Margellos K & Papachristodoulou A},
  year = "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"
}

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"
}

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"
}

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"
}

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"
}

BibTeX

@misc{sparsepolynomia-2022/2,
  title={Sparse Polynomial Optimisation for Neural Network Verification},
  author={Newton M & Papachristodoulou A},
  year = "2022"
}