Items where Division is "Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems
School of Electronics and Computer Science > Cyber Physical Systems" and Year is 2022
 | Up a level |
Number of items: 59.
An information security model for an IoT-enabled smart grid - Abeer Akkad, Gary Wills and Abdolbaghi Rezazadeh
Type: Conference or Workshop Item
| 2022
| SciTePress
An IoT-enabled smart grid: definitions, characteristics, challenges, and future directions - Abeer Akkad, Gary Wills and Abdolbaghi Rezazadeh
Type: Conference or Workshop Item
| 2022
| MECOnet
High-level rigorous template for analysing safety properties of self-driving vehicle systems - Fahad, Abduallah Alotaibi, Thai Son Hoang and Michael Butler
Type: Conference or Workshop Item
| 2022
| Item not available on this server.
POETS: An event-driven approach to Dissipative Particle Dynamics - Andrew Brown, Jonny Beaumont, David Barrie Thomas, Julian Shillcock, Matthew Naylor, Graeme McLachlan Bragg, Mark Vousden, Simon W. Moore and Shane Flemming
Type: Article
| 2022
Event-based parallel computing - partially ordered event-triggered systems: final report for EPSRC Programme Grant EP/N031768/1 - Andrew Brown, David Thomas, Wayne Luk, Simon W. Moore, Alex Yakovlev, Mark Vousden, Graeme McLachlan Bragg, Jordan Morris, Ashur Rafiev, Coral Westoby and Tim Todman
Type: Monograph
| 2022
Neural network robustness as a verification property: a principled case study - Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir and Idan Refaeli
Type: Conference or Workshop Item
| 2022
| Springer Cham
| Item not available on this server.
Novel AI and Data Science Advancements for Sustainability in the Era of COVID-19 - Victor Chang, Mohamed Abdel-Basset, Muthu Ramachandran, Nicolas G. Green and Gary Wills
Type: Book
| 2022
| Academic Press
| Item not available on this server.
Ocean bubbles under high wind conditions - part 2: bubble size distributions and implications for models of bubble dynamics - Helen Czerski, Ian M. Brooks, Steve Gunn, Robin Pascal, Adrian Matei and Byron Blomquist
Type: Article
| 2022
Ocean bubbles under high wind conditions -- part 1: bubble distribution and development - Helen Czerski, Ian M. Brooks, Steve Gunn, Robin Pascal, Adrian Matei and Byron Blomquist
Type: Article
| 2022
CheckINN: wide range neural network verification in imandra - Remi Desmartin, Grant Passmore, Ekaterina Komendantskaya and Matthew Daggit
Type: Conference or Workshop Item
| 2022
| Association for Computing Machinery
| Item not available on this server.
Neural networks in imandra: matrix representation as a verification choice - Remi Desmartin, Grant Passmore and Ekaterina Kommendentskaya
Type: Conference or Workshop Item
| 2022
| Springer Cham
| Item not available on this server.
An experimental approach to the challenges of mission planning for collaborative maritime autonomy - Jon Downes, Stephen Turnock, Son Hoang, Ben Pritchard and Joseph Lam
Type: Article
| 2022
Augmentative and alternative communication emerging trends, opportunities and innovations: introduction to the special thematic session - E.A. Draffan and David Banes
Type: Conference or Workshop Item
| 2022
| Association for Computing Machinery
Type: Conference or Workshop Item
| 2022
| Springer
Reduced-order neural network synthesis with robustness guarantees - Ross Drummond, Matthew C. Turner and Stephen R. Duncan
Type: Article
| 2022
Aizerman conjectures for a class of multivariate positive systems - Ross Drummond, Matthew Turner, Chris Guiver and Matthew C. Turner
Type: Article
| 2022
Adapting branched networks to realise progressive intelligence - Jack Dymond, Sebastian Stein and Stephen Gunn
Type: Conference or Workshop Item
| 2022
Adaptive fixed-time fault-tolerant control of saturated MIMO nonlinear systems with time-varying state constrains - Xinpeng Fang, Huijin Fan, Lei Liu and Bo Wang
Type: Article
| 2022
| Item not available on this server.
Decentralized adaptive fault-tolerant control of interconnected systems with sensor faults - Xinpeng Fang, Huijin Fan, Lei Liu and Bo Wang
Type: Article
| 2022
| Item not available on this server.
Decentralized adaptive FTC of interconnected nonlinear systems with actuator faults and output constraints - Xinpeng Fang, Huijin Fan, Lei Liu, Bo Wang and Wenqiang Hu
Type: Conference or Workshop Item
| 2022
| IEEE
| Item not available on this server.
Adaptive finite-time fault-tolerant control of uncertain systems with input saturation - Xinpeng Fang, Huijin Fan, Wei Wang, Lei Liu, Bo Wang and Zhongtao Cheng
Type: Article
| 2022
| Item not available on this server.
Laser-patterned paper-based flow-through filters and lateral flow immunoassays to enable the detection of C-reactive protein - Panagiotis Galanis, Ioannis Katis, Peijun He, Alice Iles, Anto J.U. Kumar, R.W. Eason and Collin Sones
Type: Article
| 2022
Federated reinforcement learning at the edge: exploring the learning-communication tradeoff - Konstantinos Gatsis
Type: Conference or Workshop Item
| 2022
| IEEE
| Item not available on this server.
Building an extensible textual framework for the rodin platform - Son Hoang, Colin Snook, Dana Dghaym, Asieh Salehi Fathabadi and Michael Butler
Type: Conference or Workshop Item
| 2022
| Item availability restricted.
Type: Article
| 2022
| Item not available on this server.
Monitoring neurodegenerative diseases using paper based lateral-flow devices - Alice Iles, Peijun He, Ioannis Katis, Panagiotis Galanis, Collin Sones and R.W. Eason
Type: Conference or Workshop Item
| 2022
| SPIE
| Item not available on this server.
Optimization of flow path parameters for enhanced sensitivity lateral flow devices - Alice Iles, Peijun He, Ioannis Katis, Peter Horak, R.W. Eason and Collin Sones
Type: Article
| 2022
Type: Dataset
| 2022
| University of Southampton
Optimisation of flow path parameters for enhanced sensitivity lateral flow - Alice Iles, Ioannis Katis, Peijun He, Panagiotis Galanis, Collin Sones and R.W. Eason
Type: Conference or Workshop Item
| 2022
| SPIE
| Item not available on this server.
Semi-quantitative detection of inflammatory biomarkers using a laser-patterned multiplexed lateral flow device - Alice H. Iles, Peijun J.W. He, Ioannis N. Katis, Panagiotis P. Galanis, Anto J.U.K. John, Paul Elkington, Robert W. Eason and Collin L. Sones
Type: Article
| 2022
Type: Dataset
| 2022
| University of Southampton
Type: Dataset
| 2022
| University of Southampton
QUAREM: Maximising QoE through Adaptive Resource Management in Mobile MPSoC Platforms - Samuel Isuwa, Somdip Dey, Andre P. Ortega, Amit Kumar Singh, Bashir M. Al-Hashimi and Geoff Merrett
Type: Article
| 2022
Multi-source multi-destination hybrid infrastructure-aided traffic aware routing in V2V/I networks - Teodor Ivanescu, Halil Yetgin, Geoff Merrett and Mohammed El-Hajjar
Type: Article
| 2022
The effect of manifold entanglement and intrinsic dimensionality on learning - Daniel Kienitz, Ekaterina Komendantskaya and Michael Lones
Type: Conference or Workshop Item
| 2022
| AAAI Press
| Item not available on this server.
Mesh networking for intermittently-powered devices: Architecture and challenges - Edward Longman, Mohammed El-Hajjar, Oktay Cetinkaya and Geoff Merrett
Type: Article
| 2022
Type: Conference or Workshop Item
| 2022
Type: Dataset
| 2022
| University of Southampton
Type: Dataset
| 2022
| University of Southampton
User configurable privacy requirements elicitation in cyber-physical systems - Temitope Omitola, Richard Gomer, Gary Wills, Niko Tsakalakis, Sophie Stalla-Bourdillon, Ben Waterson and Thomas Cherrett
Type: Conference or Workshop Item
| 2022
Provisioning security in a next generation mobility as a service system - Temitope Omitola, Ben Waterson, Niko Tsakalakis, Richard Gomer, Sophie Stalla-Bourdillon, Thomas Cherrett and Gary Wills
Type: Book Section
| 2022
Optimized methods for detecting Salmonella Typhi in the environment using validated field sampling, culture and confirmatory molecular approaches - Jonathan Rigby, Ezzeddine Elmerhebi, Yohane Diness, Charity Mkwanda, Katalina Tonthola, Heather Galloway, Rory Miles, Marc Y. R. Henrion, Thomas Edwards, Jillian Gauld, Chisomo Msefula, Rob Johnston, Satheesh Nair, Nicholas Feasey and Nicola C. Elviss
Type: Article
| 2022
Endurance testing of engineering model additive-manufactured high temperature resistojets made from Inconel 625 and tantalum - M. Robinson, F. Romei, C. Ogunlesi, D. Gibbon, A. Grubišić and S. Walker
Type: Article
| 2022
Type: Dataset
| 2022
| University of Southampton
TinyOps: ImageNet Scale Deep Learning on Microcontrollers - Sulaiman Sadiq, Jonathon Hare, Partha Maji, Simon Craske and Geoff Merrett
Type: Conference or Workshop Item
| 2022
Generating SPARK from Event-B, providing fundamental safety and security - Asieh Salehi Fathabadi, Dana Dghaym, Son Hoang, Michael Butler and Colin Snook
Type: Conference or Workshop Item
| 2022
| Item availability restricted.
Pragmatic memory-system support for intermittent computing using emerging non-volatile memory - Sivert T. Sliper, William Wang, Nikos Nikoleris, Alexander Weddell, Anand Savanth, Pranay Prabhat and Geoff Merrett
Type: Article
| 2022
Type: Dataset
| 2022
| University of Southampton
Developing the UML-B modelling tools - Colin Snook, Michael Butler, Son Hoang, Asieh Salehi Fathabadi and Dana Dghaym
Type: Conference or Workshop Item
| 2022
| Item not available on this server.
Towards hardware trojan resilient design of convolutional neural networks - Peiyao Sun, Basel Halak and Tomasz Kazmierski
Type: Conference or Workshop Item
| 2022
| IEEE
| Item not available on this server.
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design - Robert Thorburn, Vladimiro Sassone, Asieh Salehi Fathabadi, Leonardo Aniello, Michael Butler, Dana Dghaym and Son Hoang
Type: Conference or Workshop Item
| 2022
Event-based high throughput computing: a series of case studies on a massively parallel softcore machine - Mark Vousden, Graeme Mclachlan Bragg, David Barrie Thomas, Andrew Brown, Jordan Morris, Jonathan R. Beaumont, Ashur Rafiev and Wayne Luk
Type: Article
| 2022
Using machine learning for anomaly detection on a system-on-chip under gamma radiation - Eduardo Weber Wachter, Server Kasap, Sefki Kolozali, Xiaojun Zhai, Shoaib Ehsan and Klaus D. McDonald-Maier
Type: Article
| 2022
Dynamic DNNs meet runtime resource management on mobile and embedded platforms - Lei Xun, Bashir Al-Hashimi, Jonathon Hare and Geoff Merrett
Type: Conference or Workshop Item
| 2022
Type: Dataset
| 2022
| University of Southampton
Using big data analytics to combat retail fraud - Danni Zhang, Steffen Bayer, Gary Wills, Regina Frei, Enrico Gerding and PK Senyo
Type: Conference or Workshop Item
| 2022
| Item not available on this server.
The impact of COVID-19 on managing product returns in retail - Danni Zhang, Regina Frei, Steffen Bayer, PK Senyo, Gary Wills, Enrico Gerding and Adrian Beck
Type: Conference or Workshop Item
| 2022
Understanding fraudulent returns and mitigation strategies in multichannel retailing - Danni Zhang, Regina Frei, P.K. Senyo, Steffen Bayer, Enrico Gerding, Gary Wills and Adrian Beck
Type: Article
| 2022
Differentiable logics for neural network training and verification - Natalia Ślusarz, Ekaterina Komendantskaya, Matthew L. Daggitt and Robert Stewart
Type: Conference or Workshop Item
| 2022
| Springer Cham
| Item not available on this server.