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 The Dreams Plan: a blupoint strategy for e-education provision in South Africa Eamonn Walls, Mike Santer, Gary Wills & Jeff Vass, 2015, The Electronic Journal of Information Systems in Developing Countries, 70(7), 1-24 DOI: 10.1002/j.1681-4835.2015.tb00507.x Type: article An anti-windup scheme for an adaptive hamilt∞ vibration controller Matthew C. Turner & Richard T. O'Brien, 2015 DOI: 10.1109/ACC.2015.7172168 Type: conference A traffic-aware street lighting scheme for smart cities using autonomous networked sensors Sei Ping Lau, Geoff V. Merrett, Alex S. Weddell & Neil M. White, 2015, Computers & Electrical Engineering, 45, 192-207 DOI: 10.1016/j.compeleceng.2015.06.011 Type: article 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 Pagination Previous page Previous … Page 38 Page 39 Page 40 Page 41 Page 42 Page 43 … Next page Next