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 2023
 | Up a level |
Number of items: 38.
Verifiably safe and trusted human-AI systems: a socio-technical perspective - Michael Akintunde, Victoria Young, Vahid Yazdanpanah, Asieh Salehi Fathabadi, Pauline Leonard, Michael Butler and Luc Moreau
Type: Conference or Workshop Item
| 2023
| Item not available on this server.
An information security model for an IoT-enabled smart grid in the Saudi energy sector - Abeer Akkad, Gary Wills and Abdolbaghi Rezazadeh
Type: Article
| 2023
A rigorous iterative analysis approach for capturing the safety requirements of self-driving vehicle systems - Fahad Abduallah Alotaibi, Son Hoang and Michael Butler
Type: Conference or Workshop Item
| 2023
| IEEE
Routing in intermittently powered IoT networks - Sara Alsodairi, Geoff V. Merrett, Alex S. Weddell and Nawfal Al Hashimy
Type: Conference or Workshop Item
| 2023
Compiling higher-order specifications to SMT solvers: how to deal with rejection constructively - Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya and Luca Arnaboldi
Type: Conference or Workshop Item
| 2023
| Association for Computing Machinery
| Item not available on this server.
Exploration of Decision Sub-Network Architectures for FPGA-based Dynamic DNNs - Anastasios Dimitriou, Mingyu Hu, Jonathon Hare and Geoff Merrett
Type: Conference or Workshop Item
| 2023
Type: Dataset
| 2023
| University of Southampton
Type: Dataset
| 2023
| University of Southampton
Efficient deployment of early-exit DNN architectures on FPGA platforms - Anastasios Dimitriou, Geoff Merrett and Jonathon Hare
Type: Conference or Workshop Item
| 2023
AI supporting AAC pictographic symbol adaptations - E.A. Draffan, Mike Wald, Chao Ding and Yuanyuan Yin
Type: Article
| 2023
Exploring practical metrics to support automatic speech recognition evaluations - E.A. Draffan, Mike Wald, Chaohai Ding and Yunjia Li
Type: Article
| 2023
Exploiting epistemic uncertainty at inference time for early-exit power saving - Jack Dymond, Sebastian Stein and Stephen Gunn
Type: Conference or Workshop Item
| 2023
| IOS Press
Constrained model predictive control with integral action for twin rotor MIMO systems - Kelechi U. Ebirim, Andrea Lecchini Visintini, Matteo Rubagotti and Emmanuel Prempain
Type: Article
| 2023
Adaptive fault-tolerant control for uncertain nonlinear systems with both parameter estimator and controller triggering - Huijin Fan, Xinpeng Fang, Wei Wang, Jiangshuai Huang and Lei Liu
Type: Article
| 2023
| Item not available on this server.
Adaptive fuzzy decentralized output-feedback control of large-scale systems with sensor faults: a multichannel asynchronous triggering approach - Xinpeng Fang, Huijin Fan, Lei Liu and Bo Wang
Type: Article
| 2023
| Item availability restricted.
Multichannel asynchronous triggering-based adaptive output feedback control for uncertain nonlinear systems with actuator faults - Xinpeng Fang, Huijin Fan, Lei Liu and Bo Wang
Type: Conference or Workshop Item
| 2023
| IEEE Industrial Electronics Society
| Item not available on this server.
Type: Dataset
| 2023
| University of Southampton
FedTM: Memory and Communication Efficient Federated Learning with Tsetlin Machine - Shannon How Shi Qi, Jagmohan Chauhan, Geoff V. Merrett and Jonathan Hare
Type: Conference or Workshop Item
| 2023
Type: Dataset
| 2023
| University of Southampton
Type: Thesis
| 2023
| University of Southampton
Type: Dataset
| 2023
| University of Southampton
Content- and lighting-aware adaptive brightness scaling for improved mobile user experience - Samuel Isuwa, David Amos, Amit Kumar Singh, Bashir M. Al-Hashimi and Geoff Merrett
Type: Conference or Workshop Item
| 2023
| IEEE
Maximising mobile user experience through self-adaptive content- and ambient-aware display brightness scaling - Samuel Isuwa, David Amos, Amit Kumar Singh, Bashir M. Al-Hashimi and Geoff V. Merrett
Type: Article
| 2023
Comparing complexities of decision boundaries for robust training: a universal approach - Daniel Kienitz, Ekaterina Komendantskaya and Michael Lones
Type: Conference or Workshop Item
| 2023
| Springer Cham
| Item not available on this server.
Formal language semantics for triggered enable statecharts with a run-to-completion scheduling - Karla Vanessa Morris Wright, Thai Son Hoang, Colin Snook and Michael Butler
Type: Conference or Workshop Item
| 2023
| Springer Cham
Effects of blood pressure on brain tissue pulsation amplitude in a phantom model - Jennifer K. Nicholls, Poppy Turner, Andrea Lecchini-Visintini, Jonathan Ince, Georgina de Vries, Laurie Cappellugola, Mitsuhiro Oura, Kelechi U. Ebirim, Edward Pallett, Kumar V. Ramnarine and Emma M.L. Chung
Type: Article
| 2023
Strengthened Circle and Popov Criteria for the stability analysis of feedback systems with ReLU neural networks - Carl Richardson, Matthew Turner and Stephen Gunn
Type: Article
| 2023
Type: Dataset
| 2023
| University of Southampton
Enabling ImageNet-scale deep learning on MCUs for accurate and efficient inference - Sulaiman Sadiq, Jonathon Hare, Simon Craske, Partha Maji and Geoff Merrett
Type: Article
| 2023
Designing critical systems using hierarchical STPA and event-B - Asieh Salehi Fathabadi, Colin Snook, Dana Dghaym, Son Hoang, Fahad Abduallah Alotaibi and Michael Butler
Type: Conference or Workshop Item
| 2023
Type: Conference or Workshop Item
| 2023
Macromolecular crowding Is surprisingly unable to deform the structure of a model biomolecular condensate - Julian Shillcock, David B. Thomas, John H. Ipsen and Andrew Brown
Type: Article
| 2023
Anti-windup compensation for a class of iterative learning control systems subject to actuator saturation - Matthew Turner, Eric Rogers and Jorge Sofrony
Type: Conference or Workshop Item
| 2023
Type: Dataset
| 2023
| University of Southampton
Energy-efficient memory tracing for state retention in transient computing systems - Theodoros D. Verykios, Domenico Balsamo and Geoff Merrett
Type: Conference or Workshop Item
| 2023
Dynamic DNNs meet runtime resource management for efficient heterogeneous computing - Lei Xun, Jonathon Hare and Geoff Merrett
Type: Conference or Workshop Item
| 2023
A fairness-based refinement strategy to transform liveness properties in Event-B models - Chenyang Zhu, Michael Butler, Corina Cirstea and Son Hoang
Type: Article
| 2023
| Item not available on this server.
Logic of differentiable logics: towards a uniform semantics of DL - Natalia Ślusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert Stewart and Kathrin Stark
Type: Conference or Workshop Item
| 2023
| EasyChair