Chris Guiver
chris guiver

Dr Chris Guiver

Lecturer

 0131 455 2513

  C.Guiver@napier.ac.uk

  

Biography

Chris Guiver is a lecturer in the mathematics group at Edinburgh Napier University, and started the role in July 2020. Between January 2016 and June 2020 he was a Lecturer in Applied Mathematics at the University of Bath.

Chris obtained a Mmath and Ph.D. in mathematics in 2008 and 2012, respectively, both from the University of Bath. Between 2012 and 2015, he was the postdoctoral researcher on the EPSRC project EP/I019456/1 at the University of Exeter. He obtained the award of FHEA in 2018.

Chris’s research interests lie at the intersection of mathematical analysis and mathematical control theory. In its broadest sense, mathematical control theory seeks to both understand and consequently shape the behaviour of interconnected dynamical systems — modelling temporally-varying real-world objects. Chris is also interested in establishing connections between mathematical control theory, and problems arising in biology and ecology, and seeks to increase the awareness and uptake of concepts from mathematical systems and control theory in ecological modelling and management. The concepts of forced nonlinear dynamics, feedbacks, and control or management strategies/actions are ubiquitous in both disciplines.

His research draws upon and contributes to techniques from a range of mathematical areas, including: dynamical systems theory; evolution equations; positive (ordered) systems, and; real, complex and applied functional analysis.

School

Research Groups

News

Filter by

Date


52 results

A linear dissipativity approach to incremental input-to-state stability for a class of positive Lur’e systems

Presentation / Conference Contribution
Piengeon, V., & Guiver, C. (2025, March)
A linear dissipativity approach to incremental input-to-state stability for a class of positive Lur’e systems. Presented at 44th Benelux Meeting on Systems and Control, Egmond aan Zee, The Netherlands

Dynamic properties of a class of forced positive higher-order scalar difference equations: persistency, stability and convergence

Journal Article
Franco, D., Guiver, C., Logemann, H., & Perán, J. (online)
Dynamic properties of a class of forced positive higher-order scalar difference equations: persistency, stability and convergence. Journal of Difference Equations and Applications, https://doi.org/10.1080/10236198.2025.2461530
Persistency, stability and convergence properties are considered for a class of nonlinear, forced, positive, scalar higher-order difference equations. Sufficient conditions fo...

Passivity theorems for input-to-state stability of forced Lur'e inclusions and equations, and consequent entrainment-type properties

Journal Article
Guiver, C. (online)
Passivity theorems for input-to-state stability of forced Lur'e inclusions and equations, and consequent entrainment-type properties. ESAIM: Control, Optimisation and Calculus of Variations, https://doi.org/10.1051/cocv/2025013
A suite of input-to-state stability results are presented for a class of forced differential inclusions, so-called Lur’e inclusions. As a consequence, semi-global incremental ...

Convex neural network synthesis for robustness in the 1-norm

Presentation / Conference Contribution
Drummond, R., Guiver, C., & Turner, M. C. (2024, July)
Convex neural network synthesis for robustness in the 1-norm. Presented at 6th Annual Learning for Dynamics & Control Conference, Oxford, England
With neural networks being used to control safety-critical systems, they increasingly have to be both accurate (in the sense of matching inputs to outputs) and robust. However...

Exponential input-to-state stability for Lur’e systems via Integral Quadratic Constraints and Zames-Falb Multipliers

Journal Article
Drummond, R., Guiver, C., & Turner, M. (2024)
Exponential input-to-state stability for Lur’e systems via Integral Quadratic Constraints and Zames-Falb Multipliers. IMA Journal of Mathematical Control and Information, 41(1), 1-17. https://doi.org/10.1093/imamci/dnae003
Absolute stability criteria which are sufficient for global exponential stability are shown, under a Lipschitz assumption, to be sufficient for the a priori stronger exponenti...

Low-gain integral control for a class of discrete-time Lur'e systems with applications to sampled-data control

Journal Article
Guiver, C., Rebarber, R., & Townley, S. (in press)
Low-gain integral control for a class of discrete-time Lur'e systems with applications to sampled-data control. International Journal of Robust and Nonlinear Control, https://doi.org/10.1002/rnc.6455
We study low-gain (P)roportional (I)ntegral control of multivariate discrete-time, forced Lur’e systems to solve the output-tracking problem for constant reference signals. We...

Aizerman Conjectures for a class of multivariate positive systems

Journal Article
Drummond, R., Guiver, C., & Turner, M. (in press)
Aizerman Conjectures for a class of multivariate positive systems. IEEE Transactions on Automatic Control, https://doi.org/10.1109/TAC.2022.3217740
The Aizerman Conjecture predicts stability for a class of nonlinear control systems on the basis of linear system stability analysis. The conjecture is known to be false in ge...

Stabilisation by adaptive feedback control for positive difference equations with applications in pest management

Journal Article
Edholm, C., Guiver, C., Rebarber, R., Tenhumberg, B., & Townley, S. (2022)
Stabilisation by adaptive feedback control for positive difference equations with applications in pest management. SIAM Journal on Control and Optimization, 60(4), 2214-2245. https://doi.org/10.1137/21m1398240
An adaptive feedback control scheme is proposed for stabilising a class of forced nonlinear positive difference equations. The adaptive scheme is based on so-called high-gain...

Quantifying the per-capita contribution of all components of a migratory cycle: a modelling framework

Journal Article
Smith, P., Guiver, C., & Adams, B. (2022)
Quantifying the per-capita contribution of all components of a migratory cycle: a modelling framework. Ecological Modelling, 471, Article 110056. https://doi.org/10.1016/j.ecolmodel.2022.110056
Migratory species make use of different habitats and pathways at different life stages, and in different seasons. Ecological management strategies proposed for migratory speci...

An equivalence framework for an age-structured multi-stage representation of the cell cycle

Journal Article
Kynaston, J. C., Guiver, C., & Yates, C. A. (2022)
An equivalence framework for an age-structured multi-stage representation of the cell cycle. Physical Review E, 105(6), https://doi.org/10.1103/PhysRevE.105.064411
We develop theoretical equivalences between stochastic and deterministic models for populations of individual cells stratified by age. Specifically, we develop a hierarchical ...

Current Post Grad projects