Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of algebraic and coalgebraic methods, it abstracts from concrete notions of syntax and system behaviour, thus treating various kinds of operational descriptions in a uniform fashion. In this talk, the current state of the art...

Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of algebraic and coalgebraic methods, it abstracts from concrete notions of syntax and system behaviour, thus treating various kinds of operational descriptions in a uniform fashion. In this talk, the current state of the art...

The structural operating conditions may significantly differ from those applied during laboratory tests where the structure is well known, well installed and properly excited. For structures under their natural loading conditions, or excited by random forces, excitations cannot be measured and are usually non stationary. Hence, an improvement operational modal analysis is a useful complement to...

Independent Component Analysis (ICA) / Blind Source Separation (BSS) is an emerging research area in the field of signal processing. The goal of ICA / BSS techniques is to identify statistically independent and non-Gaussian sources from a linear mixture of such sources. It also extracts the unknown mixture matrix in the process. The purpose of this paper is to explore the possibilities of utili...

Operational modal testing and analysis is a direct and efficient way to understand the dynamic properties of full scale bridges. For the purpose of bridge modeling, monitoring, condition assessment, damage detection, maintenance and rehabilitation, this paper is intended to share ideas and experiences that are devoted to innovative applications in full scale bridges when the bridge modal parame...