The installation of a structural monitoring system on a mediumto large-span bridge can be a challenging undertaking due to high system costs and time consuming installations. However, these historical challenges can be eliminated by using wireless sensors as the primary building block of a structural monitoring system. Wireless sensors are low-cost data acquisition nodes that utilize wireless c...

This work presents three increasingly expressive Dynamic Logics in which the programs are CCS processes (sCCS-PDL, CCS-PDL and XCCSPDL). Their goal is to reason about properties of concurrent programs and systems described using CCS. In order to accomplish that, CCS’s operators and constructions are added to a basic modal logic in order to create dynamic logics that are suitable for the descrip...

Marine industry requires continued development of new technologies in order to produce oil. An essential requirement in design is to be able to compare experimental data from prototype structures with predicted information from a corresponding analytical finite element model. In this study, structural model updating may be defined as the fit of an existing analytical model in the light of measu...

Most Structural Health Monitoring (SHM) techniques are based on the variation of modal properties of structures. Modal analysis is established under the assumption that the structure behaviour is linear. However, the presence of non-linearities (local or global, smooth or strong) can affect the dynamic properties of the structure. Most of techniques to detect non-linear behaviour in structural ...

Graphs are among the most frequently used structures in Computer Science. In this work, we analyze how we can express some important graph properties such as connectivity, acyclicity and the Eulerian and Hamiltonian properties in a modal logic. First, we show that these graph properties are not definable in a basic modal language. Second, we discuss an extension of the basic modal language with...

This course is devoted to the study of the Foundations of Cyber-Physical Systems [Pla12c, Pla12b]. Lecture 3 on Choice & Control explained hybrid programs, a program notation for hybrid systems [Pla08, Pla10, Pla12c, Pla12a]. Lecture 4 on Safety & Contracts defined differential dynamic logic [Pla08, Pla10, Pla12c, Pla12a] as a specification and verification logic for hybrid programs. Lecture 5 ...

Composite materials are finding increasing application in mechanical systems because of their desirable physical characteristics compared with metals; for example, high strengthand stiffness-to-weight ratios, and the potential for constructing complex shapes without joints or extensive machining. In addition, the dynamic behaviour of composite structures can be manipulated by judicious selectio...

Structural dynamic testing is concerned with the estimation of system properties, including frequency response functions and modal characteristics. These properties are derived from tests on the structure of interest, during which excitations and responses are measured and Fourier techniques are used to reduce the data zhe inputs used in a test are frequently random, and they excite random resp...

Abstract: In transportation engineering, dynamic analysis is an essential procedure for designing reliable systems. However, in current procedures of dynamic analysis for transportation systems, the possible presence of uncertainty in the system’s mechanical properties and/or applied forces is not considered. In this work, a new method is developed for the dynamic analysis of continuous uncerta...

The interpretation of propositional dynamic logic (PDL) through Kripke models requires the relations constituting the interpreting Kripke model to closely observe the syntax of the modal operators. This poses a significant challenge for an interpretation of PDL through stochastic Kripke models, because the programs’ operations do not always have a natural counterpart in the set of stochastic re...