Vibration-based structural health monitoring (SHM) has become an attractive solution for the global monitoring and evaluation of damage in structures. Numerous damage detection schemes used in vibration-based SHM require knowledge of the modal properties of the structure under evaluation in its current state. The technique of operational modal analysis allows for these modal properties to be ob...

A previously introduced combination of the bialgebraic approach to structural operational semantics with coalgebraic modal logic is re-examined and improved in some aspects. Firstly, a more abstract, conceptual proof of the main compositionality theorem is given, based on an understanding of modal logic as a study of coalgebras in slice categories of adjunctions. Secondly, a more concrete under...

In this paper, an overview is presented of recently developed algorithms and techniques that are available to the Operational Modal Analysis community through the recently developed Matlab toolbox with Graphical User Interface, MACEC Enhanced.