{"id":{"repo_id":"cambridge","oai_identifier":"oai:www.repository.cam.ac.uk:1810/339047"},"canonical_url":"https://search.dev.ndltd.org/etd/cambridge/oai:www.repository.cam.ac.uk:1810/339047","repository":{"repo_id":"cambridge","name":"Cambridge University","base_url":"https://api.repository.cam.ac.uk/server/oai/request"},"display":{"title":"Input/output analysis: graphical and algorithmic methods","abstract":"This thesis describes new methods in input/output systems theory. The first part of this thesis develops a novel graphical method for the stability analysis of feedback systems. The Scaled Relative Graph (SRG), a recent concept from monotone operator theory, is shown to generalize the classical Nyquist diagram of an LTI transfer function, and may be plotted for arbitrary nonlinear operators. Applying the SRG to the analysis of feedback interconnections leads to a graphical incremental stability theorem, which unifies and generalizes the Nyquist criterion, circle criterion, incremental passivity theorem, incremental small gain theorem and incremental secant condition. A novel special case of this theorem concerns systems which only violate the assumptions of the incremental passivity theorem when their incremental gains are small. This captures systems whose incremental passivity is destroyed by common effects such as delay and saturation. The second part of this thesis develops algorithmic methods for solving nonlinear circuits composed of monotone elements. Monotonicity is a generalization of the linear property of passivity, and is a fundamental property in the theory of large-scale convex optimization. Modern splitting methods, which invert sums of operators, are shown to correspond to the series or parallel interconnection of circuit elements which are monotone, and may be used to solve the steady-state behavior of such circuits. Consideration of circuits with arbitrary series/parallel interconnections leads to a new splitting algorithm, the nested forward-backward algorithm, which inverts operators composed of sums and inverses. Finally, these methods are extended to circuits composed of the difference of monotone elements. The steady-state behavior of such circuits can be solved via an adaptation of Difference of Convex (DC) Programming. Such circuits include the classical van der Pol oscillator and the FitzHugh-Nagumo model of an excitable neuron, which both consist of an LTI transfer function in parallel with monotone and anti-monotone nonlinear resistors. A new algorithm, the difference-of-monotone Douglas-Rachford algorithm, is proposed, which matches the mixed-feedback structure of these circuits.","abstract_html":"This thesis describes new methods in input/output systems theory. The first part of this thesis develops a novel graphical method for the stability analysis of feedback systems. The Scaled Relative Graph (SRG), a recent concept from monotone operator theory, is shown to generalize the classical Nyquist diagram of an LTI transfer function, and may be plotted for arbitrary nonlinear operators. Applying the SRG to the analysis of feedback interconnections leads to a graphical incremental stability theorem, which unifies and generalizes the Nyquist criterion, circle criterion, incremental passivity theorem, incremental small gain theorem and incremental secant condition. A novel special case of this theorem concerns systems which only violate the assumptions of the incremental passivity theorem when their incremental gains are small. This captures systems whose incremental passivity is destroyed by common effects such as delay and saturation. The second part of this thesis develops algorithmic methods for solving nonlinear circuits composed of monotone elements. Monotonicity is a generalization of the linear property of passivity, and is a fundamental property in the theory of large-scale convex optimization. Modern splitting methods, which invert sums of operators, are shown to correspond to the series or parallel interconnection of circuit elements which are monotone, and may be used to solve the steady-state behavior of such circuits. Consideration of circuits with arbitrary series/parallel interconnections leads to a new splitting algorithm, the nested forward-backward algorithm, which inverts operators composed of sums and inverses. Finally, these methods are extended to circuits composed of the difference of monotone elements. The steady-state behavior of such circuits can be solved via an adaptation of Difference of Convex (DC) Programming. Such circuits include the classical van der Pol oscillator and the FitzHugh-Nagumo model of an excitable neuron, which both consist of an LTI transfer function in parallel with monotone and anti-monotone nonlinear resistors. A new algorithm, the difference-of-monotone Douglas-Rachford algorithm, is proposed, which matches the mixed-feedback structure of these circuits.","abstract_has_math":false,"creators":["Chaffey, Thomas"],"institution":"University of Cambridge","degree_name":"Doctor of Philosophy (PhD)","degree_level":"Doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Sepulchre, Rodolphe"],"committee_chairs":[],"committee_members":[],"year":2022,"date_issued":"2022-03-21","date_published":"2022-03-21","updated_at":"2026-07-22T22:24:17Z","subjects":["input/output analysis","nonlinear control","systems theory","stability","monotone operator theory"],"languages":["eng"],"rights":[],"rights_urls":["https://creativecommons.org/licenses/by-nd/4.0/"],"identifier_entries":[]},"links":{"outbound_url":"https://doi.org/10.17863/CAM.86457","outbound_label":"DOI","outbound_source":"dc:identifier.doi"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Sepulchre, Rodolphe"]},{"key":"dc:contributor.sponsor","label":"Sponsor","values":["Cambridge Trust, University of Sydney"]},{"key":"dc:creator","label":"Author","values":["Chaffey, Thomas"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["2022-03-21"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["University of Cambridge"]},{"key":"dc:relation.isreferencedby.uri","label":"Dc Relation Isreferencedby URI","values":["https://www.repository.cam.ac.uk/handle/1810/339047"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["Doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["Doctor of Philosophy (PhD)"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["input/output analysis","nonlinear control","systems theory","stability","monotone operator theory"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["https://creativecommons.org/licenses/by-nd/4.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.doi","label":"DOI","values":["10.17863/CAM.86457"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/0429b750-2fb0-4bc8-8a56-07e2cbcebf94/download"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["This thesis describes new methods in input/output systems theory. The first part of this thesis develops a novel graphical method for the stability analysis of feedback systems. The Scaled Relative Graph (SRG), a recent concept from monotone operator theory, is shown to generalize the classical Nyquist diagram of an LTI transfer function, and may be plotted for arbitrary nonlinear operators. Applying the SRG to the analysis of feedback interconnections leads to a graphical incremental stability theorem, which unifies and generalizes the Nyquist criterion, circle criterion, incremental passivity theorem, incremental small gain theorem and incremental secant condition. A novel special case of this theorem concerns systems which only violate the assumptions of the incremental passivity theorem when their incremental gains are small. This captures systems whose incremental passivity is destroyed by common effects such as delay and saturation. The second part of this thesis develops algorithmic methods for solving nonlinear circuits composed of monotone elements. Monotonicity is a generalization of the linear property of passivity, and is a fundamental property in the theory of large-scale convex optimization. Modern splitting methods, which invert sums of operators, are shown to correspond to the series or parallel interconnection of circuit elements which are monotone, and may be used to solve the steady-state behavior of such circuits. Consideration of circuits with arbitrary series/parallel interconnections leads to a new splitting algorithm, the nested forward-backward algorithm, which inverts operators composed of sums and inverses. Finally, these methods are extended to circuits composed of the difference of monotone elements. The steady-state behavior of such circuits can be solved via an adaptation of Difference of Convex (DC) Programming. Such circuits include the classical van der Pol oscillator and the FitzHugh-Nagumo model of an excitable neuron, which both consist of an LTI transfer function in parallel with monotone and anti-monotone nonlinear resistors. A new algorithm, the difference-of-monotone Douglas-Rachford algorithm, is proposed, which matches the mixed-feedback structure of these circuits."]},{"key":"dc:format.checksum.md5","label":"Dc Format Checksum Md5","values":["a5dbaeef083ee52c4879f5ce6691b75c"]},{"key":"dc:title","label":"Title","values":["Input/output analysis: graphical and algorithmic methods"]}]}],"canonical_facts":{"dc:contributor.advisor":["Sepulchre, Rodolphe"],"dc:contributor.sponsor":["Cambridge Trust, University of Sydney"],"dc:creator":["Chaffey, Thomas"],"dc:date.issued":["2022-03-21"],"dc:description.abstract":["This thesis describes new methods in input/output systems theory. The first part of this thesis develops a novel graphical method for the stability analysis of feedback systems. The Scaled Relative Graph (SRG), a recent concept from monotone operator theory, is shown to generalize the classical Nyquist diagram of an LTI transfer function, and may be plotted for arbitrary nonlinear operators. Applying the SRG to the analysis of feedback interconnections leads to a graphical incremental stability theorem, which unifies and generalizes the Nyquist criterion, circle criterion, incremental passivity theorem, incremental small gain theorem and incremental secant condition. A novel special case of this theorem concerns systems which only violate the assumptions of the incremental passivity theorem when their incremental gains are small. This captures systems whose incremental passivity is destroyed by common effects such as delay and saturation. The second part of this thesis develops algorithmic methods for solving nonlinear circuits composed of monotone elements. Monotonicity is a generalization of the linear property of passivity, and is a fundamental property in the theory of large-scale convex optimization. Modern splitting methods, which invert sums of operators, are shown to correspond to the series or parallel interconnection of circuit elements which are monotone, and may be used to solve the steady-state behavior of such circuits. Consideration of circuits with arbitrary series/parallel interconnections leads to a new splitting algorithm, the nested forward-backward algorithm, which inverts operators composed of sums and inverses. Finally, these methods are extended to circuits composed of the difference of monotone elements. The steady-state behavior of such circuits can be solved via an adaptation of Difference of Convex (DC) Programming. Such circuits include the classical van der Pol oscillator and the FitzHugh-Nagumo model of an excitable neuron, which both consist of an LTI transfer function in parallel with monotone and anti-monotone nonlinear resistors. A new algorithm, the difference-of-monotone Douglas-Rachford algorithm, is proposed, which matches the mixed-feedback structure of these circuits."],"dc:format.checksum.md5":["a5dbaeef083ee52c4879f5ce6691b75c"],"dc:identifier.doi":["10.17863/CAM.86457"],"dc:identifier.uri":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/0429b750-2fb0-4bc8-8a56-07e2cbcebf94/download"],"dc:language":["eng"],"dc:publisher.institution":["University of Cambridge"],"dc:relation.isreferencedby.uri":["https://www.repository.cam.ac.uk/handle/1810/339047"],"dc:rights":["https://creativecommons.org/licenses/by-nd/4.0/"],"dc:subject":["input/output analysis","nonlinear control","systems theory","stability","monotone operator theory"],"dc:title":["Input/output analysis: graphical and algorithmic methods"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["Doctoral"],"dc:type.qualificationname":["Doctor of Philosophy (PhD)"]},"updated_at":"2026-07-22T22:24:17Z"}