Measurements of horizontal and vertical displacements are carried out mostly based on reference points identified as fixed. In surveying practice there may be some situations in which there is not possible to perform the measurements with reference to stable points or the difficulties in identification of points’ stability may arise. Accuracy analysis based on the covariance matrices have a special role in this process. In presented...

This paper presents a decentralized energy management system for a power microgrid, which integrates individual users, who own renewable energy sources and energy storages. The purpose of the system is to make optimal use of available resources to cover the electricity needs of the whole microgrid. Thanks to the energy exchange system, in addition to exchanges with the distribution network, the system also allows trades within...

The paper presents the references model for structural health monitoring system (SHM) of cable-stayed bridge recently constructed in Rzeszów over Wisłok River. The SHM system is design to provide on-line information on the structure state and facilitate its maintenance procedures. The main feature of the SHM system is permanent observation of the dynamic behavior of the bridge with focus on cable vibrations. The paper discusses...

Assurance cases are structured arguments used to demonstrate specific system properties such as safety or security. They are used in many industrial sectors including automotive, aviation and medical devices. Larger assurance cases are usually divided into modules to manage the complexity and distribute the work. Each of the modules is developed to address specific goals allocated to the specific objects i.e. components of the...