Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more
Language and tool support for event refinement structures in Event-B
Asieh Salehi Fathabadi, Michael Butler & Abdolbaghi Rezazadeh, 2015, Formal Aspects of Computing, 27(3), 499-523
DOI: 10.1007/s00165-014-0311-1
Type: article
Channel-by-channel anti-windup design for a class of multivariable systems
Nkemdilim A. Ofodile, Matthew C. Turner & Osichinaka C. Ubadike, 2015
DOI: 10.1109/ACC.2015.7171034
Type: conference
Direct formal verification of liveness properties in continuous and hybrid dynamical systems
2015
DOI: 10.1007/978-3-319-19249-9_32
Type: conference
On the computation of dwell time using the real Jordan form
Richard T. O'Brien & Matthew C. Turner, 2015
DOI: 10.1109/ACC.2015.7170990
Type: conference
Robust observer design via the GKYP lemma
David Herrera, Jorge Sofrony & Matthew C. Turner, 2015
DOI: 10.1109/ACC.2015.7170848
Type: conference
The wheel of Sukr
Alaa AlMarshedi, Gary Wills & Ashok Ranchhod, 2015, Procedia Computer Science, 63, 475-480
DOI: 10.1016/j.procs.2015.08.370
Type: article
Tractable stability analysis for systems containing repeated scalar slope-restricted nonlinearities
Matthew C. Turner, Murray L. Kerr & Jorge Sofrony, 2015, International Journal of Robust and Nonlinear Control, 25(7), 971-986
DOI: 10.1002/rnc.3122
Type: article