All Outputs (20)

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.

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.

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.

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.

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.

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.

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.

Design of a multiple bloom filter for distributed navigation routing (2013)
Journal Article
Jiang, P., Ji, Y., Wang, X., Zhu, J., & Cheng, Y. (2014). Design of a multiple bloom filter for distributed navigation routing. IEEE transactions on systems, man, and cybernetics. Systems, 44(2), 254-260. https://doi.org/10.1109/TSMC.2013.2242884

Unmanned navigation of vehicles and mobile robots can be greatly simplified by providing environmental intelligence with dispersed wireless sensors. The wireless sensors can work as active landmarks for vehicle localization and routing. However, wire... Read More about Design of a multiple bloom filter for distributed navigation routing.

Computer-assisted orthopedic training system for fracture fixation (2013)
Journal Article
Rambani, R., Viant, W., Ward, J., & Mohsen, A. (2013). Computer-assisted orthopedic training system for fracture fixation. Journal of Surgical Education, 70(3), 304-308. https://doi.org/10.1016/j.jsurg.2012.11.009

Background: Surgical training has been greatly affected by the challenges of reduced training opportunities, shortened working hours, and financial pressures. There is an increased need for the use of training systems in developing psychomotor skills... Read More about Computer-assisted orthopedic training system for fracture fixation.

Development and deployment of an intelligent kite aerial photography platform (iKAPP) for site surveying and image acquisition (2013)
Journal Article
Murray, J. C., Neal, M. J., & Labrosse, F. (2013). Development and deployment of an intelligent kite aerial photography platform (iKAPP) for site surveying and image acquisition. Journal of field robotics, 30(2), 288-307. https://doi.org/10.1002/rob.21448

Aerial photographs and images are used by a variety of industries, including farming, landscaping, surveying, and agriculture, as well as academic researchers including archaeologists and geologists. Aerial imagery can provide a valuable resource for... Read More about Development and deployment of an intelligent kite aerial photography platform (iKAPP) for site surveying and image acquisition.

Tetrads of lines spanning PG(7,2) (2013)
Journal Article
Shaw, R., Gordon, N., & Havlicek, H. (2013). Tetrads of lines spanning PG(7,2). Bulletin of the Belgian Mathematical Society, Simon Stevin, 20(4), 735-752. https://doi.org/10.36045/bbms/1382448192

Our starting point is a very simple one, namely that of a set L₄ of four mutually skew lines in PG(7,2). Under the natural action of the stabilizer group G(L₄)