On the construction of Lyapunov functions using the sum of squares decomposition. - Antonis Papachristodoulou; Stephen Prajna (CDC, 2002)

Introducing SOSTOOLS: a general purpose sum of squares programming solver. - Stephen Prajna; Antonis Papachristodoulou; Pablo A. Parrilo (CDC, 2002)

Analysis of switched and hybrid systems - beyond piecewise quadratic methods. - Stephen Prajna; Antonis Papachristodoulou (ACC, 2003)

Model validation and robust stability analysis of the bacterial heat shock response using SOSTOOLS. - Hana El-Samad; Stephen Prajna; Antonis Papachristodoulou; Mustafa Khammash; John C. Doyle 001 (CDC, 2003)

Analysis of nonlinear time-delay systems using the sum of squares decomposition. - Antonis Papachristodoulou (ACC, 2004)

New developments in sum of squares optimization and SOSTOOLS. - Stephen Prajna; Antonis Papachristodoulou; Peter Seiler 001; Pablo A. Parrilo (ACC, 2004)

Global stability analysis of a TCP/AQM protocol for arbitrary networks with delay. - Antonis Papachristodoulou (CDC, 2004)

Analysis of nonlinear delay differential equation models of TCP/AQM protocols using sums of squares. - Antonis Papachristodoulou; John C. Doyle 001; Steven H. Low (CDC, 2004)

Methodological frameworks for large-scale network analysis and design. - Antonis Papachristodoulou; Lun Li 001; John C. Doyle 001 (Comput. Commun. Rev., 2004)

Robust Stability and Performance Analysis of a Longitudinal Aircraft Model Using Sum of Squares Techniques. - Antonis Papachristodoulou; Christakis Papageorgiou (ISIC, 2005)

Controlled hybrid system safety verification: advanced life support system testbed. - Sonja Glavaski; Antonis Papachristodoulou; Kartik B. Ariyur (ACC, 2005)

Analysis of aircraft pitch axis stability augmentation system using sum of squares optimization. - Kailash Krishnaswamy; George Papageorgiou; Sonja Glavaski; Antonis Papachristodoulou (ACC, 2005)

Constructing Lyapunov-Krasovskii functionals for linear time delay systems. - Antonis Papachristodoulou; Matthew M. Peet; Sanjay Lall (ACC, 2005)

A tutorial on sum of squares techniques for systems analysis. - Antonis Papachristodoulou; Stephen Prajna (ACC, 2005)

Synchronization in Oscillator Networks: Switching Topologies and Non-homogeneous Delays. - Antonis Papachristodoulou; Ali Jadbabaie (CDC/ECC, 2005)

Robust Stabilization of Nonlinear Time Delay Systems Using Convex Optimization. - Antonis Papachristodoulou (CDC/ECC, 2005)

Safety Verification of Controlled Advanced Life Support System Using Barrier Certificates. - Sonja Glavaski; Antonis Papachristodoulou; Kartik B. Ariyur (HSCC, 2005)

Stochastic reachability analysis in complex biological networks. - Hana El-Samad; Maryam Fazel; Xin Liu; Antonis Papachristodoulou; Stephen Prajna (ACC, 2006)

On the Analysis of Systems Described by Classes of Partial Differential Equations. - Antonis Papachristodoulou; Matthew Monnig Peet (CDC, 2006)

Synchonization in Oscillator Networks with Heterogeneous Delays, Switching Topologies and Nonlinear Dynamics. - Antonis Papachristodoulou; Ali Jadbabaie (CDC, 2006)

Advanced Methods and Algorithms for Biological Networks Analysis. - Hana El-Samad; Stephen Prajna; Antonis Papachristodoulou; John Doyle 001; Mustafa Khammash (Proc. IEEE, 2006)

Algorithms for Discriminating Between Biochemical Reaction Network Models: Towards Systematic Experimental Design. - Antonis Papachristodoulou; Hana El-Samad (ACC, 2007)

Determining Interconnections in Chemical Reaction Networks. - Antonis Papachristodoulou; Ben Recht (ACC, 2007)

Stability analysis of linear systems with time-varying delays: Delay uncertainty and quenching. - Antonis Papachristodoulou; Matthew M. Peet; Silviu-Iulian Niculescu (CDC, 2007)

Positivity of kernel functions for systems with communication delay. - Matthew M. Peet; Antonis Papachristodoulou (CDC, 2007)

A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification. - Sonja Glavaski; Dharmashankar Subramanian; Kartik B. Ariyur; Ranjana Ghosh; Nitin Lamba; Antonis Papachristodoulou (IEEE Trans. Control. Syst. Technol., 2007)

Stability of congestion control schemes with delay sensitive traffic. - Ying Li 018; Antonis Papachristodoulou; Mung Chiang (ACC, 2008)

Determining interconnections in biochemical networks using linear programming. - Elias August; Antonis Papachristodoulou; Benjamin Recht; Mark Andrew James Roberts; Ali Jadbabaie (CDC, 2008)

Delay-dependent rendezvous and flocking of large scale multi-agent systems with communication delays. - Ulrich Münz; Antonis Papachristodoulou; Frank Allgöwer (CDC, 2008)

Using polynomial semi-separable kernels to construct infinite-dimensional Lyapunov functions. - Matthew M. Peet; Antonis Papachristodoulou (CDC, 2008)

Generalized Nyquist consensus condition for high-order linear multi-agent systems with communication delays. - Ulrich Münz; Antonis Papachristodoulou; Frank Allgöwer (CDC, 2009)

On validation and invalidation of biological models. - James Anderson 001; Antonis Papachristodoulou (BMC Bioinform., 2009)

Efficient, sparse biological network determination. - Elias August; Antonis Papachristodoulou (BMC Syst. Biol., 2009)

A model invalidation-based approach for elucidating biological signalling pathways, applied to the chemotaxis pathway in R. sphaeroides. - Mark A. J. Roberts; Elias August; Abdullah Hamadeh; Philip K. Maini; Patrick E. McSharry; Judith P. Armitage; Antonis Papachristodoulou (BMC Syst. Biol., 2009)

Consensus reaching in multi-agent packet-switched networks with non-linear coupling. - Ulrich Münz; Antonis Papachristodoulou; Frank Allgöwer (Int. J. Control, 2009)

A New Computational Tool for Establishing Model Parameter Identifiability. - Elias August; Antonis Papachristodoulou (J. Comput. Biol., 2009)

Positive Forms and Stability of Linear Time-Delay Systems. - Matthew M. Peet; Antonis Papachristodoulou; Sanjay Lall (SIAM J. Control. Optim., 2009)

Robust Stability Analysis of Nonlinear Hybrid Systems. - Antonis Papachristodoulou; Stephen Prajna (IEEE Trans. Autom. Control., 2009)

Analysis of Polynomial Systems With Time Delays via the Sum of Squares Decomposition. - Antonis Papachristodoulou; Matthew M. Peet; Sanjay Lall (IEEE Trans. Autom. Control., 2009)

A network decomposition approach for efficient sum of squares programming based analysis. - James Anderson 001; Antonis Papachristodoulou (ACC, 2010)

Dynamical system decomposition for efficient, sparse analysis. - James Anderson 001; Antonis Papachristodoulou (CDC, 2010)

Structured model reduction for dynamical networked systems. - Antonis Papachristodoulou; Yo-Cheng Chang; Elias August; James Anderson 001 (CDC, 2010)

A converse sum-of-squares Lyapunov result: An existence proof based on the Picard iteration. - Matthew M. Peet; Antonis Papachristodoulou (CDC, 2010)

Robust Rendezvous of Heterogeneous Euler-Lagrange Systems on Packet-Switched Networks (Robustes Rendezvous von heterogenen Euler-Lagrange Systemen mithilfe paketvermittelnder Netzwerke). - Ulrich Münz; Antonis Papachristodoulou; Frank Allgöwer (Autom., 2010)

Delay robustness in consensus problems. - Ulrich Münz; Antonis Papachristodoulou; Frank Allgöwer (Autom., 2010)

Discriminating between rival biochemical network models: three approaches to optimal experiment design. - Bence Mélykúti; Elias August; Antonis Papachristodoulou; Hana El-Samad (BMC Syst. Biol., 2010)

Delay Robustness of Nonlinear Internet Congestion Control Schemes. - Antonis Papachristodoulou; Ali Jadbabaie (IEEE Trans. Autom. Control., 2010)

Effects of Delay in Multi-Agent Consensus and Oscillator Synchronization. - Antonis Papachristodoulou; Ali Jadbabaie; Ulrich Münz (IEEE Trans. Autom. Control., 2010)

A model for using control theory to design sustainable policies for greenhouse gas emissions. - Bing Chu; Stephen Duncan; Antonis Papachristodoulou (CCA, 2011)

Energy amplification in channel flow over riblets. - Stephen Duncan; Antonis Papachristodoulou (CACSD, 2011)

Dynamical system decomposition using dissipation inequalities. - James Anderson 001; André Teixeira 001; Henrik Sandberg; Antonis Papachristodoulou (CDC/ECC, 2011)

Nonlinear control of large scale complex systems using convex optimization tools and self-adaptation. - Simone Baldi; Elias B. Kosmatopoulos; Konstantinos Aboudolas; Dimitrios Rovas; Antonis Papachristodoulou; Petros A. Ioannou (CDC/ECC, 2011)

A structured model reduction method for large scale networks. - Bing Chu; Stephen Duncan; Antonis Papachristodoulou (CDC/ECC, 2011)

Feedback control architecture of the R. sphaeroides chemotaxis network. - Abdullah Hamadeh; Elias August; Mark A. J. Roberts; Philip K. Maini; Judith P. Armitage; Brian P. Ingalls; Antonis Papachristodoulou (CDC/ECC, 2011)

Structured sum of squares for networked systems analysis. - Edward J. Hancock; Antonis Papachristodoulou (CDC/ECC, 2011)

A linear multi-agent systems approach to diffusively coupled piecewise affine systems: Delay robustness. - Kenji Kashima; Antonis Papachristodoulou; Frank Allgöwer (CDC/ECC, 2011)

Model decomposition and reduction tools for large-scale networks in systems biology. - James Anderson 001; Yo-Cheng Chang; Antonis Papachristodoulou (Autom., 2011)

Congestion control and its stability in networks with delay sensitive traffic. - Ying Li 018; Antonis Papachristodoulou; Mung Chiang; A. Robert Calderbank (Comput. Networks, 2011)

Feedback Control Architecture and the Bacterial Chemotaxis Network. - Abdullah Hamadeh; Mark A. J. Roberts; Elias August; Patrick E. McSharry; Philip K. Maini; Judith P. Armitage; Antonis Papachristodoulou (PLoS Comput. Biol., 2011)

Robust Consensus Controller Design for Nonlinear Relative Degree Two Multi-Agent Systems With Communication Constraints. - Ulrich Münz; Antonis Papachristodoulou; Frank Allgöwer (IEEE Trans. Autom. Control., 2011)

Consensus in Multi-Agent Systems With Coupling Delays and Switching Topology. - Ulrich Münz; Antonis Papachristodoulou; Frank Allgöwer (IEEE Trans. Autom. Control., 2011)

Using economic Model Predictive Control to design sustainable policies for mitigating climate change. - Bing Chu; Stephen Duncan; Antonis Papachristodoulou; Cameron Hepburn (CDC, 2012)

A loop shaping approach for designing biological circuits. - James Dolan; James Anderson 001; Antonis Papachristodoulou (CDC, 2012)

An invariance principle for time-varying systems. - Edward J. Hancock; Antonis Papachristodoulou (CDC, 2012)

Dynamic edge adaptation in delayed oscillator networks. - Richard P. Mason; Antonis Papachristodoulou (CDC, 2012)

Frequency synchronization and phase agreement in Kuramoto oscillator networks with delays. - Gerd S. Schmidt; Antonis Papachristodoulou; Ulrich Münz; Frank Allgöwer (Autom., 2012)

A Decomposition Technique for Nonlinear Dynamical System Analysis. - James Anderson 001; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2012)

Delay Robustness in Non-Identical Multi-Agent Systems. - Ulrich Münz; Antonis Papachristodoulou; Frank Allgöwer (IEEE Trans. Autom. Control., 2012)

A Converse Sum of Squares Lyapunov Result With a Degree Bound. - Matthew M. Peet; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2012)

Layering in networks: The case of biochemical systems. - Thomas P. Prescott; Antonis Papachristodoulou (ACC, 2013)

A real-time control framework for smart power networks with star topology. - Xuan Zhang 004; Antonis Papachristodoulou (ACC, 2013)

Generalised absolute stability and sum of squares. - Edward J. Hancock; Antonis Papachristodoulou (Autom., 2013)

Stochastic processes and feedback-linearisation for online identification and Bayesian adaptive control of fully-actuated mechanical systems. - Jan-Peter Calliess; Antonis Papachristodoulou; Stephen J. Roberts (CoRR, 2013)

SOSTOOLS Version 3.00 Sum of Squares Optimization Toolbox for MATLAB. - Antonis Papachristodoulou; James Anderson 001; Giorgio Valmorbida; Stephen Prajna; Pete Seiler 001; Pablo A. Parrilo (CoRR, 2013)

Algorithmic Construction of Lyapunov Functions for Power System Stability Analysis. - Marian Anghel; Federico Milano 001; Antonis Papachristodoulou (IEEE Trans. Circuits Syst. I Regul. Pap., 2013)

Chordal sparsity, decomposing SDPs and the Lyapunov equation. - Richard P. Mason; Antonis Papachristodoulou (ACC, 2014)

Signal propagation across layered biochemical networks. - Thomas P. Prescott; Antonis Papachristodoulou (ACC, 2014)

Distributed dynamic feedback control for smart power networks with tree topology. - Xuan Zhang 004; Antonis Papachristodoulou (ACC, 2014)

A distributed PID controller for network congestion control problems. - Xuan Zhang 004; Antonis Papachristodoulou (ACC, 2014)

Input-output analysis of distributed parameter systems using convex optimization. - Mohamadreza Ahmadi; Giorgio Valmorbida; Antonis Papachristodoulou (CDC, 2014)

Density flow over networks: A mean-field game theoretic approach. - Dario Bauso; Xuan Zhang 004; Antonis Papachristodoulou (CDC, 2014)

Stability and consensus for multi-agent systems with Poisson clock noise. - Andrew G. Lamperski; Antonis Papachristodoulou (CDC, 2014)

Structured storage functions for cascaded systems. - Thomas P. Prescott; Antonis Papachristodoulou (CDC, 2014)

Semi-definite programming and functional inequalities for distributed parameter systems. - Giorgio Valmorbida; Mohamadreza Ahmadi; Antonis Papachristodoulou (CDC, 2014)

A polynomial approach to nonlinear state feedback stabilization of saturated linear systems. - Giorgio Valmorbida; Luca Zaccarian; Sophie Tarbouriech; Isabelle Queinnec; Antonis Papachristodoulou (CDC, 2014)

Redesigning generation control in power systems: Methodology, stability and delay robustness. - Xuan Zhang 004; Antonis Papachristodoulou (CDC, 2014)

Convex Design Control for Practical Nonlinear Systems. - Simone Baldi; Iakovos T. Michailidis; Elias B. Kosmatopoulos; Antonis Papachristodoulou; Petros A. Ioannou (IEEE Trans. Autom. Control., 2014)

Barrier functionals for output functional estimation of PDEs. - Mohamadreza Ahmadi; Giorgio Valmorbida; Antonis Papachristodoulou (ACC, 2015)

Piecewise polynomial policy iterations for synthesis of optimal control laws in input-saturated systems. - Simone Baldi; Giorgio Valmorbida; Antonis Papachristodoulou; Elias B. Kosmatopoulos (ACC, 2015)

A convex approach to hydrodynamic analysis. - Mohamadreza Ahmadi; Giorgio Valmorbida; Antonis Papachristodoulou (CDC, 2015)

Convex solutions to integral inequalities in two-dimensional domains. - Giorgio Valmorbida; Mohamadreza Ahmadi; Antonis Papachristodoulou (CDC, 2015)

Distributed optimal steady-state control using reverse- and forward-engineering. - Xuan Zhang 004; Antonis Papachristodoulou; Na Li 002 (CDC, 2015)

Introducing INTSOSTOOLS: A SOSTOOLS plug-in for integral inequalities. - Giorgio Valmorbida; Antonis Papachristodoulou (ECC, 2015)

A real-time control framework for smart power networks: Design methodology and stability. - Xuan Zhang 004; Antonis Papachristodoulou (Autom., 2015)

Quantification of Interactions between Dynamic Cellular Network Functionalities by Cascaded Layering. - Thomas P. Prescott; Moritz Lang; Antonis Papachristodoulou (PLoS Comput. Biol., 2015)

Improving the Performance of Network Congestion Control Algorithms. - Xuan Zhang 004; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2015)

Designing Genetic Feedback Controllers. - Andreas W. K. Harris; James Dolan; Ciaran L. Kelly; James Anderson 001; Antonis Papachristodoulou (IEEE Trans. Biomed. Circuits Syst., 2015)

Designing Conservation Relations in Layered Synthetic Biomolecular Networks. - Thomas P. Prescott; Antonis Papachristodoulou (IEEE Trans. Biomed. Circuits Syst., 2015)

Online policy iterations for optimal control of input-saturated systems. - Simone Baldi; Giorgio Valmorbida; Antonis Papachristodoulou; Elias B. Kosmatopoulos (ACC, 2016)

A new approach for estimating the robustness of parameter estimates to measurement noise. - Dhruva V. Raman; James Anderson 001; Antonis Papachristodoulou (ACC, 2016)

An optimization-based method for bounding state functionals of nonlinear stochastic systems. - Mohamadreza Ahmadi; Andreas W. K. Harris; Antonis Papachristodoulou (CDC, 2016)

Controller synthesis for stochastic systems with persistent noise via semi-definite programming. - Mohamadreza Ahmadi; Antonis Papachristodoulou (CDC, 2016)

A chordal decomposition approach to scalable design of structured feedback gains over directed graphs. - Yang Zheng 001; Richard P. Mason; Antonis Papachristodoulou (CDC, 2016)

Multi-scale design in layered synthetic biological systems. - Thomas P. Prescott; Antonis Papachristodoulou (ECC, 2016)

Dissipation inequalities for the analysis of a class of PDEs. - Mohamadreza Ahmadi; Giorgio Valmorbida; Antonis Papachristodoulou (Autom., 2016)

On the performance of nonlinear dynamical systems under parameter perturbation. - Dhruva V. Raman; James Anderson 001; Antonis Papachristodoulou (Autom., 2016)

Structural Identifiability of Dynamic Systems Biology Models. - Alejandro Fernández Villaverde; Antonio Barreiro; Antonis Papachristodoulou (PLoS Comput. Biol., 2016)

Stability Analysis for a Class of Partial Differential Equations via Semidefinite Programming. - Giorgio Valmorbida; Mohamadreza Ahmadi; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2016)

Fast ADMM for semidefinite programs with chordal sparsity. - Yang Zheng 001; Giovanni Fantuzzi; Antonis Papachristodoulou; Paul Goulart; Andrew Wynn (ACC, 2017)

Improving efficiency and scalability of sum of squares optimization: Recent advances and limitations. - Amir Ali Ahmadi; Georgina Hall; Antonis Papachristodoulou; James Saunderson; Yang Zheng 001 (CDC, 2017)

The autorepressor: A case study of the importance of model selection. - Andreas W. K. Harris; Ciaran L. Kelly; Harrison Steel; Antonis Papachristodoulou (CDC, 2017)

Block-diagonal solutions to Lyapunov inequalities and generalisations of diagonal dominance. - Aivar Sootla; Yang Zheng 001; Antonis Papachristodoulou (CDC, 2017)

Frequency domain analysis of small non-coding RNAs shows summing junction-like behaviour. - Harrison Steel; Andreas W. K. Harris; Edward J. Hancock; Ciaran L. Kelly; Antonis Papachristodoulou (CDC, 2017)

Challenges at the interface of control engineering and synthetic biology. - Harrison Steel; Gabriele Lillacci; Mustafa Khammash; Antonis Papachristodoulou (CDC, 2017)

Visualization of Temporal Logic Specifications. - James Scott-Brown; Antonis Papachristodoulou (EuroVis (Posters), 2017)

Safety verification for distributed parameter systems using barrier functionals. - Mohamadreza Ahmadi; Giorgio Valmorbida; Antonis Papachristodoulou (Syst. Control. Lett., 2017)

Density Flow in Dynamical Networks via Mean-Field Games. - Dario Bauso; Xuan Zhang 004; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2017)

Optimization With Affine Homogeneous Quadratic Integral Inequality Constraints. - Giovanni Fantuzzi; Andrew Wynn; Paul J. Goulart; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2017)

Nonlinear Static State Feedback for Saturated Linear Plants via a Polynomial Approach. - Giorgio Valmorbida; Luca Zaccarian; Sophie Tarbouriech; Isabelle Queinnec; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2017)

Decomposition and Completion of Sum-of-Squares Matrices. - Yang Zheng 001; Giovanni Fantuzzi; Antonis Papachristodoulou (CDC, 2018)

Bayesian Nonparametrics and Feedback-Linearisation of Discretised Control-Affine Systems. - Jan-Peter Calliess; Antonis Papachristodoulou; Stephen J. Roberts (CDC, 2018)

Scalable analysis of linear networked systems via chordal decomposition. - Yang Zheng 001; Maryam Kamgarpour; Aivar Sootla; Antonis Papachristodoulou (ECC, 2018)

Distributed Actuator Selection: Achieving Optimality via a Primal-Dual Algorithm. - Licio Romao; Kostas Margellos; Antonis Papachristodoulou (IEEE Control. Syst. Lett., 2018)

Distributed Control for Reaching Optimal Steady State in Network Systems: An Optimization Approach. - Xuan Zhang 004; Antonis Papachristodoulou; Na Li 002 (IEEE Trans. Autom. Control., 2018)

Scalable Design of Structured Controllers Using Chordal Decomposition. - Yang Zheng 001; Richard P. Mason; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2018)

Design Constraints for Biological Systems That Achieve Adaptation and Disturbance Rejection. - Harrison Steel; Antonis Papachristodoulou (IEEE Trans. Control. Netw. Syst., 2018)

Sparse sum-of-squares (SOS) optimization: A bridge between DSOS/SDSOS and SOS optimization for sparse polynomials. - Yang Zheng 001; Giovanni Fantuzzi; Antonis Papachristodoulou (ACC, 2019)

Chordal Decomposition in Rank Minimized Semidefinite Programs with Applications to Subspace Clustering. - Jared Miller; Yang Zheng 001; Biel Roig-Solvas; Mario Sznaier; Antonis Papachristodoulou (CDC, 2019)

Convergence rate analysis of a subgradient averaging algorithm for distributed optimisation with different constraint sets. - Licio Romao; Kostas Margellos; Giuseppe Notarstefano; Antonis Papachristodoulou (CDC, 2019)

On Separable Quadratic Lyapunov Functions for Convex Design of Distributed Controllers. - Luca Furieri; Yang Zheng 001; Antonis Papachristodoulou; Maryam Kamgarpour (ECC, 2019)

Block Factor-Width-Two Matrices in Semidefinite Programming. - Aivar Sootla; Yang Zheng 001; Antonis Papachristodoulou (ECC, 2019)

Mitigating Biological Signalling Cross-talk with Feedback Control. - Harrison Steel; Aivar Sootla; Nicolas Delalez; Antonis Papachristodoulou (ECC, 2019)

An Input-Output Parametrization of Stabilizing Controllers: Amidst Youla and System Level Synthesis. - Luca Furieri; Yang Zheng 001; Antonis Papachristodoulou; Maryam Kamgarpour (IEEE Control. Syst. Lett., 2019)

Improving Orthogonality in Two-Component Biological Signalling Systems Using Feedback Control. - Harrison Steel; Aivar Sootla; Benjamin Smart; Nicolas Delalez; Antonis Papachristodoulou (IEEE Control. Syst. Lett., 2019)

Fast ADMM for Sum-of-Squares Programs Using Partial Orthogonality. - Yang Zheng 001; Giovanni Fantuzzi; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2019)

Network Lyapunov Functions for Epidemic Models. - Matthew Newton; Antonis Papachristodoulou (CDC, 2020)

Tight generalization guarantees for the sampling and discarding approach to scenario optimization. - Licio Romao; Kostas Margellos; Antonis Papachristodoulou (CDC, 2020)

Control Reconfiguration of Cyber-physical Systems for Improved Performance via Reverse-engineering and Accelerated First-order Algorithms. - Han Shu; Xuan Zhang 004; Na Li 002; Antonis Papachristodoulou (ICCPS, 2020)

Control Reconfiguration of Dynamical Systems for Improved Performance via Reverse-engineering and Forward-engineering. - Han Shu; Xuan Zhang 004; Na Li 002; Antonis Papachristodoulou (CoRR, 2020)

Chordal decomposition in operator-splitting methods for sparse semidefinite programs. - Yang Zheng 001; Giovanni Fantuzzi; Antonis Papachristodoulou; Paul Goulart; Andrew Wynn (Math. Program., 2020)

On the Existence of Block-Diagonal Solutions to Lyapunov and ${ mathcal {H}_ infty }$ Riccati Inequalities. - Aivar Sootla; Yang Zheng 001; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2020)

Sparsity Invariance for Convex Design of Distributed Controllers. - Luca Furieri; Yang Zheng 001; Antonis Papachristodoulou; Maryam Kamgarpour (IEEE Trans. Control. Netw. Syst., 2020)

Distributed Design for Decentralized Control Using Chordal Decomposition and ADMM. - Yang Zheng 001; Maryam Kamgarpour; Aivar Sootla; Antonis Papachristodoulou (IEEE Trans. Control. Netw. Syst., 2020)

Neural Network Verification using Polynomial Optimisation. - Matthew Newton; Antonis Papachristodoulou (CDC, 2021)

Exploiting Sparsity for Neural Network Verification. - Matthew Newton; Antonis Papachristodoulou (L4DC, 2021)

Tight sampling and discarding bounds for scenario programs with an arbitrary number of removed samples. - Licio Romao; Kostas Margellos; Antonis Papachristodoulou (L4DC, 2021)

Chordal and factor-width decompositions for scalable semidefinite and polynomial optimization. - Yang Zheng 001; Giovanni Fantuzzi; Antonis Papachristodoulou (Annu. Rev. Control., 2021)

Subgradient averaging for multi-agent optimisation with different constraint sets. - Licio Romao; Kostas Margellos; Giuseppe Notarstefano; Antonis Papachristodoulou (Autom., 2021)

On the Equivalence of Youla, System-Level, and Input-Output Parameterizations. - Yang Zheng 001; Luca Furieri; Antonis Papachristodoulou; Na Li 002; Maryam Kamgarpour (IEEE Trans. Autom. Control., 2021)

Reachability Analysis of Neural Feedback Loops using Sparse Polynomial Optimisation. - Matthew Newton; Antonis Papachristodoulou (CDC, 2022)

Stability of Non-linear Neural Feedback Loops using Sum of Squares. - Matthew Newton; Antonis Papachristodoulou (CDC, 2022)

Explicit Solutions for Safety Problems Using Control Barrier Functions. - Han Wang 026; Kostas Margellos; Antonis Papachristodoulou (CDC, 2022)

Decomposed structured subsets for semidefinite and sum-of-squares optimization. - Jared Miller; Yang Zheng 001; Mario Sznaier; Antonis Papachristodoulou (Autom., 2022)

Safety Verification and Controller Synthesis for Systems with Input Constraints. - Han Wang 026; Kostas Margellos; Antonis Papachristodoulou (CoRR, 2022)

Safety-Aware Optimal Control in Motion Planning. - Han Wang 026; Xuda Ding; Jianping He 001; Kostas Margellos; Antonis Papachristodoulou (CoRR, 2022)

Safe Controlled Invariance for Linear Systems Using Sum-of-Squares Programming. - Han Wang 026; Kostas Margellos; Antonis Papachristodoulou (CoRR, 2022)

On the Design of a PID Bio-Controller With Set Point Weighting and Filtered Derivative Action. - Emmanouil Alexis; Luca Cardelli; Antonis Papachristodoulou (IEEE Control. Syst. Lett., 2022)

Feedback control design using sum of squares optimisation. - Elias August; Antonis Papachristodoulou (Eur. J. Control, 2022)

A time-triggered dimension reduction algorithm for the task assignment problem. - Han Wang 026; Kostas Margellos; Antonis Papachristodoulou (Eur. J. Control, 2022)

Control Reconfiguration of Dynamical Systems for Improved Performance via Reverse- and Forward-Engineering. - Han Shu; Xuan Zhang 004; Na Li 002; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2022)

State-Feedback Design for Nonlinear Saturating Systems. - Giorgio Valmorbida; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2022)

A Game Theoretic Approach for Safe and Distributed Control of Unmanned Aerial Vehicles. - Allan Andre do Nascimento; Antonis Papachristodoulou; Kostas Margellos (CDC, 2023)

Distributed Safety Verification for Multi-Agent Systems. - Han Wang 026; Antonis Papachristodoulou; Kostas Margellos (CDC, 2023)

Stable and Safe Reinforcement Learning via a Barrier-Lyapunov Actor-Critic Approach. - Liqun Zhao; Konstantinos Gatsis; Antonis Papachristodoulou (CDC, 2023)

Distributed Control Design and Safety Verification for Multi-Agent Systems. - Han Wang 026; Antonis Papachristodoulou; Kostas Margellos (CoRR, 2023)

A Barrier-Lyapunov Actor-Critic Reinforcement Learning Approach for Safe and Stable Control. - Liqun Zhao; Konstantinos Gatsis; Antonis Papachristodoulou (CoRR, 2023)

Rational Neural Network Controllers. - Matthew Newton; Antonis Papachristodoulou (CoRR, 2023)

On the Exact Feasibility of Convex Scenario Programs With Discarded Constraints. - Licio Romao; Antonis Papachristodoulou; Kostas Margellos (IEEE Trans. Autom. Control., 2023)

Block Factor-Width-Two Matrices and Their Applications to Semidefinite and Sum-of-Squares Optimization. - Yang Zheng 001; Aivar Sootla; Antonis Papachristodoulou (IEEE Trans. Autom. Control., 2023)

Probabilistic feasibility guarantees for convex scenario programs with an arbitrary number of discarded constraints. - Licio Romao; Kostas Margellos; Antonis Papachristodoulou (Autom., 2023)

Sparse polynomial optimisation for neural network verification. - Matthew Newton; Antonis Papachristodoulou (Autom., 2023)

Probabilistically safe controllers based on control barrier functions and scenario model predictive control. - Allan Andre do Nascimento; Antonis Papachristodoulou; Kostas Margellos (CDC, 2024)

Convex Co-Design of Mixed-Relative Degree Control Barrier Functions and Feedback Controllers for Linear Systems. - Han Wang 026; Kostas Margellos; Antonis Papachristodoulou; Claudio De Persis (CDC, 2024)

Data-Driven Stable Neural Feedback Loop Design. - Zuxun Xiong; Han Wang 026; Liqun Zhao; Antonis Papachristodoulou (CDC, 2024)

Static Output Feedback for a Certain Class of Systems of Order Four. - Elias August; Jacopo Piccini; Antonis Papachristodoulou (ECC, 2024)

NLBAC: A Neural Ordinary Differential Equations-based Framework for Stable and Safe Reinforcement Learning. - Liqun Zhao; Keyan Miao; Konstantinos Gatsis; Antonis Papachristodoulou (CoRR, 2024)

Convex Co-Design of Control Barrier Function and Safe Feedback Controller Under Input Constraints. - Han Wang 026; Kostas Margellos; Antonis Papachristodoulou; Claudio De Persis (CoRR, 2024)

Safe and Stable Filter Design Using a Relaxed Compatibitlity Control Barrier - Lyapunov Condition. - Han Wang 026; Kostas Margellos; Antonis Papachristodoulou (CoRR, 2024)

Analysing control-theoretic properties of nonlinear synthetic biology circuits. - Antón Pardo; Sandra Díaz-Seoane; Dorin A. Ionescu; Antonis Papachristodoulou; Alejandro F. Villaverde (CoRR, 2024)

AC-BioSD: A Biomolecular Signal Differentiator Module With Enhanced Performance. - Emmanouil Alexis; José L. Avalos; Luca Cardelli; Antonis Papachristodoulou (IEEE Control. Syst. Lett., 2024)

A contract negotiation scheme for safety verification of interconnected systems. - Xiao Tan 002; Antonis Papachristodoulou; Dimos V. Dimarogonas (Eur. J. Control, 2024)

Opt-ODENet: Neural ODE Controller Design with Differentiable Optimization Layers for Safety and Stability. - Keyan Miao; Liqun Zhao; Han Wang 026; Konstantinos Gatsis; Antonis Papachristodoulou (L4DC, 2025)

Distributed safe control design and probabilistic safety verification for multi-agent systems. - Han Wang 026; Antonis Papachristodoulou; Kostas Margellos (Autom., 2025)

Nonlinear Static Output Feedback Design for Polynomial Systems With Non-Symmetric Input Saturation Bounds. - Diego de S. Madeira; João Gabriel N. Silva; Gabriel F. Machado; Antonis Papachristodoulou (IEEE Control. Syst. Lett., 2025)

Constraint Horizon in Model Predictive Control. - Allan Andre do Nascimento; Han Wang 026; Antonis Papachristodoulou; Kostas Margellos (IEEE Control. Syst. Lett., 2025)

NLBAC: A neural ODE-based algorithm for state-wise stable and safe reinforcement learning. - Liqun Zhao; Keyan Miao; Hongpeng Cao; Konstantinos Gatsis; Antonis Papachristodoulou (Neurocomputing, 2025)

Opt-ODENet: A Neural ODE Framework with Differentiable QP Layers for Safe and Stable Control Design (longer version). - Keyan Miao; Liqun Zhao; Han Wang 026; Konstantinos Gatsis; Antonis Papachristodoulou (CoRR, 2025)

Synthesis of safety certificates for discrete-time uncertain systems via convex optimization. - Marta Fochesato; Han Wang 026; Antonis Papachristodoulou; Paul Goulart (CoRR, 2025)

Learning Neural Controllers with Optimality and Stability Guarantees Using Input-Output Dissipativity. - Han Wang 026; Keyan Miao; Diego de S. Madeira; Antonis Papachristodoulou (CoRR, 2025)

Constrained Diffusers for Safe Planning and Control. - Jichen Zhang; Liqun Zhao; Antonis Papachristodoulou; Jack Umenberger (CoRR, 2025)