Daniele Scrimieri

University of Bradford | UB · School of Computer Science, AI and Electronics

In this paper, we discuss a framework for synthesising manufacturing process controllers using situation calculus, a well-known second-order logic for reasoning about actions in AI. Using a library of high-level ConGolog programs and logical action theories for production resources, we demonstrate how to efficiently synthesise an ‘optimal’ plan, i....

The early diagnosis and personalised treatment of diseases are facilitated by machine learning. The quality of data has an impact on diagnosis because medical data are usually sparse, imbalanced, and contain irrelevant attributes, resulting in suboptimal diagnosis. To address the impacts of data challenges, improve resource allocation, and achieve...

Industry 4.0 promotes highly automated mechanisms for setting up and operating flexible manufacturing systems, using distributed control and data-driven machine intelligence. This paper presents an approach to reconfiguring distributed production systems based on complex product requirements, combining the capabilities of the available production r...

Immunotherapy treatments can be essential sometimes and a waste of valuable resources in other cases, depending on the diagnosis results. Therefore, researchers in immunotherapy need to be updated on the current status of research by exploring: application domains e.g warts, datasets e.g immunotherapy, classifiers or algorithms e.g kNN, software to...

This paper presents an agent-based framework for reconfiguring modular assembly systems using machine learning and system performance estimates based on previous reconfigurations. During a reconfiguration, system integrators and engineers make changes to the machine to meet new production requirements by increasing capacity or manufacturing new pro...

The current UK rail network is managed by Network Rail, which requires an investment of £5.2bn per year to cover operational costs [1]. These expenses include the maintenance and repairs of the railway rails. This paper aims to create a proof of concept for an autonomous health monitoring system of the rails using an integrated finite element analy...

This paper presents the design of a multi-agent framework that aids engineers in the adaptation of modular production systems. The framework includes general implementations of agents and other software components for self-learning and adaptation, sensor data analysis, system modelling and simulation, as well as human-computer interaction. During a...

This paper presents an improved mathematical model for calculation of distortion vectors of two aligned surface meshes. The model shows better accuracy when benchmarked to an existing model with exceptional mathematical conditions, such as sharp corners and small radii. The model was implemented into a developed distortion compensation digital tool...

This paper presents the development of a new chatter model using measured cutting forces instead of a mathematical model with empirical nature that describes them. The utilisation of measured cutting forces enables the prediction of real-time chatter conditions and stable machining. The chatter model is validated using fast Fourier transform (FFT)...

This paper presents a self-learning technique for adapting modular automated assembly systems. The technique consists of automatically analysing sensor data and acquiring experience on the changes made on an assembly system to cope with new production requirements or to recover from disruptions. Experience is generalised into operational knowledge...

This paper presents a self-learning technique for modular automated assembly systems. The technique consists of automatically acquiring experience on the changes made on an assembly system to cope with new production requirements or to recover from disruptions. Experience is generalised into operational knowledge that is used to aid operators in fu...

The simulation of a manufacturing process chain with the finite element method requires the selection of an appropriate finite element solver, element type and mesh density for each process of the chain. When the simulation results of one step are needed in a subsequent one, they have to be interpolated and transferred to another model. This paper...

Modern manufacturing companies face increased pressures to adapt to shorter product life cycles and the need to reconfigure more frequently their production systems to offer new product variants. This paper proposes a new multi-agent architecture utilising “plug and produce” principles for configuration and reconfiguration of production systems wit...

We present a technique for automatically acquiring operational knowledge on how to adapt assembly systems to new production demands or recover from disruptions. Dealing with changes and disruptions affecting an assembly station is a complex process which requires deep knowledge of the assembly process, the product being assembled and the adopted te...

The new market trends are very different, so it is crucial to the companies improve the tools and capabilities that allow themselves readjust rapidly and effectively to the news market changes and to the new requirements. In order to facilitate this process, it is proposed in this paper an agent based implementation that can provide to the existent...

The new market trends are very different, so it iscrucial to the companies improve the tools and capabilities thatallow themselves readjust rapidly and effectively to the newsmarket changes and to the new requirements. In order tofacilitate this process, it is proposed in this paper an agent basedimplementation that can provide to the existent syst...

Due to constant globalisation new trends on the market are coming up. One of the trends is the customisation of products for the customer and shorter product life cycles. To overcome the trends industries identified as key element self-reconfigurable production systems. A change to a running system means loss of time, money and manpower. A reconfig...

In the simulation of a chain of manufacturing processes, several finite element packages can be employed and for each process or package a different mesh density or element type may be the most suitable. Therefore, there is a need for transferring finite element analysis (FEA) data among packages and mapping it between meshes. This paper presents e...

We present a decision-support framework for speeding up the ramp-up of modular assembly systems by learning from past experience. Bringing an assembly system to the expected level of productivity requires engineers performing mechanical adjustments and changes to the assembly process to improve the performance. This activity is time-consuming, know...

Dealing with disruptions affecting an assembly station is a complex process which requires deep knowledge of the assembly process, the product being assembled and the technologies adopted. We present a method for automatically acquiring and reusing operational knowledge on how to react to disruptions and restore productivity. Shop floor operators t...

The ramp-up process of assembly systems has a huge impact on both the productivity of those systems and the quality of the output. In this work we present a new technique for accelerating the ramp-up process by automatically capturing knowledge about a machine and subsequently reusing it to inform an engineer performing ramp-up. This technique reli...

C++ templates were designed to provide generic programming, but they are also capable of performing static computation. It is known that any partial recursive function can be computed at compile time, using the C++ templates to define primitive recursion, composition, and minimal-ization. It is also known that polynomial-time computable functions c...

We investigate the computational power of C++ compilers. In particular, it is known that any partial recursive function can be computed at compile time, using the template mechanism to define primitive recursion, composition, and minimalization. We show that polynomial time computable functions can be computed at compile-time using the same mechani...