-
Initial Condition Independent Stabilisability of Switched Affine Systems
Authors:
Christopher Townsend,
Maria M. Seron
Abstract:
We have previously demonstrated that a switched affine system is stabilisable independently of the initial condition, i.e. there exists an asymptotically stabilising switching function which is the same for all initial conditions, if and only if there exists a stable convex combination of the sub-system matrices. This result was proven by constructing a stabilising switching function of unbounded…
▽ More
We have previously demonstrated that a switched affine system is stabilisable independently of the initial condition, i.e. there exists an asymptotically stabilising switching function which is the same for all initial conditions, if and only if there exists a stable convex combination of the sub-system matrices. This result was proven by constructing a stabilising switching function of unbounded switching frequency. The current paper proves that there exists a switching function with bounded switching frequency which stabilises a switched affine system independent of its initial condition.
△ Less
Submitted 16 April, 2025;
originally announced April 2025.
-
A classifying localic category for locally compact locales with application to the Axiom of Infinity (poster)
Authors:
Christopher Francis Townsend
Abstract:
For an internal category $\mathbb{C}$ in a cartesian category $\mathcal{C}$ we define, naturally in objects $X$ of $\mathcal{C}$, $Prin_{\mathbb{C}}(X)$. This is a category whose objects are principal $c \mathbb{C}$-bundles over $X$ and whose morphisms are principal $c(\mathbb{C}^{\uparrow})$-bundles. Here $c(\_)$ denotes taking the core groupoid of a category (same objects but only isomorphisms a…
▽ More
For an internal category $\mathbb{C}$ in a cartesian category $\mathcal{C}$ we define, naturally in objects $X$ of $\mathcal{C}$, $Prin_{\mathbb{C}}(X)$. This is a category whose objects are principal $c \mathbb{C}$-bundles over $X$ and whose morphisms are principal $c(\mathbb{C}^{\uparrow})$-bundles. Here $c(\_)$ denotes taking the core groupoid of a category (same objects but only isomorphisms as morphisms) and $\mathbb{C}^{\uparrow}$ is the arrow category of $\mathbb{C}$ (objects morphisms, morphisms commuting squares). We show that $X \mapsto Prin_{\mathbb{C}}(X)$ is a stack of categories and call stacks of this sort lax-geometric. We then provide two sufficient conditions for a stack to be lax-geometric and use them to prove that the pseudo-functor $X \mapsto \mathbf{LK}_{Sh(X)}$ on the category of locales $\mathbf{Loc}$ is a lax-geometric stack. Here $\mathbf{LK}_{Sh(X)}$ is the category of locally compact locales in the topos of sheaves over $X$, $Sh(X)$. Therefore there exists a localic category $\mathbb{C}_{\mathbf{LK}}$ such that $\mathbf{LK}_{Sh(X)} \simeq Prin_{\mathbb{C}_{\mathbf{LK}}}(X)$ naturally for every locale $X$.
We then show how this can be used to give a new localic characterisation of the Axiom of Infinity.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
A Classifying groupoid for compact Hausdorff locales
Authors:
Simon Henry,
Christopher Townsend
Abstract:
We construct a localic groupoid $\mathbb{G}_{KH}$ such that for any locale $X$ the category of compact Hausdorff locales in the topos of sheaves over $X$ is equivalent to a category whose objects are principal $\mathbb{G}_{KH}$-bundles over $X$ and whose morphisms are $\mathbb{S}$-homotopies (where $\mathbb{S}$ is the Sierpiński locale).
This result can be intuitively viewed as the compact Hausd…
▽ More
We construct a localic groupoid $\mathbb{G}_{KH}$ such that for any locale $X$ the category of compact Hausdorff locales in the topos of sheaves over $X$ is equivalent to a category whose objects are principal $\mathbb{G}_{KH}$-bundles over $X$ and whose morphisms are $\mathbb{S}$-homotopies (where $\mathbb{S}$ is the Sierpiński locale).
This result can be intuitively viewed as the compact Hausdorff dual of the well known result from topos theory that there is an object classifier.
△ Less
Submitted 11 October, 2023;
originally announced October 2023.
-
Compact Hausdorff Locales in presheaf toposes
Authors:
Simon Henry,
Christopher Townsend
Abstract:
We prove that for any small category $\mathcal{C}$, the category $\mathbf{KHausLoc}_{\hat{\mathcal{C}}}$ of compact Hausdorff locales in the presheaf topos $\hat{\mathcal{C}}$, is equivalent to the category of functors $\mathcal{C} \to \mathbf{KHausLoc}$.
We prove that for any small category $\mathcal{C}$, the category $\mathbf{KHausLoc}_{\hat{\mathcal{C}}}$ of compact Hausdorff locales in the presheaf topos $\hat{\mathcal{C}}$, is equivalent to the category of functors $\mathcal{C} \to \mathbf{KHausLoc}$.
△ Less
Submitted 8 August, 2022;
originally announced August 2022.
-
Optimal Responses to Constrained Bolus Inputs to Models of T1D
Authors:
Christopher Townsend,
Maria M. Seron,
Nicolas Magdelaine
Abstract:
We characterise the bolus insulin input which minimises the maximum plasma glucose concentration predicted by the Magdelaine and Bergman minimal models in response to any positive bounded disturbance whilst remaining above a fixed lower plasma glucose concentration. This characterisation is in terms of the maxima and minima of the plasma glucose concentration and limits the controllability of such…
▽ More
We characterise the bolus insulin input which minimises the maximum plasma glucose concentration predicted by the Magdelaine and Bergman minimal models in response to any positive bounded disturbance whilst remaining above a fixed lower plasma glucose concentration. This characterisation is in terms of the maxima and minima of the plasma glucose concentration and limits the controllability of such systems. Any further attempt to lower the maximum plasma glucose concentration will result in hypoglycaemia.
△ Less
Submitted 9 May, 2022;
originally announced May 2022.
-
Janelidze's Categorical Galois Theory as a step in the Joyal and Tierney result
Authors:
Christopher Townsend
Abstract:
We show that a trivial case of Janelidze's categorical Galois theorem can be used as a key step in the proof of Joyal and Tierney's result on the representation of Grothendieck toposes as localic groupoids. We also show that this trivial case can be used to prove the general categorical Galois theorem by using a rather pleasing technical result about sliced adjunctions.
We show that a trivial case of Janelidze's categorical Galois theorem can be used as a key step in the proof of Joyal and Tierney's result on the representation of Grothendieck toposes as localic groupoids. We also show that this trivial case can be used to prove the general categorical Galois theorem by using a rather pleasing technical result about sliced adjunctions.
△ Less
Submitted 28 December, 2018;
originally announced December 2018.
-
Optimality of Unconstrained Pulse Inputs to the Bergman Minimal Model
Authors:
Christopher Townsend,
Maria M. Seron
Abstract:
We characterise optimality of bolus insulin inputs, to the Bergman minimal model, by the predicted behaviour of the plasma glucose concentration for a given disturbance. The result is derived subject to the constraints that the plasma glucose concentration must attain but not go below a specified minimum value and the bolus input is rectangular. We give numerical examples of the results for the Ho…
▽ More
We characterise optimality of bolus insulin inputs, to the Bergman minimal model, by the predicted behaviour of the plasma glucose concentration for a given disturbance. The result is derived subject to the constraints that the plasma glucose concentration must attain but not go below a specified minimum value and the bolus input is rectangular. We give numerical examples of the results for the Hovorka model.
△ Less
Submitted 24 June, 2017; v1 submitted 21 June, 2017;
originally announced June 2017.
-
Estimating Human Intent for Physical Human-Robot Co-Manipulation
Authors:
Eric C. Townsend,
Erich A Mielke,
David Wingate,
Marc D. Killpack
Abstract:
Human teams can be exceptionally efficient at adapting and collaborating during manipulation tasks using shared mental models. However, the same shared mental models that can be used by humans to perform robust low-level force and motion control during collaborative manipulation tasks are non-existent for robots. For robots to perform collaborative tasks with people naturally and efficiently, unde…
▽ More
Human teams can be exceptionally efficient at adapting and collaborating during manipulation tasks using shared mental models. However, the same shared mental models that can be used by humans to perform robust low-level force and motion control during collaborative manipulation tasks are non-existent for robots. For robots to perform collaborative tasks with people naturally and efficiently, understanding and predicting human intent is necessary. However, humans are difficult to predict and model. We have completed an exploratory study recording motion and force for 20 human dyads moving an object in tandem in order to better understand how they move and how their movement can be predicted. In this paper, we show how past motion data can be used to predict human intent. In order to predict human intent, which we equate with the human team's velocity for a short time horizon, we used a neural network. Using the previous 150 time steps at a rate of 200 Hz, human intent can be predicted for the next 50 time steps with a mean squared error of 0.02 (m/s)^2. We also show that human intent can be estimated in a human-robot dyad. This work is an important first step in enabling future work of integrating human intent estimation on a robot controller to execute a short-term collaborative trajectory.
△ Less
Submitted 30 May, 2017;
originally announced May 2017.
-
Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms
Authors:
Christopher Townsend
Abstract:
Hilsum-Skandalis maps, from differential geometry, are studied in the context of a cartesian category. It is shown that Hilsum-Skandalis maps can be represented as stably Frobenius adjunctions. This leads to a new and more general proof that Hilsum-Skandalis maps represent a universal way of inverting essential equivalences between internal groupoids. To prove the representation theorem, a new cha…
▽ More
Hilsum-Skandalis maps, from differential geometry, are studied in the context of a cartesian category. It is shown that Hilsum-Skandalis maps can be represented as stably Frobenius adjunctions. This leads to a new and more general proof that Hilsum-Skandalis maps represent a universal way of inverting essential equivalences between internal groupoids. To prove the representation theorem, a new characterisation of the con- nected components adjunction of any internal groupoid is given. The charaterisation is that the adjunction is covered by a stable Frobenius adjunction that is a slice and whose right adjoint is monadic. Geometric morphisms can be represented as stably Frobenius adjunctions. As applications of the study we show how it is easy to recover properties of geometric morphisms, seeing them as aspects of properties of stably Frobenius adjunctions.
△ Less
Submitted 30 March, 2017;
originally announced March 2017.
-
Characterisation of Optimal Responses to Pulse Inputs in the Bergman Minimal Model
Authors:
Christopher Townsend,
Maria M. Seron,
Graham C. Goodwin
Abstract:
The Bergman minimal model is a dynamic model of plasma glucose concentration. It has two input variables -- insulin delivery and carbohydrate intake. We investigate the behaviour of plasma glucose concentration predicted by the model given carbohydrate (CHO) inputs and commensurate insulin inputs. We observe that to maintain plasma glucose above a specified minimum concentration results in an unav…
▽ More
The Bergman minimal model is a dynamic model of plasma glucose concentration. It has two input variables -- insulin delivery and carbohydrate intake. We investigate the behaviour of plasma glucose concentration predicted by the model given carbohydrate (CHO) inputs and commensurate insulin inputs. We observe that to maintain plasma glucose above a specified minimum concentration results in an unavoidable peak in plasma glucose. Additionally, we specify the timing and magnitude of a bolus pulse to minimise this unavoidable peak in plasma glucose concentration whilst attaining but not going below the desired minimum glucose concentration. Finally, we obtain necessary and sufficient conditions for the glucose concentration to be minimised.
△ Less
Submitted 9 March, 2017;
originally announced March 2017.
-
Analysis of Rigid Extended Object Co-Manipulation by Human Dyads: Lateral Movement Characterization
Authors:
Erich A. Mielke,
Eric C. Townsend,
Marc D. Killpack
Abstract:
During co-manipulation involving humans and robots, it is necessary to base robot controllers on human behaviors to achieve comfortable and coordinated movement between the human-robot dyad. In this paper, we describe an experiment between human-human dyads and we record the force and motion data as the leader-follower dyads moved in translation and rotation. The force/motion data was then analyze…
▽ More
During co-manipulation involving humans and robots, it is necessary to base robot controllers on human behaviors to achieve comfortable and coordinated movement between the human-robot dyad. In this paper, we describe an experiment between human-human dyads and we record the force and motion data as the leader-follower dyads moved in translation and rotation. The force/motion data was then analyzed for patterns found during lateral translation only. For extended objects, lateral translation and in-place rotation are ambiguous, but this paper determines a way to characterize lateral translation triggers for future use in human-robot interaction. The study has 4 main results. First, interaction forces are apparent and necessary for co-manipulation. Second, minimum-jerk trajectories are found in the lateral direction only for lateral movement. Third, the beginning of a lateral movement is characterized by distinct force triggers by the leader. Last, there are different metrics that can be attributed to determine which dyads moved most effectively in the lateral direction.
△ Less
Submitted 2 February, 2017;
originally announced February 2017.
-
Stability of properties of locales under groups
Authors:
Christopher Townsend
Abstract:
Given a particular collection of categorical axioms, aimed at capturing properties of the category of locales, we show that if $\mathcal{C}$ is a category that satisfies the axioms then so too is the category $[ G, \mathcal{C}]$ of $G$-objects, for any internal group $G$. To achieve this we prove a general categorical result: if an object $S$ is double exponentiable in a category with finite produ…
▽ More
Given a particular collection of categorical axioms, aimed at capturing properties of the category of locales, we show that if $\mathcal{C}$ is a category that satisfies the axioms then so too is the category $[ G, \mathcal{C}]$ of $G$-objects, for any internal group $G$. To achieve this we prove a general categorical result: if an object $S$ is double exponentiable in a category with finite products then so is its associated trivial $G$-object $(S, π_2: G \times S \rightarrow S)$. The result holds even if $S$ is not exponentiable.
An example is given of a category $\mathcal{C}$ that satisfies the axioms, but for which there is no elementary topos $\mathcal{E}$ such that $\mathcal{C}$ is the category of locales over $\mathcal{E}$.
It is shown, in outline, how the results can be extended from groups to groupoids.
△ Less
Submitted 28 September, 2015;
originally announced September 2015.
-
Principal bundles as Frobenius adjunctions with application to geometric morphisms
Authors:
Christopher Townsend
Abstract:
Using a suitable notion of principal G-bundle, defined relative to an arbitrary cartesian category, it is shown that principal bundles can be characterised as adjunctions that stably satisfy Frobenius reciprocity. The result extends from G, an internal group, to G an internal groupoid. Since geometric morphisms can be described as certain adjunctions that are stably Frobenius, as an application it…
▽ More
Using a suitable notion of principal G-bundle, defined relative to an arbitrary cartesian category, it is shown that principal bundles can be characterised as adjunctions that stably satisfy Frobenius reciprocity. The result extends from G, an internal group, to G an internal groupoid. Since geometric morphisms can be described as certain adjunctions that are stably Frobenius, as an application it is proved that all geometric morphisms, from a localic topos to a bounded topos, can be characterised as principal bundles.
△ Less
Submitted 17 March, 2014;
originally announced March 2014.
-
Representing geometric morphisms using power locale monads
Authors:
Christopher Townsend
Abstract:
It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with the double power locale monad and whose right adjoints preserve finite coproduct. They are also characterised as those adjunctions that preserve the order enri…
▽ More
It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characterised as those that preserve the order enrichment, commute with the double power locale monad and whose right adjoints preserve finite coproduct. They are also characterised as those adjunctions that preserve the order enrichment and commute with both the upper and the lower power locale monads.
△ Less
Submitted 2 July, 2012; v1 submitted 1 December, 2008;
originally announced December 2008.
