Antonis Papachristodoulou

Orcid: 0000-0002-3565-8967

According to our database1, Antonis Papachristodoulou authored at least 174 papers between 2002 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints.
CoRR, 2024

NLBAC: A Neural Ordinary Differential Equations-based Framework for Stable and Safe Reinforcement Learning.
CoRR, 2024

2023
Sparse polynomial optimisation for neural network verification.
Autom., November, 2023

Probabilistic feasibility guarantees for convex scenario programs with an arbitrary number of discarded constraints.
Autom., March, 2023

Block Factor-Width-Two Matrices and Their Applications to Semidefinite and Sum-of-Squares Optimization.
IEEE Trans. Autom. Control., February, 2023

On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints.
IEEE Trans. Autom. Control., 2023

A contract negotiation scheme for safety verification of interconnected systems.
CoRR, 2023

Rational Neural Network Controllers.
CoRR, 2023

A Barrier-Lyapunov Actor-Critic Reinforcement Learning Approach for Safe and Stable Control.
CoRR, 2023

Distributed Control Design and Safety Verification for Multi-Agent Systems.
CoRR, 2023

Stable and Safe Reinforcement Learning via a Barrier-Lyapunov Actor-Critic Approach.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Distributed Safety Verification for Multi-Agent Systems.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

A Game Theoretic Approach for Safe and Distributed Control of Unmanned Aerial Vehicles.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022
State-Feedback Design for Nonlinear Saturating Systems.
IEEE Trans. Autom. Control., 2022

Control Reconfiguration of Dynamical Systems for Improved Performance via Reverse- and Forward-Engineering.
IEEE Trans. Autom. Control., 2022

A time-triggered dimension reduction algorithm for the task assignment problem.
Eur. J. Control, 2022

Feedback control design using sum of squares optimisation.
Eur. J. Control, 2022

On the Design of a PID Bio-Controller With Set Point Weighting and Filtered Derivative Action.
IEEE Control. Syst. Lett., 2022

Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming.
CoRR, 2022

Safety-Aware Optimal Control in Motion Planning.
CoRR, 2022

Safety Verification and Controller Synthesis for Systems with Input Constraints.
CoRR, 2022

Decomposed structured subsets for semidefinite and sum-of-squares optimization.
Autom., 2022

Explicit Solutions for Safety Problems Using Control Barrier Functions.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Stability of Non-linear Neural Feedback Loops using Sum of Squares.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Reachability Analysis of Neural Feedback Loops using Sparse Polynomial Optimisation.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021
On the Equivalence of Youla, System-Level, and Input-Output Parameterizations.
IEEE Trans. Autom. Control., 2021

Subgradient averaging for multi-agent optimisation with different constraint sets.
Autom., 2021

Chordal and factor-width decompositions for scalable semidefinite and polynomial optimization.
Annu. Rev. Control., 2021

Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples.
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

Exploiting Sparsity for Neural Network Verification.
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021

Neural Network Verification using Polynomial Optimisation.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
Distributed Design for Decentralized Control Using Chordal Decomposition and ADMM.
IEEE Trans. Control. Netw. Syst., 2020

Sparsity Invariance for Convex Design of Distributed Controllers.
IEEE Trans. Control. Netw. Syst., 2020

On the Existence of Block-Diagonal Solutions to Lyapunov and ${\mathcal {H}_\infty }$ Riccati Inequalities.
IEEE Trans. Autom. Control., 2020

Chordal decomposition in operator-splitting methods for sparse semidefinite programs.
Math. Program., 2020

Control Reconfiguration of Dynamical Systems for Improved Performance via Reverse-engineering and Forward-engineering.
CoRR, 2020

Control Reconfiguration of Cyber-physical Systems for Improved Performance via Reverse-engineering and Accelerated First-order Algorithms.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Tight generalization guarantees for the sampling and discarding approach to scenario optimization.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Network Lyapunov Functions for Epidemic Models.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019
Fast ADMM for Sum-of-Squares Programs Using Partial Orthogonality.
IEEE Trans. Autom. Control., 2019

Improving Orthogonality in Two-Component Biological Signalling Systems Using Feedback Control.
IEEE Control. Syst. Lett., 2019

An Input-Output Parametrization of Stabilizing Controllers: Amidst Youla and System Level Synthesis.
IEEE Control. Syst. Lett., 2019

Mitigating Biological Signalling Cross-talk with Feedback Control.
Proceedings of the 17th European Control Conference, 2019

Block Factor-Width-Two Matrices in Semidefinite Programming.
Proceedings of the 17th European Control Conference, 2019

On Separable Quadratic Lyapunov Functions for Convex Design of Distributed Controllers.
Proceedings of the 17th European Control Conference, 2019

Convergence rate analysis of a subgradient averaging algorithm for distributed optimisation with different constraint sets.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Chordal Decomposition in Rank Minimized Semidefinite Programs with Applications to Subspace Clustering.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Sparse sum-of-squares (SOS) optimization: A bridge between DSOS/SDSOS and SOS optimization for sparse polynomials.
Proceedings of the 2019 American Control Conference, 2019

2018
Design Constraints for Biological Systems That Achieve Adaptation and Disturbance Rejection.
IEEE Trans. Control. Netw. Syst., 2018

Scalable Design of Structured Controllers Using Chordal Decomposition.
IEEE Trans. Autom. Control., 2018

Distributed Control for Reaching Optimal Steady State in Network Systems: An Optimization Approach.
IEEE Trans. Autom. Control., 2018

Distributed Actuator Selection: Achieving Optimality via a Primal-Dual Algorithm.
IEEE Control. Syst. Lett., 2018

Scalable analysis of linear networked systems via chordal decomposition.
Proceedings of the 16th European Control Conference, 2018

Bayesian Nonparametrics and Feedback-Linearisation of Discretised Control-Affine Systems.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Decomposition and Completion of Sum-of-Squares Matrices.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017
Nonlinear Static State Feedback for Saturated Linear Plants via a Polynomial Approach.
IEEE Trans. Autom. Control., 2017

Optimization With Affine Homogeneous Quadratic Integral Inequality Constraints.
IEEE Trans. Autom. Control., 2017

Density Flow in Dynamical Networks via Mean-Field Games.
IEEE Trans. Autom. Control., 2017

Safety verification for distributed parameter systems using barrier functionals.
Syst. Control. Lett., 2017

Visualization of Temporal Logic Specifications.
Proceedings of the 19th Eurographics Conference on Visualization, 2017

Challenges at the interface of control engineering and synthetic biology.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Frequency domain analysis of small non-coding RNAs shows summing junction-like behaviour.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Block-diagonal solutions to Lyapunov inequalities and generalisations of diagonal dominance.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

The autorepressor: A case study of the importance of model selection.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Improving efficiency and scalability of sum of squares optimization: Recent advances and limitations.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Fast ADMM for semidefinite programs with chordal sparsity.
Proceedings of the 2017 American Control Conference, 2017

2016
Stability Analysis for a Class of Partial Differential Equations via Semidefinite Programming.
IEEE Trans. Autom. Control., 2016

Structural Identifiability of Dynamic Systems Biology Models.
PLoS Comput. Biol., 2016

On the performance of nonlinear dynamical systems under parameter perturbation.
Autom., 2016

Dissipation inequalities for the analysis of a class of PDEs.
Autom., 2016

Multi-scale design in layered synthetic biological systems.
Proceedings of the 15th European Control Conference, 2016

A chordal decomposition approach to scalable design of structured feedback gains over directed graphs.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Controller synthesis for stochastic systems with persistent noise via semi-definite programming.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

An optimization-based method for bounding state functionals of nonlinear stochastic systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

A new approach for estimating the robustness of parameter estimates to measurement noise.
Proceedings of the 2016 American Control Conference, 2016

Online policy iterations for optimal control of input-saturated systems.
Proceedings of the 2016 American Control Conference, 2016

2015
Designing Conservation Relations in Layered Synthetic Biomolecular Networks.
IEEE Trans. Biomed. Circuits Syst., 2015

Designing Genetic Feedback Controllers.
IEEE Trans. Biomed. Circuits Syst., 2015

Improving the Performance of Network Congestion Control Algorithms.
IEEE Trans. Autom. Control., 2015

Quantification of Interactions between Dynamic Cellular Network Functionalities by Cascaded Layering.
PLoS Comput. Biol., 2015

A real-time control framework for smart power networks: Design methodology and stability.
Autom., 2015

Introducing INTSOSTOOLS: A SOSTOOLS plug-in for integral inequalities.
Proceedings of the 14th European Control Conference, 2015

Distributed optimal steady-state control using reverse- and forward-engineering.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Convex solutions to integral inequalities in two-dimensional domains.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

A convex approach to hydrodynamic analysis.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Piecewise polynomial policy iterations for synthesis of optimal control laws in input-saturated systems.
Proceedings of the American Control Conference, 2015

Barrier functionals for output functional estimation of PDEs.
Proceedings of the American Control Conference, 2015

2014
Convex Design Control for Practical Nonlinear Systems.
IEEE Trans. Autom. Control., 2014

Redesigning generation control in power systems: Methodology, stability and delay robustness.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

A polynomial approach to nonlinear state feedback stabilization of saturated linear systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Semi-definite programming and functional inequalities for distributed parameter systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Structured storage functions for cascaded systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Stability and consensus for multi-agent systems with Poisson clock noise.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Density flow over networks: A mean-field game theoretic approach.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Input-output analysis of distributed parameter systems using convex optimization.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

A distributed PID controller for network congestion control problems.
Proceedings of the American Control Conference, 2014

Distributed dynamic feedback control for smart power networks with tree topology.
Proceedings of the American Control Conference, 2014

Signal propagation across layered biochemical networks.
Proceedings of the American Control Conference, 2014

Chordal sparsity, decomposing SDPs and the Lyapunov equation.
Proceedings of the American Control Conference, 2014

2013
Algorithmic Construction of Lyapunov Functions for Power System Stability Analysis.
IEEE Trans. Circuits Syst. I Regul. Pap., 2013

SOSTOOLS Version 3.00 Sum of Squares Optimization Toolbox for MATLAB.
CoRR, 2013

Stochastic processes and feedback-linearisation for online identification and Bayesian adaptive control of fully-actuated mechanical systems.
CoRR, 2013

Generalised absolute stability and sum of squares.
Autom., 2013

A real-time control framework for smart power networks with star topology.
Proceedings of the American Control Conference, 2013

Layering in networks: The case of biochemical systems.
Proceedings of the American Control Conference, 2013

2012
A Converse Sum of Squares Lyapunov Result With a Degree Bound.
IEEE Trans. Autom. Control., 2012

Delay Robustness in Non-Identical Multi-Agent Systems.
IEEE Trans. Autom. Control., 2012

A Decomposition Technique for Nonlinear Dynamical System Analysis.
IEEE Trans. Autom. Control., 2012

Frequency synchronization and phase agreement in Kuramoto oscillator networks with delays.
Autom., 2012

Dynamic edge adaptation in delayed oscillator networks.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

An invariance principle for time-varying systems.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

A loop shaping approach for designing biological circuits.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Using economic Model Predictive Control to design sustainable policies for mitigating climate change.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011
Consensus in Multi-Agent Systems With Coupling Delays and Switching Topology.
IEEE Trans. Autom. Control., 2011

Robust Consensus Controller Design for Nonlinear Relative Degree Two Multi-Agent Systems With Communication Constraints.
IEEE Trans. Autom. Control., 2011

Feedback Control Architecture and the Bacterial Chemotaxis Network.
PLoS Comput. Biol., 2011

Congestion control and its stability in networks with delay sensitive traffic.
Comput. Networks, 2011

Model decomposition and reduction tools for large-scale networks in systems biology.
Autom., 2011

A linear multi-agent systems approach to diffusively coupled piecewise affine systems: Delay robustness.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Structured sum of squares for networked systems analysis.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Feedback control architecture of the R. sphaeroides chemotaxis network.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

A structured model reduction method for large scale networks.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Nonlinear control of large scale complex systems using convex optimization tools and self-adaptation.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Dynamical system decomposition using dissipation inequalities.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

Energy amplification in channel flow over riblets.
Proceedings of the 2011 IEEE International Symposium on Computer-Aided Control System Design, 2011

A model for using control theory to design sustainable policies for greenhouse gas emissions.
Proceedings of the IEEE International Conference on Control Applications, 2011

2010
Effects of Delay in Multi-Agent Consensus and Oscillator Synchronization.
IEEE Trans. Autom. Control., 2010

Delay Robustness of Nonlinear Internet Congestion Control Schemes.
IEEE Trans. Autom. Control., 2010

Discriminating between rival biochemical network models: three approaches to optimal experiment design.
BMC Syst. Biol., 2010

Delay robustness in consensus problems.
Autom., 2010

Robust Rendezvous of Heterogeneous Euler-Lagrange Systems on Packet-Switched Networks (Robustes Rendezvous von heterogenen Euler-Lagrange Systemen mithilfe paketvermittelnder Netzwerke).
Autom., 2010

A converse sum-of-squares Lyapunov result: An existence proof based on the Picard iteration.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Structured model reduction for dynamical networked systems.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Dynamical system decomposition for efficient, sparse analysis.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

A network decomposition approach for efficient sum of squares programming based analysis.
Proceedings of the American Control Conference, 2010

2009
Analysis of Polynomial Systems With Time Delays via the Sum of Squares Decomposition.
IEEE Trans. Autom. Control., 2009

Robust Stability Analysis of Nonlinear Hybrid Systems.
IEEE Trans. Autom. Control., 2009

Positive Forms and Stability of Linear Time-Delay Systems.
SIAM J. Control. Optim., 2009

A New Computational Tool for Establishing Model Parameter Identifiability.
J. Comput. Biol., 2009

Consensus reaching in multi-agent packet-switched networks with non-linear coupling.
Int. J. Control, 2009

A model invalidation-based approach for elucidating biological signalling pathways, applied to the chemotaxis pathway in R. sphaeroides.
BMC Syst. Biol., 2009

Efficient, sparse biological network determination.
BMC Syst. Biol., 2009

On validation and invalidation of biological models.
BMC Bioinform., 2009

Generalized Nyquist consensus condition for high-order linear multi-agent systems with communication delays.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

2008
Using polynomial semi-separable kernels to construct infinite-dimensional Lyapunov functions.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Delay-dependent rendezvous and flocking of large scale multi-agent systems with communication delays.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Determining interconnections in biochemical networks using linear programming.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Stability of congestion control schemes with delay sensitive traffic.
Proceedings of the American Control Conference, 2008

2007
A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification.
IEEE Trans. Control. Syst. Technol., 2007

Positivity of kernel functions for systems with communication delay.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Stability analysis of linear systems with time-varying delays: Delay uncertainty and quenching.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Determining Interconnections in Chemical Reaction Networks.
Proceedings of the American Control Conference, 2007

Algorithms for Discriminating Between Biochemical Reaction Network Models: Towards Systematic Experimental Design.
Proceedings of the American Control Conference, 2007

2006
Advanced Methods and Algorithms for Biological Networks Analysis.
Proc. IEEE, 2006

Synchonization in Oscillator Networks with Heterogeneous Delays, Switching Topologies and Nonlinear Dynamics.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

On the Analysis of Systems Described by Classes of Partial Differential Equations.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

Stochastic reachability analysis in complex biological networks.
Proceedings of the American Control Conference, 2006

2005
Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates.
Proceedings of the Hybrid Systems: Computation and Control, 8th International Workshop, 2005

Robust Stabilization of Nonlinear Time Delay Systems Using Convex Optimization.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Synchronization in Oscillator Networks: Switching Topologies and Non-homogeneous Delays.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

A tutorial on sum of squares techniques for systems analysis.
Proceedings of the American Control Conference, 2005

Constructing Lyapunov-Krasovskii functionals for linear time delay systems.
Proceedings of the American Control Conference, 2005

Analysis of aircraft pitch axis stability augmentation system using sum of squares optimization.
Proceedings of the American Control Conference, 2005

Controlled hybrid system safety verification: advanced life support system testbed.
Proceedings of the American Control Conference, 2005

Robust Stability and Performance Analysis of a Longitudinal Aircraft Model Using Sum of Squares Techniques.
Proceedings of the Intelligent Control, 2005

2004
Methodological frameworks for large-scale network analysis and design.
Comput. Commun. Rev., 2004

Analysis of nonlinear delay differential equation models of TCP/AQM protocols using sums of squares.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Global stability analysis of a TCP/AQM protocol for arbitrary networks with delay.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

New developments in sum of squares optimization and SOSTOOLS.
Proceedings of the 2004 American Control Conference, 2004

Analysis of nonlinear time-delay systems using the sum of squares decomposition.
Proceedings of the 2004 American Control Conference, 2004

2003
Model validation and robust stability analysis of the bacterial heat shock response using SOSTOOLS.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Analysis of switched and hybrid systems - beyond piecewise quadratic methods.
Proceedings of the American Control Conference, 2003

2002
Introducing SOSTOOLS: a general purpose sum of squares programming solver.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

On the construction of Lyapunov functions using the sum of squares decomposition.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002


  Loading...