All Outputs (28)

Quantification of Simultaneous-AND Gates in Temporal Fault Trees (2013)
Journal Article
Edifor, E., Walker, M., & Gordon, N. (2013). Quantification of Simultaneous-AND Gates in Temporal Fault Trees. Advances in Intelligent Systems and Computing, 224, 141-151. https://doi.org/10.1007/978-3-319-00945-2_13

Fault Tree Analysis has been a cornerstone of safety-critical systems for many years. It has seen various extensions to enable it to analyse dynamic behaviours exhibited by modern systems with redundant components. However, none of these extended FTA... Read More about Quantification of Simultaneous-AND Gates in Temporal Fault Trees.

Multi-objective architecture optimisation modelling for dependable systems (2013)
Journal Article
Mian, Z., & Bottaci, L. (2013). Multi-objective architecture optimisation modelling for dependable systems. IFAC Proceedings Volumes/ International Federation of Automatic Control, 4(22), 31-36. https://doi.org/10.3182/20130904-3-UK-4041.00033

The design of dependable systems must address both cost and dependability (i.e. safety, reliability, availability and maintainability) concerns. For large systems, the design space of alternatives with respect to both dependability and cost is very l... Read More about Multi-objective architecture optimisation modelling for dependable systems.

An open-source multi-DOF articulated robotic educational platform for autonomous object manipulation (2013)
Journal Article
Manzoor, S., Ul Islam, R., Khalid, A., Samad, A., & Iqbal, J. (2014). An open-source multi-DOF articulated robotic educational platform for autonomous object manipulation. Robotics and Computer-Integrated Manufacturing, 30(3), 351-362. https://doi.org/10.1016/j.rcim.2013.11.003

This research presents an autonomous robotic framework for academic, vocational and training purpose. The platform is centred on a 6 Degree Of Freedom (DOF) serial robotic arm. The kinematic and dynamic models of the robot have been derived to facili... Read More about An open-source multi-DOF articulated robotic educational platform for autonomous object manipulation.

Overview of Bayesian sequential Monte Carlo methods for group and extended object tracking (2013)
Journal Article
Mihaylova, L., Carmi, A. Y., Septier, F., Gning, A., Pang, S. K., & Godsill, S. (2014). Overview of Bayesian sequential Monte Carlo methods for group and extended object tracking. Digital Signal Processing, 25, 1-16. https://doi.org/10.1016/j.dsp.2013.11.006

This work presents the current state-of-the-art in techniques for tracking a number of objects moving in a coordinated and interacting fashion. Groups are structured objects characterized with particular motion patterns. The group can be comprised of... Read More about Overview of Bayesian sequential Monte Carlo methods for group and extended object tracking.

Cooperative wideband spectrum sensing with multi-bit hard decision in cognitive radio (2013)
Conference Proceeding
Mehdawi, M. A., Riley, N. G., Ammar, M., Fanan, A., & Zolfaghari, M. (2013). Cooperative wideband spectrum sensing with multi-bit hard decision in cognitive radio. . https://doi.org/10.1109/TELFOR.2013.6716212

Cognitive radio offers an increasingly attractive solution to overcome the underutilization problem. A sensor network based cooperative wideband spectrum sensing is proposed in this paper. The purpose of the sensor network is to determine the frequen... Read More about Cooperative wideband spectrum sensing with multi-bit hard decision in cognitive radio.

Maximising gain for minimal pain: Utilising natural game mechanics (2013)
Journal Article
Gordon, N., Brayshaw, M., & Grey, S. (2013). Maximising gain for minimal pain: Utilising natural game mechanics. Innovation in teaching and learning in information and computer sciences, 12(1), 27-38. https://doi.org/10.11120/ital.2013.00004

This paper considers the application of natural games mechanics within higher education as a vehicle to encourage student engagement and achievement of desired learning outcomes. It concludes with desiderata of features for a learning environment whe... Read More about Maximising gain for minimal pain: Utilising natural game mechanics.

Automatic optimisation of system architectures using EAST-ADL (2013)
Journal Article
Walker, M., Reiser, M., Tucci-Piergiovanni, S., Papadopoulos, Y., Lönn, H., Mraidha, C., …Servat, D. (2013). Automatic optimisation of system architectures using EAST-ADL. Journal of Systems and Software, 86(10), 2467-2487. https://doi.org/10.1016/j.jss.2013.04.001

There are many challenges which face designers of complex system architectures, particularly safety-critical or real-time systems. The introduction of Architecture Description Languages (ADLs) has helped to meet these challenges by consolidating info... Read More about Automatic optimisation of system architectures using EAST-ADL.

Box-particle probability hypothesis density filtering (2013)
Journal Article
Schikora, M., Gning, A., Mihaylova, L., Cremers, D., & Koch, W. (2014). Box-particle probability hypothesis density filtering. IEEE Transactions on Aerospace and Electronic Systems, 50(3), 1660-1672. https://doi.org/10.1109/taes.2014.120238

This paper develops a novel approach for multitarget tracking, called box-particle probability hypothesis density filter (box-PHD filter). The approach is able to track multiple targets and estimates the unknown number of targets. Furthermore, it is... Read More about Box-particle probability hypothesis density filtering.

Automatic generation of Temporal Fault Trees from AADL models (2013)
Conference Proceeding
Mahmud, N., & Mian, Z. (2014). Automatic generation of Temporal Fault Trees from AADL models. In R. Steenbergen, P. VanGelder, S. Miraglia, & A. Vrouwenvelder (Eds.), Safety, Reliability and Risk Analysis : Beyond the Horizon (2741-2749). https://doi.org/10.1201/b15938

The Architecture Analysis and Design Language (AADL) is gaining growing acceptance in the aerospace, automobile and avionics industries. These industries are increasingly concerned with systems exhibiting sequence-dependent failures. About dependabil... Read More about Automatic generation of Temporal Fault Trees from AADL models.

Assisted assignment of automotive safety requirements (2013)
Journal Article
Azevedo, L. D. S., Parker, D., Walker, M., Papadopoulos, Y., & Araújo, R. E. (2014). Assisted assignment of automotive safety requirements. IEEE Software, 31(1), 62-68. https://doi.org/10.1109/ms.2013.118

ISO 26262, a functional-safety standard, uses Automotive Safety Integrity Levels (ASILs) to assign safety requirements to automotive-system elements. System designers initially assign ASILs to system-level hazards and then allocate them to elements o... Read More about Assisted assignment of automotive safety requirements.

A snake-based scheme for path planning and control with constraints by distributed visual sensors (2013)
Journal Article
Cheng, Y., Jiang, P., & Hu, Y. F. (2014). A snake-based scheme for path planning and control with constraints by distributed visual sensors. Robotica, 32(4), 477-499. https://doi.org/10.1017/S0263574713000805

This paper proposes a robot navigation scheme using wireless visual sensors deployed in an environment. Different from the conventional autonomous robot approaches, the scheme intends to relieve massive on-board information processing required by a r... Read More about A snake-based scheme for path planning and control with constraints by distributed visual sensors.

A novel track-drive mobile robotic framework for conducting projects on robotics and control systems (2013)
Journal Article
Iqbal, J., Riaz un Nabi, S., Attayyab Khan, A., & Khan, H. (2013). A novel track-drive mobile robotic framework for conducting projects on robotics and control systems. Life science journal, 10(3), 130-137

This paper presents a novel robotic framework to help students to practically grasp the concepts of Robotics and Control Systems in a laboratory environment. The framework is centered on a robotic rover having two tank-like tracks which permit locomo... Read More about A novel track-drive mobile robotic framework for conducting projects on robotics and control systems.

Real-time target detection and tracking: A comparative in-depth review of strategies (2013)
Journal Article
Iqbal, J., Pasha, M., Riaz-un-Nabi, Khan, H., & Iqbal, J. (2013). Real-time target detection and tracking: A comparative in-depth review of strategies. Life science journal, 10(3), 804-813

This survey reports the approaches for object detection and successful target tracking based on image acquisition for real time applications. Moving target detection and its tracking is an important research topic in computer vision and robotics. Com... Read More about Real-time target detection and tracking: A comparative in-depth review of strategies.

Formal verification and validation of embedded systems: the UML-based MADES approach (2013)
Journal Article
Baresi, L., Blohm, G., Kolovos, D. S., Matragkas, N., Motta, A., Paige, R. F., …Rossi, M. (2015). Formal verification and validation of embedded systems: the UML-based MADES approach. Software and systems modeling, 14(1), 343-363. https://doi.org/10.1007/s10270-013-0330-z

© 2013, Springer-Verlag Berlin Heidelberg. Formal verification and validation activities from the early development phases can foster system consistency, correctness, and integrity, but they are often hard to carry out as most designers do not have t... Read More about Formal verification and validation of embedded systems: the UML-based MADES approach.

Computer vision inspired real-time autonomous moving target detection, tracking and locking (2013)
Journal Article
Iqbal, J., Pasha, S. M., Baizid, K., Khan, A. A., & Iqbal, J. (2013). Computer vision inspired real-time autonomous moving target detection, tracking and locking. Life science journal, 10(4), 3338-3345

Moving object analysis is one of the most important and challenging research subjects in computer vision, video processing and robotics. This analysis is three folds: object detection followed by its tracking and locking. Today's applications demand... Read More about Computer vision inspired real-time autonomous moving target detection, tracking and locking.

The technology supported assessment model: a proposal for FIT in HNUE (2013)
Conference Proceeding
Nguyen, T. C., & Gordon, N. (2013). The technology supported assessment model: a proposal for FIT in HNUE. In D. Graham (Ed.),

The student learning assessment systems used in many Vietnamese universities do not utilise technology enhanced learning. Therefore, assessment systems take up a lot of time, and require manual human intervention. Moreover, the benefits of active lea... Read More about The technology supported assessment model: a proposal for FIT in HNUE.

Fuzzy rule-based system applied to risk estimation of cardiovascular patients (2013)
Journal Article
Bohacik, J., & Davis, D. N. (2013). Fuzzy rule-based system applied to risk estimation of cardiovascular patients. Journal of Multiple-Valued Logic and Soft Computing, 20(5-6), 445-466

Cardiovascular decision support is one area of increasing research interest. On-going collaborations between clinicians and computer scientists are looking at the application of knowledge discovery in databases to the area of patient diagnosis, based... Read More about Fuzzy rule-based system applied to risk estimation of cardiovascular patients.

Safety Analysis of a Remote Patient Monitoring System with a Guideline Based Decision Support (2013)
Book Chapter
Al-Qora'n, L., Sharvia, S., Papadopoulos, Y., & Gordon, N. (2013). Safety Analysis of a Remote Patient Monitoring System with a Guideline Based Decision Support. Global Telemedicine and eHealth Updates: Knowledge Resources (527 - 531). International Society for Telemedicine & eHealth

Home Telehealth systems are used to help in the management of chronic conditions by patients themselves. Effective safety analysis tools are needed to ensure reliability and safety of these high risk systems. We hereby explain how Hierarchically-Perf... Read More about Safety Analysis of a Remote Patient Monitoring System with a Guideline Based Decision Support.

Spectrum occupancy survey In HULL-UK For cognitive radio applications: Measurement & analysis (2013)
Journal Article
Mehdawi, M., Riley, N., Paulson, K., Fanan, A., & Ammar, M. (2013). Spectrum occupancy survey In HULL-UK For cognitive radio applications: Measurement & analysis. International Journal of Scientific and Technology Research, 2(4), 231-236

Efficient use of the radio spectrum is a necessity for future wireless systems. Cognitive Radio (CR) systems promise large inc reases in spectral efficiency. An important design constraint for systems is understanding of the current use of frequency... Read More about Spectrum occupancy survey In HULL-UK For cognitive radio applications: Measurement & analysis.

Surface estimation of a pedestrian walk for outdoor use of power wheelchair based robot (2013)
Journal Article
Khan, A. A., un Nabi, S. R., & Iqbal, J. (2013). Surface estimation of a pedestrian walk for outdoor use of power wheelchair based robot. Life science journal, 10(3), 1697-1704

In mobile robotics, surface estimation and object recognition play vital role in navigation and control. This research presents a normal vector estimation method of a surface using Delaunay tessellation. The proposed strategy is an expansion of previ... Read More about Surface estimation of a pedestrian walk for outdoor use of power wheelchair based robot.