A simulation model of self-powered ankle prosthetics (available)

Unlike conventional passive prosthetics, self-powered prosthetics provide positive net work to enhance strength and speed of limb movement. These are used not just in rehabilitation medicine but also as components of powered exoskeletons, a technology with numerous applications including military, manufacturing and construction industry, emergency and rescue. The extent of powered propulsion is typically determined … full description “A simulation model of self-powered ankle prosthetics (available)”

Machine Learning for Cyber-Physical Systems Verification (available)

Hybrid automata (HA) [1] are a formal model for cyber-physical systems, i.e., systems characterised by digital components (discrete) that control and interact with the physical environment (continuous). HAs have been applied to system designs in numerous domains including avionics, automotive, medical devices, and robotics. Formal verification of HAs is crucial for such safety-critical applications, as … full description “Machine Learning for Cyber-Physical Systems Verification (available)”

Maritime Cybersecurity (available)

Project Description Connected objects in motion are developing as a significant domain. There are many traditional businesses, like logistics and maritime shipping that have legacy systems, but they are rolling out interconnectivity globally. Today‚Äôs shift towards increasing interconnectedness at sea is continuing to enable significant efficiency gains and new capabilities for maritime operations. Running in … full description “Maritime Cybersecurity (available)”

Open-Source Artificial Pancreas Testbed (available)

The Artificial Pancreas (AP) is an automated system for delivering insulin therapy in Type 1 Diabetes (T1D) patients (whose pancreas cannot produce insulin on its own) [1]. The system comprises an infusion pump for insulin release, a so-called continuous glucose monitor (CGM) that senses glucose levels underneath the skin, and a control algorithm (running on … full description “Open-Source Artificial Pancreas Testbed (available)”