0000000000403453
AUTHOR
Grzegorz ŁAbiak
Food tray sealing fault detection using hyperspectral imaging and PCANet
Abstract Food trays are very common in shops and supermarkets. Fresh food packaged in trays must be correctly sealed to protect the internal atmosphere and avoid contamination or deterioration. Due to the speed of production, it is not possible to have human quality inspection. Thus, automatic fault detection is a must to reach high production volume. This work describes a deep neural network based on Principal Component Analysis Network (PCANet) for food tray sealing fault detection. The input data come from hyperspectral cameras, showing more characteristics than regular industrial cameras or the human eye as they capture the spectral properties for each pixel. The proposed classification…
Dual-model approach for safety-critical embedded systems
Abstract The paper presents the design of digital controllers based on two models: the Petri net model, and the UML state machine. These two approaches differ in many aspects of design flow, such as conceptual modelling, and analysis and synthesis. Each of these approaches can be used individually to design an efficient logic controller, and such solutions are well-known, but their interoperability can contribute to a much better understanding of logic controller design and validation. This is especially important in the case of safety- or life-critical embedded systems, and apart from this, a dual-model controller design can make up redundant system increasing its reliability.
Statechart-based design controllers for FPGA partial reconfiguration
Statechart diagram and UML technique can be a vital part of early conceptual modeling. At the present time there is no much support in hardware design methodologies for reconfiguration features of reprogrammable devices. Authors try to bridge the gap between imprecise UML model and formal HDL description. The key concept in author's proposal is to describe the behavior of the digital controller by statechart diagrams and to map some parts of the behavior into reprogrammable logic by means of group of states which forms sequential automaton. The whole process is illustrated by the example with experimental results.