AGV systems are considered a necessary element of the recently created cyber-physical
systems whose task is to support material flows in intelligent factories. The implementation of …

The safety requirements are often described via specifications called contracts. To verify that
the system fulfills certain safety requirements, for instance, in the assume-guarantee contract …

Self-driving cars need to make decisions while sharing the road with human drivers whose
behavior is uncertain. However, the presence of uncertainty leads to a trade-off between two …

The in-vehicle voltage-based intrusion detection system (VIDS) can recognize the identity of
the ECUs and detect the physical layer attacks that cannot be detected by the content-based …

The digital twin is the replica of the real world in the virtual environment, which is fed with
real-time data and information. This replica can be used as a virtual copy of any field of any …

The paper presents the identification process of the mathematical model parameters of a
differential-drive two-wheeled mobile robot. The values of the unknown parameters of the …

The imperatives of occupational health and safety (OHS) are increasingly recognised as
critical components of business operations, particularly within logistics where manual tasks …

The assurance case arguments are created to demonstrate acceptable system safety and/or
security. In this regard, a series of propositions expressed by natural language statements …

Energy storage systems, especially lithium-ion batteries have gained significant attention
and interest due to their potential in storing electrical energy and environmental …

The automotive industry is on the brink of transitioning to autonomous vehicles (AVs). This
will require highly flexible assembly systems. This paper focuses on exploiting the …