All Outputs (741)

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems (2024)
Journal Article
Li, X., Ma, Z., Mian, Z., Liu, Z., Huang, R., & He, N. (2024). Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems. Computers, Materials & Continua, 78(3), 4129-4152. https://doi.org/10.32604/cmc.2024.047168

Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications. Although there is an extensive literature on qualitative properties such as safety and liveness, there is sti... Read More about Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems.

Minimum Distance and Minimum Time Optimal Path Planning With Bioinspired Machine Learning Algorithms for Faulty Unmanned Air Vehicles (2024)
Journal Article
Tutsoy, O., Asadi, D., Ahmadi, K., Nabavi-Chashmi, S. Y., & Iqbal, J. (2024). Minimum Distance and Minimum Time Optimal Path Planning With Bioinspired Machine Learning Algorithms for Faulty Unmanned Air Vehicles. IEEE Transactions on Intelligent Transportation Systems, https://doi.org/10.1109/TITS.2024.3367769

Unmanned air vehicles operate in highly dynamic and unknown environments where they can encounter unexpected and unseen failures. In the presence of emergencies, autonomous unmanned air vehicles should be able to land at a minimum distance or minimum... Read More about Minimum Distance and Minimum Time Optimal Path Planning With Bioinspired Machine Learning Algorithms for Faulty Unmanned Air Vehicles.

Adaptive-optimal MIMO nonsingular terminal sliding mode control of twin-rotor helicopter system: meta-heuristics and super-twisting based control approach (2024)
Journal Article
Rezoug, A., Messah, A., Messaoud, W. A., Baizid, K., & Iqbal, J. (2024). Adaptive-optimal MIMO nonsingular terminal sliding mode control of twin-rotor helicopter system: meta-heuristics and super-twisting based control approach. Journal of the Brazilian Society of Mechanical Sciences and Engineering, 46(3), Article 162. https://doi.org/10.1007/s40430-024-04714-3

This research proposes a novel hybrid control technique based on nonsingular terminal sliding mode (NTSM) control, metaheuristic optimization algorithms and adaptive super-twisting based on Lyapunov stability analysis for controlling Quanser aero sim... Read More about Adaptive-optimal MIMO nonsingular terminal sliding mode control of twin-rotor helicopter system: meta-heuristics and super-twisting based control approach.

AI-Based Hand Gesture Recognition Through Camera on Robot (2024)
Presentation / Conference Contribution
Csonka, G., Khalid, M., Rafiq, H., & Ali, Y. (2023, December). AI-Based Hand Gesture Recognition Through Camera on Robot. Presented at 2023 International Conference on Frontiers of Information Technology (FIT), Islamabad

This paper presents an innovative approach to real-time hand gesture recognition for robot control using Artificial Intelligence (AI). The core of this project is a machine learning model trained on a custom data set of hand gestures, which was metic... Read More about AI-Based Hand Gesture Recognition Through Camera on Robot.

Tailored risk assessment and forecasting in intermittent claudication (2024)
Journal Article
Ravindhran, B., Prosser, J., Lim, A., Lathan, R., Mishra, B., Hitchman, L., Smith, G. E., Carradice, D., Thakker, D., Chetter, I. C., & Pymer, S. (2024). Tailored risk assessment and forecasting in intermittent claudication. BJS Open, 8(1), Article zrad166. https://doi.org/10.1093/bjsopen/zrad166

Background: Guidelines recommend cardiovascular risk reduction and supervised exercise therapy as the first line of treatment in intermittent claudication, but implementation challenges and poor patient compliance lead to significant variation in man... Read More about Tailored risk assessment and forecasting in intermittent claudication.

Application of Artificial Intelligence and Data Science in Detecting the Impact of Usability from Evaluation of Mobile Health Applications (2024)
Journal Article
Kayode, O., Al Jaber, T., & Gordon, N. (2024). Application of Artificial Intelligence and Data Science in Detecting the Impact of Usability from Evaluation of Mobile Health Applications. International Journal on Engineering Technologies and Informatics, 5(1), 1-9. https://doi.org/10.51626/ijeti.2024.05.00070

Mobile health (mHealth) applications have demonstrated immense potential for facilitating preventative care and disease management through intuitive platforms. However, realizing transformational health objectives relies on creating accessible tools... Read More about Application of Artificial Intelligence and Data Science in Detecting the Impact of Usability from Evaluation of Mobile Health Applications.

Improving Rice Yield Prediction Accuracy Using Regression Models with Climate Data (2024)
Presentation / Conference Contribution
Mohamad Mohsin, M. F., Umana, M. K., Hassan, M. G., Sharif, K. I. M., Ismail, M. A., Salleh, K., Zahari, S. M., Sarmani, M. A., & Gordon, N. Improving Rice Yield Prediction Accuracy Using Regression Models with Climate Data. Presented at International Conference on Computing and Informatics 2023, Kuala Lumpur, Malaysia

Rice production is critical to food security, and accurate yield predictions are required for planning and decision-making. However, precisely predicting rice yields using machine learning models can be difficult due to the complicated interactions o... Read More about Improving Rice Yield Prediction Accuracy Using Regression Models with Climate Data.

A LDA-Based Social Media Data Mining Framework for Plastic Circular Economy (2024)
Journal Article
Xue, Y., Kambhampati, C., Cheng, Y., Mishra, N., Wulandhari, N., & Deutz, P. (2024). A LDA-Based Social Media Data Mining Framework for Plastic Circular Economy. International Journal of Computational Intelligence Systems, 17(1), Article 8. https://doi.org/10.1007/s44196-023-00375-7

The mass production of plastic waste has caused an urgent worldwide public health crisis. Although government policies and industrial innovation are the driving forces to meet this challenge, trying to understand public attitudes may improve the effi... Read More about A LDA-Based Social Media Data Mining Framework for Plastic Circular Economy.

Using outlier elimination to assess learning-based correspondence matching methods (2024)
Journal Article
Ding, X., Luo, Y., Jie, B., Li, Q., & Cheng, Y. (2024). Using outlier elimination to assess learning-based correspondence matching methods. Information Sciences, 659, Article 120056. https://doi.org/10.1016/j.ins.2023.120056

Recently, deep learning (DL) technology has been widely used in correspondence matching. The learning-based models are usually trained on benign image pairs with partial overlaps. Since DL model is usually data-dependent, non-overlapping images may b... Read More about Using outlier elimination to assess learning-based correspondence matching methods.

Fairness, Bias, and Ethics in AI: Exploring the Factors Affecting Student Performance (2024)
Journal Article
Omughelli, D., Gordon, N., & Al Jaber, T. (2024). Fairness, Bias, and Ethics in AI: Exploring the Factors Affecting Student Performance. Journal of Intelligent Communication, 4(1), 100-110. https://doi.org/10.54963/jic.v4i1.306

The use of artificial intelligence (AI) as a data science tool for education has enormous potential for increasing student performance and course outcomes. However, the growing concern about fairness, bias, and ethics in AI systems requires a careful... Read More about Fairness, Bias, and Ethics in AI: Exploring the Factors Affecting Student Performance.

Redefining Digital Twins - A Wind Energy Operations and Maintenance Perspective (2024)
Presentation / Conference Contribution
Tuton, E., Ma, X., & Dethlefs, N. (2024, May). Redefining Digital Twins - A Wind Energy Operations and Maintenance Perspective. Presented at The Science of Making Torque from Wind (TORQUE 2024), Florence, Italy

Digital Twin (DT) technology has seen an explosion in popularity, with wind energy no exception. This is particularly true for Operations & Maintenance (O&M) applications. However, this expanded use has been accompanied by loose, conflicting, definit... Read More about Redefining Digital Twins - A Wind Energy Operations and Maintenance Perspective.

NeuFG: Neural Fuzzy Geometric Representation for 3D Reconstruction (2024)
Journal Article
Hong, Q., Yang, C., Chen, J., Li, Z., Wu, Q., Li, Q., & Tian, J. (2024). NeuFG: Neural Fuzzy Geometric Representation for 3D Reconstruction. IEEE Transactions on Fuzzy Systems, https://doi.org/10.1109/TFUZZ.2024.3447088

3D reconstruction from multi-view images is considered as a longstanding problem in computer vision and graphics. In order to achieve high-fidelity geometry and appearance of 3D scenes, this paper proposes a novel geometric object learning method for... Read More about NeuFG: Neural Fuzzy Geometric Representation for 3D Reconstruction.

Experimental development of lightweight manipulators with improved design cycle time that leverages off-the-shelf robotic arm components (2024)
Journal Article
Abbas, M. R., Ahsan, M., & Iqbal, J. (2024). Experimental development of lightweight manipulators with improved design cycle time that leverages off-the-shelf robotic arm components. PLoS ONE, 19(7), Article e0305379. https://doi.org/10.1371/journal.pone.0305379

The growing market for lightweight robots inspires new use-cases, such as collaborative manipulators for human-centered automation. However, widespread adoption faces obstacles due to high R&D costs and longer design cycles, although rapid advances i... Read More about Experimental development of lightweight manipulators with improved design cycle time that leverages off-the-shelf robotic arm components.

Phase-Based Adaptive Fractional LQR for Inverted-Pendulum-Type Robots: Formulation and Verification (2024)
Journal Article
Saleem, O., & Iqbal, J. (2024). Phase-Based Adaptive Fractional LQR for Inverted-Pendulum-Type Robots: Formulation and Verification. IEEE Access, 12, 93185-93196. https://doi.org/10.1109/ACCESS.2024.3415494

The underlying principles of inverted pendulums are widely applied to develop stabilization control strategies for under-actuated robotic systems in various applications. This article methodically designs an adaptive fractional-order linear quadratic... Read More about Phase-Based Adaptive Fractional LQR for Inverted-Pendulum-Type Robots: Formulation and Verification.

Robust GDI-based adaptive recursive sliding mode control (RGDI-ARSMC) for a highly nonlinear MIMO system with varying dynamics of UAV (2024)
Journal Article
Abbas, N., Liu, X., & Iqbal, J. (2024). Robust GDI-based adaptive recursive sliding mode control (RGDI-ARSMC) for a highly nonlinear MIMO system with varying dynamics of UAV. Journal of mechanical science and technology, 38(3), https://doi.org/10.1007/s12206-024-0234-6

The novelty of the proposed work lies in the control technique, referred to as the robust generalized dynamic inversion based adaptive recursive sliding mode control (RGDI-ARSMC), for addressing various challenges to control a highly coupled and pert... Read More about Robust GDI-based adaptive recursive sliding mode control (RGDI-ARSMC) for a highly nonlinear MIMO system with varying dynamics of UAV.

NEAT Activity Detection using Smartwatch (2024)
Journal Article
Dewan, A., Gunturi, V., & Naik, V. (2024). NEAT Activity Detection using Smartwatch. International Journal of Ad Hoc and Ubiquitous Computing, 45(1), 36-51. https://doi.org/10.1504/IJAHUC.2024.136141

This paper presents a system for distinguishing non-exercise activity thermogenesis (NEAT) and non-NEAT activities at home. NEAT includes energy expended on activities apart from sleep, eating, or traditional exercise. Our study focuses on specific N... Read More about NEAT Activity Detection using Smartwatch.

Safety Monitoring for Large Language Models: A Case Study of Offshore Wind Maintenance (2023)
Presentation / Conference Contribution
Walker, C., Rothon, C., Aslansefat, K., Papadopoulos, Y., & Dethlefs, N. (2024, February). Safety Monitoring for Large Language Models: A Case Study of Offshore Wind Maintenance. Presented at Safety Critical Systems Symposium SSS'24, Bristol, UK

It has been forecasted that a quarter of the world's energy usage will be supplied from Offshore Wind (OSW) by 2050 (Smith 2023). Given that up to one third of Levelised Cost of Energy (LCOE) arises from Operations and Maintenance (O&M), the motive f... Read More about Safety Monitoring for Large Language Models: A Case Study of Offshore Wind Maintenance.

Addressing Complexity and Intelligence in Systems Dependability Evaluation (2023)
Thesis
Aslansefat, K. Addressing Complexity and Intelligence in Systems Dependability Evaluation. (Thesis). University of Hull. https://hull-repository.worktribe.com/output/4500562

Engineering and computing systems are increasingly complex, intelligent, and open adaptive. When it comes to the dependability evaluation of such systems, there are certain challenges posed by the characteristics of “complexity” and “intelligence”. T... Read More about Addressing Complexity and Intelligence in Systems Dependability Evaluation.

Safety-Security Co-Engineering Framework (2023)
Report
Aslansefat, K., Gerasimou, S., Hamibi, H., Matragkas, N., Michalodimitrakis, E., Papadopoulos, Y., Papoutsakis, M., & Walker, M. (2023). Safety-Security Co-Engineering Framework. European Commission

Executive Summary:
The advantages of a model-based approach for safety have been clear for many years now. However, security analysis is typically less formal and more ad-hoc; it may involve systematic processes but these are not generally tied into... Read More about Safety-Security Co-Engineering Framework.

Safety Analysis Concept and Methodology for EDDI development (Initial Version) (2023)
Report
Aslansefat, K., Gerasimou, S., Michalodimi-trakis, E., Papoutsakis, M., Reich, J., Sorokos, I., Walker, M., & Papadopoulos, Y. (2023). Safety Analysis Concept and Methodology for EDDI development (Initial Version). European Comission

Executive Summary:
This deliverable describes the proposed safety analysis concept and accompanying methodology to be defined in the SESAME project. Three overarching challenges to the development of safe and secure multi-robot systems are identifie... Read More about Safety Analysis Concept and Methodology for EDDI development (Initial Version).