Researcher profile

Mike R. Jeffrey

Mike R. Jeffrey contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - Emerging
11works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2016arXiv

A unified approach to explain contrary effects of hysteresis and smoothing in nonsmooth systems

Piecewise smooth dynamical systems make use of discontinuities to model switching between regions of smooth evolution. This introduces an ambiguity in prescribing dynamics at the discontinuity: should it be given by a limiting value on one side or other of the discontinuity, or a member of some set containing those values? One way to remove the ambiguity is to regularize the discontinuity, the most common being either to smooth out the discontinuity, or to introduce a hysteresis between switching in one direction or the other across the discontinuity. Here we show that the two can in general lead to qualitatively different dynamical outcomes. We then define a higher dimensional model with both smoothing and hysteresis, and study the competing limits in which hysteretic or smoothing effect dominate the behaviour, only the former of which correspond to Filippov's standard `sliding modes'.

preprint2016arXiv

Jitter in Dynamical Systems with Intersecting Discontinuity Surfaces

Mathematical models involving switches --- in the form of differential equations with discontinuities --- can accomodate real-world non-idealities through perturbations by hysteresis, time-delay, discretization, and noise. These are used to model the processes associated with switching in electronic control, mechanical contact, predator-prey preferences, and genetic or cellular regulation. The effect of such perturbations on rapid switching dynamics about a single switch are somewhat benign: in the limit that the size of the perturbation goes to zero the dynamics is given by Filippov's sliding solution. When multiple switches are involved, however, perturbations can have complicated effects, as shown in this paper. In the zero-perturbation limit, hysteresis, time-delay, and discretization cause erratic variation or `jitter' for stable sliding motion, whilst noise generates a relatively regular sliding solution similar to the canopy solution (an extension of Filippov's solution to multiple switches). We illustrate the results with a model of a switched power circuit, and showcase a variety of complex phenomena that perturbations can generate, including chaotic dynamics, exit selection, and coexisting sliding solutions.

preprint2015arXiv

Canards and curvature: nonsmooth approximation by pinching

In multiple time-scale (singularly perturbed) dynamical systems, canards are counterintuitive solutions that evolve along both attracting and repelling invariant manifolds. In two dimensions, canards result in periodic oscillations whose amplitude and period grow in a highly nonlinear way: they are slowly varying with respect to a control parameter, except for an exponentially small range of values where they grow extremely rapidly. This sudden growth, called a canard explosion, has been encountered in many applications ranging from chemistry to neuronal dynamics, aerospace engineering and ecology. Canards were initially studied using nonstandard analysis, and later the same results were proved by standard techniques such as matched asymptotics, invariant manifold theory and parameter blow-up. More recently, canard-like behaviour has been linked to surfaces of discontinuity in piecewise-smooth dynamical systems. This paper provides a new perspective on the canard phenomenon by showing that the nonstandard analysis of canard explosions can be recast into the framework of piecewise-smooth dynamical systems. An exponential coordinate scaling is applied to a singularly perturbed system of ordinary differential equations. The scaling acts as a lens that resolves dynamics across all time-scales. The changes of local curvature that are responsible for canard explosions are then analysed. Regions where different time-scales dominate are separated by hypersurfaces, and these are pinched together to obtain a piecewise-smooth system, in which curvature changes manifest as discontinuity-induced bifurcations. The method is used to classify canards in arbitrary dimensions, and to derive the parameter values over which canards form either small cycles (canards without head) or large cycles (canards with head).

preprint2015arXiv

Fold singularities of nonsmooth and slow-fast dynamical systems -- equivalence by the hidden dynamics approach

The {\it two-fold singularity} has played a significant role in our understanding of uniqueness and stability in piecewise smooth dynamical systems. When a vector field is discontinuous at some hypersurface, it can become tangent to that surface from one side or the other, and tangency from both sides creates a two-fold singularity. The flow this creates bears a superficial resemblance to so-called {\it folded singularities} in (smooth) slow-fast systems, which arise at the intersection of attractive and repelling branches of slow invariant manifolds, important in the local study of canards and mixed mode oscillations. Here we show that these two singularities are intimately related. When the discontinuity in a piecewise smooth system is blown up or smoothed out at a two-fold singularity, the resulting system can be mapped onto a folded singularity. The result is not obvious, however, since it requires the presence of nonlinear or `hidden' terms at the discontinuity, which turn out to be necessary for structural stability of the blow up (or smoothing), and necessary for mapping to the folded singularity.

preprint2015arXiv

Fold singularities of nonsmooth and slow-fast dynamical systems -- equivalence through regularization

The two-fold singularity has played a significant role in our understanding of uniqueness and stability in piecewise smooth dynamical systems. When a vector field is discontinuous at some hypersurface, it can become tangent to that surface from one side or the other, and tangency from both sides creates a two-fold singularity. The local flow bears a superficial resemblance to so-called {\it folded singularities} in (smooth) slow-fast systems, which arise at the intersection of attractive and repelling branches of slow invariant manifolds, important in the local study of canards and mixed mode oscillations. Here we show that these two singularities are intimately related. When the discontinuity in a piecewise smooth system is regularized (smoothed out) at a two-fold singularity, the resulting system can be mapped onto a folded singularity. The result is not obvious since it requires the presence of nonlinear or `hidden' terms at the discontinuity, which turn out to be necessary for structural stability of the regularization (or smoothing) of the discontinuity, and necessary for mapping to the folded singularity.

preprint2015arXiv

Nonsmooth analogues of slow-fast dynamics -- pinching at a folded node

The folded node is a singularity associated with loss of normal hyperbolicity in systems where mixtures of slow and fast timescales arise due to singular perturbations. Canards are special solutions that reveal a counteractive feature of the local dynamics, namely trajectories that flow from attractive regions of space into repulsive regions. An alternative way to model switches between timescales is using piecewise-smooth differential equations. There is presently no adequate theory or method for relating slow-fast and piecewise-smooth models. Here we derive the analogous piecewise-smooth system for the folded node by pinching phase space to sharpen the switch between timescales. The corresponding piecewise-smooth system contains a so-called two-fold singularity, and exhibits the same topology and number of canards as the slow-fast system. Thus pinching provides a piecewise-smooth approximation to a slow-fast system.

preprint2015arXiv

Regularization of hidden dynamics in piecewise smooth flows

This paper studies the equivalence between differentiable and non-differentiable dynamics in Rn. Filippov's theory of discontinuous differential equations allows us to find flow solutions of dynamical systems whose vector fields undergo switches at thresholds in phase space. The canonical convex combination at the discontinuity is only the linear part of a nonlinear combination that more fully explores Filippov's most general problem: the differential inclusion. Here we show how recent work relating discontinuous systems to singular limits of continuous (or regularized) systems extends to nonlinear combinations. We show that if sliding occurs in a discontinuous systems, there exists a differentiable slow-fast system with equivalent slow invariant dynamics. We also show the corresponding result for the pinching method, a converse to regularization which approximates a smooth system by a discontinuous one.

preprint2015arXiv

Smoothing tautologies, hidden dynamics, and sigmoid asymptotics for piecewise smooth systems

Switches in real systems take many forms, such as impacts, electronic relays, mitosis, and the implementation of decisions or control strategies. To understand what is lost, and what can be retained, when we model a switch as an instantaneous event, requires a consideration of so-called hidden terms. These are asymptotically vanishing outside the switch, but can be encoded in the form of nonlinear switching terms. A general expression for the switch can be developed in the form of a series of sigmoid functions. We review the key steps in extending the Filippov's method of sliding modes to such systems. We show how even slight nonlinear effects can hugely alter the behaviour of an electronic control circuit, and lead to `hidden' attractors inside the switching surface.

preprint2014arXiv

Non-deterministic dynamics of a mechanical system

A mechanical system is presented exhibiting a non-deterministic singularity, that is, a point in an otherwise deterministic system where forward time trajectories become non-unique. A Coulomb friction force applies linear and angular forces to a wheel mounted on a turntable. In certain configurations the friction force is not uniquely determined. When the dynamics evolves past the singularity and the mechanism slips, the future state becomes uncertain up to a set of possible values. For certain parameters the system repeatedly returns to the singularity, giving recurrent yet unpredictable behaviour that constitutes non-deterministic chaotic dynamics. The robustness of the phenomenon is such that we expect it to persist with more sophisticated friction models, manifesting as extreme sensitivity to initial conditions, and complex global dynamics attributable to a local loss of determinism in the limit of discontinuous friction.

preprint2013arXiv

Non-determinism in the limit of nonsmooth dynamics

Discontinuous time derivatives are used to model threshold-dependent switching in such diverse applications as dry friction, electronic control, and biological growth. In a continuous flow, a discon- tinuous derivative can generate multiple outcomes from a single initial state. Here we show that well defined solution sets exist for flows that become multi-valued due to grazing a discontinuity. Loss of determinism is used to quantify dynamics in the limit of infinite sensitivity to initial conditions, then applied to the dynamics of a superconducting resonator and a negatively damped oscillator.

preprint2013arXiv

Non-Filippov dynamics arising from the smoothing of nonsmooth systems, and its robustness to noise

Switch-like behaviour in dynamical systems may be modelled by highly nonlinear functions, such as Hill functions or sigmoid functions, or alternatively by piecewise-smooth functions, such as step functions. Consistent modelling requires that piecewise-smooth and smooth dynamical systems have similar dynamics, but the conditions for such similarity are not well understood. Here we show that by smoothing out a piecewise-smooth system one may obtain dynamics that is inconsistent with the accepted wisdom --- so-called Filippov dynamics --- at a discontinuity, even in the piecewise-smooth limit. By subjecting the system to white noise, we show that these discrepancies can be understood in terms of potential wells that allow solutions to dwell at the discontinuity for long times. Moreover we show that spurious dynamics will revert to Filippov dynamics, with a small degree of stochasticity, when the noise magnitude is sufficiently large compared to the order of smoothing. We apply the results to a model of a dry-friction oscillator, where spurious dynamics (inconsistent with Filippov's convention or with Coulomb's model of friction) can account for different coefficients of static and kinetic friction, but under sufficient noise the system reverts to dynamics consistent with Filippov's convention (and with Coulomb-like friction).