-
Discrete-Time Consensus Networks: Scalability, Grounding and Countermeasures
Authors:
Yamin Yan,
Sonja Stüdli,
Maria M. Seron,
Richard H. Middleton
Abstract:
We investigate the disruption of discrete-time consensus problems via grounding. Loosely speaking, grounding a network occurs if the state of one agent no longer responds to inputs from other agents and/or changes its dynamics. Then, the agent becomes a leader or a so-called stubborn agent. The disruption of the agent can be caused by internal faults, safety protocols or due to an external malicio…
▽ More
We investigate the disruption of discrete-time consensus problems via grounding. Loosely speaking, grounding a network occurs if the state of one agent no longer responds to inputs from other agents and/or changes its dynamics. Then, the agent becomes a leader or a so-called stubborn agent. The disruption of the agent can be caused by internal faults, safety protocols or due to an external malicious attack. In this paper we investigate how grounding affects expander graph families that usually exhibit good scaling properties with increasing network size. It is shown that the algebraic connectivity and eigenratio of the network decrease due to the grounding causing the performance and scalability of the network to deteriorate, even to the point of losing consensusability. We then present possible countermeasures to such disruptions and discuss their practicality and limitations. In particular, for a specific countermeasure of deliberately grounding additional nodes, we investigate extensively how to select additional nodes to ground and how many nodes we need to ground to recover the consensus performance. Our findings are supported by a wide range of numerical simulations.
△ Less
Submitted 12 February, 2021;
originally announced February 2021.
-
Joint Resource Allocation to Minimize Execution Time of Federated Learning in Cell-Free Massive MIMO
Authors:
Tung T. Vu,
Duy T. Ngo,
Hien Quoc Ngo,
Minh N. Dao,
Nguyen H. Tran,
Richard H. Middleton
Abstract:
Due to its communication efficiency and privacy-preserving capability, federated learning (FL) has emerged as a promising framework for machine learning in 5G-and-beyond wireless networks. Of great interest is the design and optimization of new wireless network structures that support the stable and fast operation of FL. Cell-free massive multiple-input multiple-output (CFmMIMO) turns out to be a…
▽ More
Due to its communication efficiency and privacy-preserving capability, federated learning (FL) has emerged as a promising framework for machine learning in 5G-and-beyond wireless networks. Of great interest is the design and optimization of new wireless network structures that support the stable and fast operation of FL. Cell-free massive multiple-input multiple-output (CFmMIMO) turns out to be a suitable candidate, which allows each communication round in the iterative FL process to be stably executed within a large-scale coherence time. Aiming to reduce the total execution time of the FL process in CFmMIMO, this paper proposes choosing only a subset of available users to participate in FL. An optimal selection of users with favorable link conditions would minimize the execution time of each communication round, while limiting the total number of communication rounds required. Toward this end, we formulate a joint optimization problem of user selection, transmit power, and processing frequency, subject to a predefined minimum number of participating users to guarantee the quality of learning. We then develop a new algorithm that is proven to converge to the neighbourhood of the stationary points of the formulated problem. Numerical results confirm that our proposed approach significantly reduces the FL total execution time over baseline schemes. The time reduction is more pronounced when the density of access point deployments is moderately low.
△ Less
Submitted 10 June, 2022; v1 submitted 4 September, 2020;
originally announced September 2020.
-
Scalability in nonlinear network systems affected by delays and disturbances
Authors:
Shihao Xie,
Giovanni Russo,
Richard Middleton
Abstract:
This paper is concerned with the study of scalability in nonlinear heterogeneous networks affected by communication delays and disturbances. After formalizing the notion of scalability, we give two sufficient conditions to assess this property. Our results can be used to study leader-follower and leaderless networks and also allow to consider the case when the desired configuration of the system c…
▽ More
This paper is concerned with the study of scalability in nonlinear heterogeneous networks affected by communication delays and disturbances. After formalizing the notion of scalability, we give two sufficient conditions to assess this property. Our results can be used to study leader-follower and leaderless networks and also allow to consider the case when the desired configuration of the system changes over time. We show how our conditions can be turned into design guidelines to guarantee scalability and illustrate their effectiveness via numerical examples.
△ Less
Submitted 14 July, 2022; v1 submitted 12 June, 2020;
originally announced June 2020.
-
Great SCO2T! Rapid tool for carbon sequestration science, engineering, and economics
Authors:
Richard S. Middleton,
Jeffrey M. Bielicki,
Bailian Chen,
Andres F. Clarens,
Robert P. Currier,
Kevin M. Ellett,
Dylan R. Harp,
Brendan A. Hoover,
Ryan M. Kammer,
Dane N. McFarlane,
Jonathan D. Ogland-Hand,
Rajesh J. Pawar,
Philip H. Stauffer,
Hari S. Viswanathan,
Sean P. Yaw
Abstract:
CO2 capture and storage (CCS) technology is likely to be widely deployed in coming decades in response to major climate and economics drivers: CCS is part of every clean energy pathway that limits global warming to 2C or less and receives significant CO2 tax credits in the United States. These drivers are likely to stimulate capture, transport, and storage of hundreds of millions or billions of to…
▽ More
CO2 capture and storage (CCS) technology is likely to be widely deployed in coming decades in response to major climate and economics drivers: CCS is part of every clean energy pathway that limits global warming to 2C or less and receives significant CO2 tax credits in the United States. These drivers are likely to stimulate capture, transport, and storage of hundreds of millions or billions of tonnes of CO2 annually. A key part of the CCS puzzle will be identifying and characterizing suitable storage sites for vast amounts of CO2. We introduce a new software tool called SCO2T (Sequestration of CO2 Tool, pronounced "Scott") to rapidly characterizing saline storage reservoirs. The tool is designed to rapidly screen hundreds of thousands of reservoirs, perform sensitivity and uncertainty analyses, and link sequestration engineering (injection rates, reservoir capacities, plume dimensions) to sequestration economics (costs constructed from around 70 separate economic inputs). We describe the novel science developments supporting SCO2T including a new approach to estimating CO2 injection rates and CO2 plume dimensions as well as key advances linking sequestration engineering with economics. Next, we perform a sensitivity and uncertainty analysis of geology combinations (including formation depth, thickness, permeability, porosity, and temperature) to understand the impact on carbon sequestration. Through the sensitivity analysis we show that increasing depth and permeability both can lead to increased CO2 injection rates, increased storage potential, and reduced costs, while increasing porosity reduces costs without impacting the injection rate (CO2 is injected at a constant pressure in all cases) by increasing the reservoir capacity.
△ Less
Submitted 27 May, 2020;
originally announced May 2020.
-
An Interactive Gravitational-Wave Detector Model for Museums and Fairs
Authors:
S. J. Cooper,
A. C. Green,
H. R. Middleton,
C. P. L. Berry,
R. Buscicchio,
E. Butler,
C. J. Collins,
C. Gettings,
D. Hoyland,
A. W. Jones,
J. H. Lindon,
I. Romero-Shaw,
S. P. Stevenson,
E. P. Takeva,
S. Vinciguerra,
A. Vecchio,
C. M. Mow-Lowry,
A. Freise
Abstract:
In 2015 the first observation of gravitational waves marked a breakthrough in astrophysics, and in technological research and development. The discovery of a gravitational-wave signal from the collision of two black holes, a billion light-years away, received considerable interest from the media and public. We describe the development of a purpose-built exhibit explaining this new area of research…
▽ More
In 2015 the first observation of gravitational waves marked a breakthrough in astrophysics, and in technological research and development. The discovery of a gravitational-wave signal from the collision of two black holes, a billion light-years away, received considerable interest from the media and public. We describe the development of a purpose-built exhibit explaining this new area of research to a general audience. The core element of the exhibit is a working Michelson interferometer: a scaled-down version of the key technology used in gravitational-wave detectors. The Michelson interferometer is integrated into a hands-on exhibit, which allows for user interaction and simulated gravitational-wave observations. An interactive display provides a self-guided explanation of gravitational-wave-related topics through video, animation, images and text. We detail the hardware and software used to create the exhibit and discuss two installation variants: an independent learning experience in a museum setting (the Thinktank Birmingham Science Museum), and a science-festival with the presence of expert guides (the 2017 Royal Society Summer Science Exhibition). We assess audience reception in these two settings, describe the improvements we have made given this information, and discuss future public-engagement projects resulting from this work. The exhibit is found to be effective in communicating the new and unfamiliar field of gravitational-wave research to general audiences. An accompanying website provides parts lists and information for others to build their own version of this exhibit.
△ Less
Submitted 6 August, 2021; v1 submitted 6 April, 2020;
originally announced April 2020.
-
Analysis of Attack via Grounding and Countermeasures in Discrete-Time Consensus Networks
Authors:
Yamin Yan,
Sonja Stuedli,
Maria M. Seron,
Richard H. Middleton
Abstract:
We investigate the disruption of discrete-time consensus problems via grounding. Loosely speaking, grounding a network occurs if the state of one agent no longer responds to inputs from other agents and/or changes its dynamics. Then, the agent becomes a leader or a so called stubborn agent. The disruption of the agent can be caused by internal faults, safety protocols or externally due to a malici…
▽ More
We investigate the disruption of discrete-time consensus problems via grounding. Loosely speaking, grounding a network occurs if the state of one agent no longer responds to inputs from other agents and/or changes its dynamics. Then, the agent becomes a leader or a so called stubborn agent. The disruption of the agent can be caused by internal faults, safety protocols or externally due to a malicious attack. In this paper we investigate how the grounding affects the eigenratio of expander graph families that usually exhibit good scaling properties with increasing network size. It is shown that the algebraic connectivity and eigenratio of the network will decrease due to the grounding causing the performance and scalability of the network to deteriorate, even to the point of losing consensusability. We then present countermeasures to such interruptions both in a passive and active manner. Our findings are supported by numerical simulations given within the paper.
△ Less
Submitted 27 February, 2020;
originally announced February 2020.
-
Cell-Free Massive MIMO for Wireless Federated Learning
Authors:
Tung T. Vu,
Duy T. Ngo,
Nguyen H. Tran,
Hien Quoc Ngo,
Minh N. Dao,
Richard H. Middleton
Abstract:
This paper proposes a novel scheme for cell-free massive multiple-input multiple-output (CFmMIMO) networks to support any federated learning (FL) framework. This scheme allows each instead of all the iterations of the FL framework to happen in a large-scale coherence time to guarantee a stable operation of an FL process. To show how to optimize the FL performance using this proposed scheme, we con…
▽ More
This paper proposes a novel scheme for cell-free massive multiple-input multiple-output (CFmMIMO) networks to support any federated learning (FL) framework. This scheme allows each instead of all the iterations of the FL framework to happen in a large-scale coherence time to guarantee a stable operation of an FL process. To show how to optimize the FL performance using this proposed scheme, we consider an existing FL framework as an example and target FL training time minimization for this framework. An optimization problem is then formulated to jointly optimize the local accuracy, transmit power, data rate, and users' processing frequency. This mixed-timescale stochastic nonconvex problem captures the complex interactions among the training time, and transmission and computation of training updates of one FL process. By employing the online successive convex approximation approach, we develop a new algorithm to solve the formulated problem with proven convergence to the neighbourhood of its stationary points. Our numerical results confirm that the presented joint design reduces the training time by up to $55\%$ over baseline approaches. They also show that CFmMIMO here requires the lowest training time for FL processes compared with cell-free time-division multiple access massive MIMO and collocated massive MIMO.
△ Less
Submitted 14 June, 2020; v1 submitted 27 September, 2019;
originally announced September 2019.
-
Scalability and Fragility in Bounded-Degree Consensus Networks
Authors:
Emma Tegling,
Richard H. Middleton,
Maria M. Seron
Abstract:
We investigate the performance of linear consensus algorithms subject to a scaling of the underlying network size. Specifically, we model networked systems with $n^{\text{th}}$ order integrator dynamics over families of undirected, weighted graphs with bounded nodal degrees. In such networks, the algebraic connectivity affects convergence rates, sensitivity, and, for high-order consensus (…
▽ More
We investigate the performance of linear consensus algorithms subject to a scaling of the underlying network size. Specifically, we model networked systems with $n^{\text{th}}$ order integrator dynamics over families of undirected, weighted graphs with bounded nodal degrees. In such networks, the algebraic connectivity affects convergence rates, sensitivity, and, for high-order consensus ($n \ge 3$), stability properties. This connectivity scales unfavorably in network size, except in expander families, where consensus performs well regardless of network size. We show, however, that consensus over expander families is fragile to a grounding of the network (resulting in leader-follower consensus). We show that grounding may deteriorate system performance by orders of magnitude in large networks, or cause instability in high-order consensus. Our results, which we illustrate through simulations, also point to a fundamental limitation to the scalability of consensus networks with leaders, which does not apply to leaderless networks.
△ Less
Submitted 3 June, 2020; v1 submitted 5 July, 2019;
originally announced July 2019.
-
CostMAP: An open-source software package for develo** cost surfaces
Authors:
Brendan Hoover,
Richard S. Middleton,
Sean Yaw
Abstract:
Cost Surfaces are a quantitative means of assigning social, environmental, and engineering costs that impact movement across landscapes. Cost surfaces are a crucial aspect of route optimization and least cost path (LCP) calculations and are used in a wide range of disciplines including computer science, landscape ecology, and energy infrastructure modeling. Linear features present a key weakness t…
▽ More
Cost Surfaces are a quantitative means of assigning social, environmental, and engineering costs that impact movement across landscapes. Cost surfaces are a crucial aspect of route optimization and least cost path (LCP) calculations and are used in a wide range of disciplines including computer science, landscape ecology, and energy infrastructure modeling. Linear features present a key weakness to traditional routing calculations along costs surfaces because they cannot identify whether moving from a cell to its adjacent neighbors constitutes crossing a linear barrier (increased cost) or following a corridor (reduced cost). Following and avoiding linear features can drastically change predicted routes. In this paper, we introduce an approach to address this "adjacency" issue using a search kernel that identifies these critical barriers and corridors. We have built this approach into a new Java-based open-source software package called CostMAP (cost surface multi-layer aggregation program), which calculates cost surfaces and cost networks using the search kernel. CostMAP not only includes the new adjacency capability, it is also a versatile multi-platform package that allows users to input multiple GIS data layers and to set weights and rules for develo** a weighted-cost network. We compare CostMAP performance with traditional cost surface approaches and show significant performance gains, both following corridors and avoiding barriers, using examples in a movement ecology framework and pipeline routing for carbon capture, and storage (CCS). We also demonstrate that the new software can straightforwardly calculate cost surfaces on a national scale.
△ Less
Submitted 17 June, 2019;
originally announced June 2019.
-
An analytical bound on the fleet size in vehicle routing problems: a dynamic programming approach
Authors:
Ali Eshragh,
Rasul Esmaeilbeigi,
Richard Middleton
Abstract:
We present an analytical upper bound on the number of required vehicles for vehicle routing problems with split deliveries and any number of capacitated depots. We show that a fleet size greater than the proposed bound is not achievable based on a set of common assumptions. This property of the upper bound is proved through a dynamic programming approach. We also discuss the validity of the bound…
▽ More
We present an analytical upper bound on the number of required vehicles for vehicle routing problems with split deliveries and any number of capacitated depots. We show that a fleet size greater than the proposed bound is not achievable based on a set of common assumptions. This property of the upper bound is proved through a dynamic programming approach. We also discuss the validity of the bound for a wide variety of routing problems with or without split deliveries.
△ Less
Submitted 11 April, 2020; v1 submitted 14 May, 2019;
originally announced May 2019.
-
A port-Hamiltonian approach to the control of nonholonomic systems
Authors:
Joel Ferguson,
Alejandro Donaire,
Christopher Renton,
Richard H. Middleton
Abstract:
In this paper a method of controlling nonholonomic systems within the port-Hamiltonian (pH) framework is presented. It is well known that nonholonomic systems can be represented as pH systems without Lagrange multipliers by considering a reduced momentum space. Here, we revisit the modelling of these systems for the purpose of identifying the role that physical dam** plays. Using this representa…
▽ More
In this paper a method of controlling nonholonomic systems within the port-Hamiltonian (pH) framework is presented. It is well known that nonholonomic systems can be represented as pH systems without Lagrange multipliers by considering a reduced momentum space. Here, we revisit the modelling of these systems for the purpose of identifying the role that physical dam** plays. Using this representation, a geometric structure generalising the well known chained form is identified as \textit{chained structure}. A discontinuous control law is then proposed for pH systems with chained structure such that the configuration of the system asymptotically approaches the origin. The proposed control law is robust against the dam** and inertial of the open-loop system. The results are then demonstrated numerically on a car-like vehicle.
△ Less
Submitted 22 January, 2018;
originally announced January 2018.
-
Robust integral action of port-Hamiltonian systems
Authors:
Joel Ferguson,
Alejandro Donaire,
Romeo Ortega,
Richard H. Middleton
Abstract:
Interconnection and dam** assignment, passivity-based control (IDA-PBC) has proven to be a successful control technique for the stabilisation of many nonlinear systems. In this paper, we propose a method to robustify a system which has been stabilised using IDA-PBC with respect to constant, matched disturbances via the addition of integral action. The proposed controller extends previous work on…
▽ More
Interconnection and dam** assignment, passivity-based control (IDA-PBC) has proven to be a successful control technique for the stabilisation of many nonlinear systems. In this paper, we propose a method to robustify a system which has been stabilised using IDA-PBC with respect to constant, matched disturbances via the addition of integral action. The proposed controller extends previous work on the topic by being robust against the dam** of the system, a quantity which may not be known in many applications.
△ Less
Submitted 18 January, 2018;
originally announced January 2018.
-
Discontinuous energy sha** control of the Chaplygin sleigh
Authors:
Joel Ferguson,
Alejandro Donaire,
Richard H. Middleton
Abstract:
In this paper we present an energy sha** control law for set-point regulation of the Chaplygin sleigh. It is well known that nonholonomic mechanical systems cannot be asymptotically stabilised using smooth control laws as they do no satisfy Brockett's necessary condition for smooth stabilisation. Here, we propose a discontinuous control law that can be seen as a potential energy sha** and damp…
▽ More
In this paper we present an energy sha** control law for set-point regulation of the Chaplygin sleigh. It is well known that nonholonomic mechanical systems cannot be asymptotically stabilised using smooth control laws as they do no satisfy Brockett's necessary condition for smooth stabilisation. Here, we propose a discontinuous control law that can be seen as a potential energy sha** and dam** injection controller. The proposed controller is shown to be robust against the parameters of both the inertia matrix and the dam** structure of the open-loop system.
△ Less
Submitted 18 January, 2018;
originally announced January 2018.
-
New results on disturbance rejection for energy-sha** controlled port-Hamiltonian systems
Authors:
Joel Ferguson,
Alejandro Donaire,
Romeo Ortega,
Richard H. Middleton
Abstract:
In this paper we present a method to robustify energy-sha** controllers for port-Hamiltonian (pH) systems by adding an integral action that rejects unknown additive disturbances. The proposed controller preserves the pH structure and, by adding to the new energy function a suitable cross term between the plant and the controller coordinates, it avoids the unnatural coordinate transformation used…
▽ More
In this paper we present a method to robustify energy-sha** controllers for port-Hamiltonian (pH) systems by adding an integral action that rejects unknown additive disturbances. The proposed controller preserves the pH structure and, by adding to the new energy function a suitable cross term between the plant and the controller coordinates, it avoids the unnatural coordinate transformation used in the past. This paper extends our previous work by relaxing the requirement that the systems Hamiltonian is strictly convex and separable, which allows the controller to be applied to a large class of mechanical systems, including underactuated systems with non-constant mass matrix. Furthermore, it is shown that the proposed integral action control is robust against unknown dam** in the case of fully-actuated systems.
△ Less
Submitted 16 October, 2017;
originally announced October 2017.
-
Matched disturbance rejection for energy-sha** controlled underactuated mechanical systems
Authors:
Joel Ferguson,
Alejandro Donaire,
Romeo Ortega,
Richard H. Middleton
Abstract:
In this paper, we present a method of applying integral action to enhance the robustness of energy sha** controllers for underactuated mechanical systems with matched disturbances. Previous works on this problem have required a number of technical assumptions to be satisfied, restricting the class of systems for which the proposed solution applies. The design proposed in this paper relaxes some…
▽ More
In this paper, we present a method of applying integral action to enhance the robustness of energy sha** controllers for underactuated mechanical systems with matched disturbances. Previous works on this problem have required a number of technical assumptions to be satisfied, restricting the class of systems for which the proposed solution applies. The design proposed in this paper relaxes some of these technical assumptions.
△ Less
Submitted 31 August, 2017;
originally announced August 2017.
-
Joint Optimization of User Association, Data Delivery Rate and Precoding for Cache-Enabled F-RANs
Authors:
Tung T. Vu,
Duy T. Ngo,
Lawrence Ong,
Salman Durrani,
Richard H. Middleton
Abstract:
This paper considers the downlink of a cache-enabled fog radio access network (F-RAN) with limited fronthaul capacity, where user association (UA), data delivery rate (DDR) and signal precoding are jointly optimized. We formulate a mixed-integer nonlinear programming problem in which the weighted difference of network throughput and total power consumption is maximized, subject to the predefined D…
▽ More
This paper considers the downlink of a cache-enabled fog radio access network (F-RAN) with limited fronthaul capacity, where user association (UA), data delivery rate (DDR) and signal precoding are jointly optimized. We formulate a mixed-integer nonlinear programming problem in which the weighted difference of network throughput and total power consumption is maximized, subject to the predefined DDR requirements and the maximum transmit power at each eRRH. To address this challenging problem, we first apply the l0-norm approximation and l1-norm minimization techniques to deal with the UA. After this key step, we arrive at an approximated problem that only involves the joint optimization of DDR and precoding. By using the alternating descent method, we further decompose this problem into a convex subproblem for DDR allocation and a nonconvex subproblem for precoding design. While the former is globally solved by the interior-point method, the latter is solved by a specifically tailored successive convex quadratic programming method. Finally, we propose an iterative algorithm for the original joint optimization that is guaranteed to converge. Importantly, each iteration of the developed algorithm only involves solving simple convex problems. Numerical examples demonstrate that the proposed design significantly improves both throughput and power performances, especially in practical F-RANs with limited fronthaul capacity. Compared to the sole precoder design for a given cache placement, our joint design is shown to improve the throughput by 50% while saving at least half of the total power consumption in the considered examples.
△ Less
Submitted 30 June, 2017;
originally announced June 2017.
-
Integral control of port-Hamiltonian systems: non-passive outputs without coordinate transformation
Authors:
Joel Ferguson,
Alejandro Donaire,
Richard H. Middleton
Abstract:
In this paper we present a method for the addition of integral action to non-passive outputs of a class of port-Hamiltonian systems. The proposed integral controller is a dynamic extension, constructed from the open loop system, such that the closed loop preserves the port-Hamiltonian form. It is shown that the controller is able to reject the effects of both matched and unmatched disturbances, pr…
▽ More
In this paper we present a method for the addition of integral action to non-passive outputs of a class of port-Hamiltonian systems. The proposed integral controller is a dynamic extension, constructed from the open loop system, such that the closed loop preserves the port-Hamiltonian form. It is shown that the controller is able to reject the effects of both matched and unmatched disturbances, preserving the regulation of the non-passive outputs. Previous solutions to this problem have relied on a change of coordinates whereas the presented solution is developed using the original state vector and, therefore, retains its physical interpretation. In addition, the resulting closed loop dynamics have a natural interpretation as a Control by Interconnection scheme.
△ Less
Submitted 23 March, 2017;
originally announced March 2017.
-
Network Systems and String Stability
Authors:
S. Stuedli,
M. M. Seron,
R. H. Middleton
Abstract:
Network systems and their control are highly important and appear in a variety of applications, including vehicle platooning and formation con- trol. Especially vehicle platoons are highly investigated and an interesting problem that arises in this area is string stability, which broadly spoken means that a input signal amplifies unbounded as it travels through the vehicle string. However, various…
▽ More
Network systems and their control are highly important and appear in a variety of applications, including vehicle platooning and formation con- trol. Especially vehicle platoons are highly investigated and an interesting problem that arises in this area is string stability, which broadly spoken means that a input signal amplifies unbounded as it travels through the vehicle string. However, various definitions are commonly used. In this paper, we aim to formalise the notion of string stability and illustrate the importance of those distinctions on simulation examples. A second goal is to generalise the found definitions for general network systems.
△ Less
Submitted 19 February, 2017;
originally announced February 2017.
-
Uncertainty quantification for CO2 sequestration and enhanced oil recovery
Authors:
Zhenxue Dai,
Hari Viswanathan,
Julianna Fessenden-Rahn,
Richard Middleton,
Feng Pan,
Wei Jia,
Si-Yong Lee,
Brian McPherson,
William Ampomah,
Reid Grigg
Abstract:
This study develops a statistical method to perform uncertainty quantification for understanding CO2 storage potential within an enhanced oil recovery (EOR) environment at the Farnsworth Unit of the Anadarko Basin in northern Texas. A set of geostatistical-based Monte Carlo simulations of CO2-oil-water flow and reactive transport in the Morrow formation are conducted for global sensitivity and sta…
▽ More
This study develops a statistical method to perform uncertainty quantification for understanding CO2 storage potential within an enhanced oil recovery (EOR) environment at the Farnsworth Unit of the Anadarko Basin in northern Texas. A set of geostatistical-based Monte Carlo simulations of CO2-oil-water flow and reactive transport in the Morrow formation are conducted for global sensitivity and statistical analysis of the major uncertainty metrics: net CO2 injection, cumulative oil production, cumulative gas (CH4) production, and net water injection. A global sensitivity and response surface analysis indicates that reservoir permeability, porosity, and thickness are the major intrinsic reservoir parameters that control net CO2 injection/storage and oil/gas recovery rates. The well spacing and the initial water saturation also have large impact on the oil/gas recovery rates. Further, this study has revealed key insights into the potential behavior and the operational parameters of CO2 sequestration at CO2-EOR sites, including the impact of reservoir characterization uncertainty; understanding this uncertainty is critical in terms of economic decision making and the cost-effectiveness of CO2 storage through EOR.
△ Less
Submitted 18 November, 2014;
originally announced November 2014.
-
Biological mechanism and identifiability of a class of stationary conductance model for Voltage-gated Ion channels
Authors:
Febe Francis,
Míriam R. García,
Oliver Mason,
Richard H. Middleton
Abstract:
The physiology of voltage gated ion channels is complex and insights into their gating mechanism is incomplete. Their function is best represented by Markov models with relatively large number of distinct states that are connected by thermodynamically feasible transitions. On the other hand, popular models such as the one of Hodgkin and Huxley have empirical assumptions that are generally unrealis…
▽ More
The physiology of voltage gated ion channels is complex and insights into their gating mechanism is incomplete. Their function is best represented by Markov models with relatively large number of distinct states that are connected by thermodynamically feasible transitions. On the other hand, popular models such as the one of Hodgkin and Huxley have empirical assumptions that are generally unrealistic. Experimental protocols often dictate the number of states in proposed Markov models, thus creating disagreements between various observations on the same channel. Here we aim to propose a limit to the minimum number of states required to model ion channels by employing a paradigm to define stationary conductance in a class of ion-channels. A simple expression is generated using concepts in elementary thermodynamics applied to protein conformational transitions. Further, it matches well many published channel current-voltage characteristics and parameters of the model are found to be identifiable and easily determined from usual experimental protocols.
△ Less
Submitted 13 December, 2013;
originally announced December 2013.
-
Large-signal stability conditions for semi-quasi-Z-source inverters: switched and averaged models
Authors:
Hernan Haimovich,
Richard H. Middleton,
Lisandro De Nicolo
Abstract:
The recently introduced semi-quasi-Z-source in- verter can be interpreted as a DC-DC converter whose input- output voltage gain may take any value between minus infinity and 1 depending on the applied duty cycle. In order to generate a sinusoidal voltage waveform at the output of this converter, a time-varying duty cycle needs to be applied. Application of a time-varying duty cycle that produces l…
▽ More
The recently introduced semi-quasi-Z-source in- verter can be interpreted as a DC-DC converter whose input- output voltage gain may take any value between minus infinity and 1 depending on the applied duty cycle. In order to generate a sinusoidal voltage waveform at the output of this converter, a time-varying duty cycle needs to be applied. Application of a time-varying duty cycle that produces large-signal behavior requires careful consideration of stability issues. This paper provides stability results for both the large-signal averaged and the switched models of the semi-quasi-Z-source inverter operating in continuous conduction mode. We show that if the load is linear and purely resistive then the boundedness and ultimate boundedness of the state trajectories is guaranteed provided some reasonable operation conditions are ensured. These conditions amount to kee** the duty cycle away from the extreme values 0 or 1 (averaged and switched models), and limiting the maximum PWM switching period (switched model). The results obtained can be used to give theoretical justification to the inverter operation strategy recently proposed by Cao et al. in [1].
△ Less
Submitted 4 June, 2013;
originally announced June 2013.
-
Towards Modeling HIV Long Term Behavior
Authors:
Esteban A. Hernandez-Vargas,
Dhagash Mehta,
Richard H. Middleton
Abstract:
The precise mechanism that causes HIV infection to progress to AIDS is still unknown. This paper presents a mathematical model which is able to predict the entire trajectory of the HIV/AIDS dynamics, then a possible explanation for this progression is examined. A dynamical analysis of this model reveals a set of parameters which may produce two real equilibria in the model. One equilibrium is stab…
▽ More
The precise mechanism that causes HIV infection to progress to AIDS is still unknown. This paper presents a mathematical model which is able to predict the entire trajectory of the HIV/AIDS dynamics, then a possible explanation for this progression is examined. A dynamical analysis of this model reveals a set of parameters which may produce two real equilibria in the model. One equilibrium is stable and represents those individuals who have been living with HIV for at least 7 to 9 years, and do not develop AIDS. The other one is unstable and represents those patients who developed AIDS in an average period of 10 years. However, further work is needed since the proposed model is sensitive to parameter variations.
△ Less
Submitted 13 May, 2011;
originally announced May 2011.
-
Expected Performance of the ATLAS Experiment - Detector, Trigger and Physics
Authors:
The ATLAS Collaboration,
G. Aad,
E. Abat,
B. Abbott,
J. Abdallah,
A. A. Abdelalim,
A. Abdesselam,
O. Abdinov,
B. Abi,
M. Abolins,
H. Abramowicz,
B. S. Acharya,
D. L. Adams,
T. N. Addy,
C. Adorisio,
P. Adragna,
T. Adye,
J. A. Aguilar-Saavedra,
M. Aharrouche,
S. P. Ahlen,
F. Ahles,
A. Ahmad,
H. Ahmed,
G. Aielli,
T. Akdogan
, et al. (2587 additional authors not shown)
Abstract:
A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance of b-tagging and the trigger. The physics potential for a variety of interesting physics processes, within the Standard Model and beyond, is examined. The study comprises a series of notes based on…
▽ More
A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance of b-tagging and the trigger. The physics potential for a variety of interesting physics processes, within the Standard Model and beyond, is examined. The study comprises a series of notes based on simulations of the detector and physics processes, with particular emphasis given to the data expected from the first years of operation of the LHC at CERN.
△ Less
Submitted 14 August, 2009; v1 submitted 28 December, 2008;
originally announced January 2009.
-
Optimal metabolic pathway activation
Authors:
Diego Oyarzún,
Brian Ingalls,
Richard Middleton,
Dimitrios Kalamatianos
Abstract:
This paper deals with temporal enzyme distribution in the activation of biochemical pathways. Pathway activation arises when production of a certain biomolecule is required due to changing environmental conditions. Under the premise that biological systems have been optimized through evolutionary processes, a biologically meaningful optimal control problem is posed. In this setup, the enzyme con…
▽ More
This paper deals with temporal enzyme distribution in the activation of biochemical pathways. Pathway activation arises when production of a certain biomolecule is required due to changing environmental conditions. Under the premise that biological systems have been optimized through evolutionary processes, a biologically meaningful optimal control problem is posed. In this setup, the enzyme concentrations are assumed to be time dependent and constrained by a limited overall enzyme production capacity, while the optimization criterion accounts for both time and resource usage.
Using geometric arguments we establish the bang-bang nature of the solution and reveal that each reaction must be sequentially activated in the same order as they appear in the pathway. The results hold for a broad range of enzyme dynamics which includes, but is not limited to, Mass Action, Michaelis-Menten and Hill Equation kinetics.
△ Less
Submitted 16 January, 2008;
originally announced January 2008.
-
Feedback Medicine: Control Systems Concepts in Personalised, Predictive Medicine and Combinatorial Intervention
Authors:
Peter Wellstead,
Rick Middleton,
Olaf Wolkenhauer
Abstract:
In its broadest definition, systems biology is the application of a `systems' way of thinking about and doing cell biology. By implication, this also invites us to consider a systems approach in the context of medicine and the treatment of disease. In particular, the idea that systems biology can form the basis of a personalised, predictive medicine will require that much closer attention is pai…
▽ More
In its broadest definition, systems biology is the application of a `systems' way of thinking about and doing cell biology. By implication, this also invites us to consider a systems approach in the context of medicine and the treatment of disease. In particular, the idea that systems biology can form the basis of a personalised, predictive medicine will require that much closer attention is paid to the analytic properties of the feedback loops which will be set up by a personalised approach to healthcare. To emphasize the role that feedback theory will play in understanding personalised medicine, we use the term feedback medicine to describe the issues outlined.In these notes we consider feedback and control systems concepts applied to two important themes in medical systems biology - personalised medicine and combinatorial intervention. In particular, we formulate a feedback control interpretation for the administration of medicine, and relate them to various forms of medical treatment.
△ Less
Submitted 27 March, 2006;
originally announced March 2006.