Cyber Physical Systems About us Our people Research projects Publications Seminars and events Join us Cyber Physical Systems Publications Our projects have an impact in many different industries. Browse our publications to find out more 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 Pagination Previous page ‹ Previous … Page 52 Page 53 Page 54 Page 55 Current page 56 Page 57 Page 58 Page 59 Page 60 Next page Next ›