In the past two decades, modal analysis has become a major tool in the quest for determining, improving and optimizing dynamic characteristics of engineering structures. Not only has it been recognized in mechanical and aeronautical engineering, but also modal analysis has discovered profound applications for civil and building structures, biomechanical problems, space structures, acoustical in...

A crucial aspect in system identification is the assessment of accuracy identified matrices. Stochastic Subspace Identification (SSI) a widely used approach for linear systems from output-only data because it combines high computational robustness and efficiency with estimation accuracy. Practical approaches estimating (co)variance matrices that are using SSI exist case where obtained shift-inv...

Modal Input/Output interfaces (MIOs) is a new specification theory for systems communicating via inputs and outputs. The approach combines the advantages of both modal automata and interface automata, two dominant specification theories for component-based design. This paper presents the MIO Workbench that is the first complete implementation of the MIO theory.

In a range of contexts, one comes across processes resembling inference, but where input propositions are not in general included among outputs, and the operation is not in any way reversible. Examples arise in contexts of conditional obligations, goals, ideals, preferences, actions, and beliefs. Our purpose is to develop a theory of such input/output operations. Four are singled out: simplemin...

within a language whose only modal operators are the box and the diamond; other modal idioms cannot be expressed within such a language at all. Nonetheless, quantified modal logic has enjoyed considerable success in uncovering and explaining ambiguities in modal sentences and fallacies in modal reasoning. A prime example of this success is the now standard analysis of the distinction between mo...

This paper presents an integrated approach to the modeling and control of aircraft with flexible wings. The coupled aircraft rigid body dynamics with a high-order elastic wing model can be represented in a finite dimensional state-space form. Given a set of desired output covariance, a model reduction process is performed by using the weighted Modal Cost Analysis (MCA). A dynamic output feedbac...

We present a simple mathematical model giving a possible description of a partially coherent light beam exhibiting a flat-topped transverse intensity profile. Such a model allows us to deduce the modal distribution inside a multimode stable optical cavity, assuming that the modes are of the Hermite-Gauss type. The analytical expression used to represent flat-topped profiles is of the flattened ...