3 accepted papers
Supervisory Control Theory (SCT) provides a formal framework for controlling discrete event systems. It has recently been used to generate correct-by-construction controllers for swarm robotics systems. Current SCT frameworks are limited, as they support only (private) events that are observable wit…
Water is a highly valuable resource so asset management of associated infrastructure is of critical importance. Water distribution pipe networks are usually buried, and so are difficult to access. Robots are therefore appealing for performing inspection and detecting damage to target repairs. Howeve…
Magnetic adhesion mechanism is commonly used in mobile robots design for inspection tasks of ferric structures. The magnetic adhesion force is generated either by Permanent Magnets (PMs) or Electro-Magnets (EMs). Both methods have intrinsic limitations: fixed magnetic force in PMs or a constant elec…