Collection of books in library

Publications

Our projects have an impact in many different industries. Browse our publications to find out more

Research outputs

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
A hidden Markov model-based acoustic cicada detector for crowdsourced smartphone biodiversity monitoring
Davide Zilli, Oliver Parson, Geoff V. Merrett & Alex Rogers, 2014, Journal of Artificial Intelligence Research, 51, 805-827
DOI: 10.1613/jair.4434
Type: article
A simple scheduled anti-windup technique
Jorge Sofrony & Matthew C. Turner, 2014
DOI: 10.1109/ACC.2014.6858729
Type: conference
Anticipatory anti-windup
Matthew C. Turner, Jorge Sofrony & Guido Herrmann, 2014
DOI: 10.1109/ACC.2014.6859031
Type: conference
Bounded model checking of multi-threaded c programs via lazy sequentialization
2014
DOI: 10.1007/978-3-319-08867-9_39
Type: conference