All Outputs (474)

An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems (2020)
Journal Article
Bressan, L., de Oliveira, A. L., Campos, F., Papadopoulos, Y., & Parker, D. (2020). An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems. Lecture notes in computer science, 12297 LNCS, 179-193. https://doi.org/10.1007/978-3-030-58920-2_12

© 2020, Springer Nature Switzerland AG. Component-based approaches and software product lines have been adopted by industry to manage the diversity of configurations on safety-critical software. Safety certification demands compliance with standards.... Read More about An Integrated Approach to Support the Process-Based Certification of Variant-Intensive Systems.

Failure Mode Reasoning in Model Based Safety Analysis (2020)
Journal Article
Jahanian, H., Parker, D., Zeller, M., McIver, A., & Papadopoulos, Y. (2020). Failure Mode Reasoning in Model Based Safety Analysis. Lecture notes in computer science, 12297 LNCS, 130-145. https://doi.org/10.1007/978-3-030-58920-2_9

© 2020, Springer Nature Switzerland AG. Failure Mode Reasoning (FMR) is a novel approach for analyzing failure in a Safety Instrumented System (SIS). The method uses an automatic analysis of an SIS program to calculate potential failures in parts of... Read More about Failure Mode Reasoning in Model Based Safety Analysis.

Genetic Algorithms as a Feature Selection Tool in Heart Failure Disease (2020)
Journal Article
Alabed, A., Kambhampati, C., & Gordon, N. (in press). Genetic Algorithms as a Feature Selection Tool in Heart Failure Disease. Advances in Intelligent Systems and Computing, 1229 AISC, 531-543. https://doi.org/10.1007/978-3-030-52246-9_38

A great wealth of information is hidden in clinical datasets, which could be analyzed to support decision-making processes or to better diagnose patients. Feature selection is one of the data pre-processing that selects a set of input features by rem... Read More about Genetic Algorithms as a Feature Selection Tool in Heart Failure Disease.

High-quality vascular modeling and modification with implicit extrusion surfaces for blood flow computations (2020)
Journal Article
Hong, Q., Li, Q., Wang, B., Tian, J., Xu, F., Liu, K., & Cheng, X. (2020). High-quality vascular modeling and modification with implicit extrusion surfaces for blood flow computations. Computer Methods and Programs in Biomedicine, 196, Article 105598. https://doi.org/10.1016/j.cmpb.2020.105598

High-quality vascular modeling is crucial for blood flow simulations, i.e., computational fluid dynamics (CFD). As without an accurate geometric representation of the smooth vascular surface, it is impossible to make meaningful blood flow simulations... Read More about High-quality vascular modeling and modification with implicit extrusion surfaces for blood flow computations.

A Hybrid Modular Approach for Dynamic Fault Tree Analysis (2020)
Journal Article
Kabir, S., Aslansefat, K., Sorokos, I., Papadopoulos, Y., & Konur, S. (2020). A Hybrid Modular Approach for Dynamic Fault Tree Analysis. IEEE Access, 8, 97175-97188. https://doi.org/10.1109/ACCESS.2020.2996643

Over the years, several approaches have been developed for the quantitative analysis of dynamic fault trees (DFTs). These approaches have strong theoretical and mathematical foundations; however, they appear to suffer from the state-space explosion a... Read More about A Hybrid Modular Approach for Dynamic Fault Tree Analysis.

Operational Efficiency Improvement of PEM Fuel Cell - A Sliding Mode Based Modern Control Approach (2020)
Journal Article
Javaid, U., Mehmood, A., Arshad, A., Imtiaz, F., & Iqbal, J. (2020). Operational Efficiency Improvement of PEM Fuel Cell - A Sliding Mode Based Modern Control Approach. IEEE Access, 8, 95823-95831. https://doi.org/10.1109/ACCESS.2020.2995895

The efficiency and durability of a Proton Exchange Membrane Fuel Cell (PEMFC) can be improved with proper controller design to regulate the flow of reactants, cell stack temperature and humidity of the membrane. In this paper, sliding mode controller... Read More about Operational Efficiency Improvement of PEM Fuel Cell - A Sliding Mode Based Modern Control Approach.

Fingerprint enhancement using multi-scale classification dictionaries with reduced dimensionality (2020)
Journal Article
Bian, W., Xu, D., Cheng, Y., Li, Q., Luo, Y., & Yu, Q. (2020). Fingerprint enhancement using multi-scale classification dictionaries with reduced dimensionality. IET Biometrics, 9(5), 194-204. https://doi.org/10.1049/iet-bmt.2019.0121

In order to improve the quality of fingerprint with large noise, this paper proposes a fingerprint enhancement method by using a sparse representation of learned multi-scale classification dictionaries with reduced dimensionality. Mul... Read More about Fingerprint enhancement using multi-scale classification dictionaries with reduced dimensionality.

Locality Regularized Robust-PCRC: A Novel Simultaneous Feature Extraction and Classification Framework for Hyperspectral Images (2020)
Journal Article
Yang, Z., Cao, F., Cheng, Y., Ling, W., & Hu, R. (in press). Locality Regularized Robust-PCRC: A Novel Simultaneous Feature Extraction and Classification Framework for Hyperspectral Images. IEEE transactions on geoscience and remote sensing : a publication of the IEEE Geoscience and Remote Sensing Society, 1-16. https://doi.org/10.1109/tgrs.2020.2988900

Despite the successful applications of probabilistic collaborative representation classification (PCRC) in pattern classification, it still suffers from two challenges when being applied on hyperspectral images (HSIs) classification: 1) ineffective f... Read More about Locality Regularized Robust-PCRC: A Novel Simultaneous Feature Extraction and Classification Framework for Hyperspectral Images.

Local keypoint-based Faster R-CNN (2020)
Journal Article
Ding, X., Li, Q., Cheng, Y., Wang, J., Bian, W., & Jie, B. (in press). Local keypoint-based Faster R-CNN. Applied Intelligence, https://doi.org/10.1007/s10489-020-01665-9

Region-based Convolutional Neural Network (R-CNN) detectors have achieved state-of-the-art results on various challenging benchmarks. Although R-CNN has achieved high detection performance, the research of local information in producing candidates is... Read More about Local keypoint-based Faster R-CNN.

Deep learning with knowledge transfer for explainable anomaly prediction in wind turbines (2020)
Journal Article
Chatterjee, J., & Dethlefs, N. (2020). Deep learning with knowledge transfer for explainable anomaly prediction in wind turbines. Wind energy, 23(8), 1693-1710. https://doi.org/10.1002/we.2510

The last decade has witnessed an increased interest in applying machine learning techniques to predict faults and anomalies in the operation of wind turbines. These efforts have lately been dominated by deep learning techniques which, as in other fie... Read More about Deep learning with knowledge transfer for explainable anomaly prediction in wind turbines.

A constraint multi-objective evolutionary optimization of a state-of-the-art dew point cooler using digital twins (2020)
Journal Article
Golizadeh Akhlaghi, Y., Badiei, A., Zhao, X., Aslansefat, K., Xiao, X., Shittu, S., & Ma, X. (2020). A constraint multi-objective evolutionary optimization of a state-of-the-art dew point cooler using digital twins. Energy Conversion and Management, 211, Article 112772. https://doi.org/10.1016/j.enconman.2020.112772

This study is pioneered in developing digital twins using Feed-forward Neural Network (FFNN) and multi objective evolutionary optimization (MOEO) using Genetic Algorithm (GA) for a counter-flow Dew Point Cooler with a novel Guideless Irregular Heat a... Read More about A constraint multi-objective evolutionary optimization of a state-of-the-art dew point cooler using digital twins.

Hypnosis regulation in propofol anaesthesia employing super-twisting sliding mode control to compensate variability dynamics (2020)
Journal Article
Ilyas, M., Iqbal, J., Ahmad, S., Uppal, A. A., Imtiaz, W. A., & Riaz, R. A. (2020). Hypnosis regulation in propofol anaesthesia employing super-twisting sliding mode control to compensate variability dynamics. IET Systems Biology, 14(2), 59-67. https://doi.org/10.1049/iet-syb.2018.5080

Regulation of hypnosis level on bi-spectral index monitor (BIS) during a surgical procedure in propofol anaesthesia administration is a challenging task for an anaesthesiologist in multi-tasking environment of the operation theater. Automation in ana... Read More about Hypnosis regulation in propofol anaesthesia employing super-twisting sliding mode control to compensate variability dynamics.

Bio-AKA: An efficient fingerprint based two factor user authentication and key agreement scheme (2020)
Journal Article
Bian, W., Gope, P., Cheng, Y., & Li, Q. (2020). Bio-AKA: An efficient fingerprint based two factor user authentication and key agreement scheme. Future generations computer systems : FGCS, 109, 45-55. https://doi.org/10.1016/j.future.2020.03.034

The fingerprint has long been used as one of the most important biological features in the field of biometrics. It is person-specific and remain identical though out one’s lifetime. Physically uncloneable functions (PUFs) have been used in authentica... Read More about Bio-AKA: An efficient fingerprint based two factor user authentication and key agreement scheme.

Developing a Semantic-Driven Hybrid Segmentation Method for Point Clouds of 3D Shapes (2020)
Journal Article
Yang, X., Han, X., Li, Q., He, L., Pang, M., & Jia, C. (2020). Developing a Semantic-Driven Hybrid Segmentation Method for Point Clouds of 3D Shapes. IEEE Access, 8, 40861-40880. https://doi.org/10.1109/access.2020.2976847

With the rapid development of point cloud processing technologies and the availability of a wide range of 3D capturing devices, a geometric object from the real world can be directly represented digitally as a dense and fine point cloud. Decomposing... Read More about Developing a Semantic-Driven Hybrid Segmentation Method for Point Clouds of 3D Shapes.

Robust Integral Sliding Mode Control Design for Stability Enhancement of Under-actuated Quadcopter (2020)
Journal Article
Ullah, S., Mehmood, A., Khan, Q., Rehman, S., & Iqbal, J. (2020). Robust Integral Sliding Mode Control Design for Stability Enhancement of Under-actuated Quadcopter. International journal of control, automation and systems, 18(7), 1671-1678. https://doi.org/10.1007/s12555-019-0302-3

In this paper, a robust backstepping integral sliding mode control (RBISMC) technique is designed for the flight control of a quadcopter, which is an under-actuated nonlinear system. First, the mathematical model of this highly coupled and under-actu... Read More about Robust Integral Sliding Mode Control Design for Stability Enhancement of Under-actuated Quadcopter.

Estimation of Surgical Needle Insertion Force Using Kalman Filter (2020)
Journal Article
Jafri, S. R. U. N., Jamshaid, A., Jafri, S. M. U. N., & Iqbal, J. (2020). Estimation of Surgical Needle Insertion Force Using Kalman Filter. Journal of Electrical Engineering & Technology, 15(2), 899-906. https://doi.org/10.1007/s42835-020-00355-3

This paper presents a novel low-cost technique to measure the insertion force of a surgical needle on a testing surface to check needle strength. A combination of a load cell with a current sensor for a linear DC motor has been used to estimate the i... Read More about Estimation of Surgical Needle Insertion Force Using Kalman Filter.

On the improvement of calibration accuracy of parallel robots - Modeling and optimization (2020)
Journal Article
Bentaleb, T., & Iqbal, J. (2020). On the improvement of calibration accuracy of parallel robots - Modeling and optimization. Journal of Theoretical and Applied Mechanics (Poland), 58(1), 261-272. https://doi.org/10.15632/JTAM-PL/115863

This paper proposes kinematic based calibration methods for Delta parallel robots. The boundary of the robot workspace is computed using a forward kinematic model. Influence of errors in kinematic parameters on the workspace boundaries is investigate... Read More about On the improvement of calibration accuracy of parallel robots - Modeling and optimization.

Validation of in-house knowledge-based planning model for advance-stage lung cancer patients treated using VMAT radiotherapy (2020)
Journal Article
Tambe, N., Pires, I. M., Moore, C., Cawthorne, C., & Beavis, A. (2020). Validation of in-house knowledge-based planning model for advance-stage lung cancer patients treated using VMAT radiotherapy. British Journal of Radiology, 93(1106), https://doi.org/10.1259/bjr.20190535

Objectives: Radiotherapy plan quality may vary considerably depending on planner's experience and time constraints. The variability in treatment plans can be assessed by calculating the difference between achieved and the optimal dose distribution. T... Read More about Validation of in-house knowledge-based planning model for advance-stage lung cancer patients treated using VMAT radiotherapy.

Rigid 3d registration algorithm for localization of the vertebral centroids in 3d deformity models of adolescent idiopathic scoliosis (2020)
Journal Article
Ćuković, S. M., Taylor, W., Luković, V., Ghionea, I., Baizid, K., Iqbal, J., & Karuppasamy, S. (2020). Rigid 3d registration algorithm for localization of the vertebral centroids in 3d deformity models of adolescent idiopathic scoliosis. Computer-Aided Design and Applications, 17(6), 1313-1325. https://doi.org/10.14733/cadaps.2020.1313-1325

In this paper, we developed a methodology for a non-invasive 3D diagnosis based on a digitized dorsal surface of the patient enabling assessment and monitoring of Adolescent Idiopathic Scoliosis (AIS). We applied a novel 3D registration algorithm, wh... Read More about Rigid 3d registration algorithm for localization of the vertebral centroids in 3d deformity models of adolescent idiopathic scoliosis.

Robust Sliding Mode Control for Flexible Joint Robotic Manipulator via Disturbance Observer (2019)
Journal Article
Alam, W., Ahmad, S., Mehmood, A., & Iqbal, J. (2019). Robust Sliding Mode Control for Flexible Joint Robotic Manipulator via Disturbance Observer. Interdisciplinary Description of Complex Systems, 17(1), 85-97. https://doi.org/10.7906/indecs.17.1.11

In a flexible joint robotic manipulator, parametric variations and external disturbances result in mismatch uncertainties thus posing a great challenge in terms of manipulator’s control. This article investigates non-linear control algorithms for des... Read More about Robust Sliding Mode Control for Flexible Joint Robotic Manipulator via Disturbance Observer.