The Incremental Dynamic Analysis (IDA) represents a promising design approach to assess the performance and post-earthquake load carrying capacity of steel frames. Generally, only maximum transient inter-story drift is considered as damage intensity measure (DM), when IDA carried out. In Authors' opinion, better appraise all aspects characterizing state structures, additional DMs should be cons...

In quantitative program analysis, values are assigned to execution traces to represent a quality measure. Such analyses cover important applications, e.g. resource usage. Examining all traces is well known to be intractable and therefore traditional algorithms reason over an over-approximated set. Typically, inaccuracy arises due to inclusion of infeasible paths in this set. Thus path-sensitivi...

Exploiting dynamic scaling and homogeneity in the bi-limit, we developp a new class of high gain observers which incorporate a gain update law and nonlinear output error injection terms. A broader class of systems can be addressed and the observer gain is better fitted to the incremental rate of the nonlinearities. The expected improved performance is illustrated.

This paper presents a finite element formulation for the dynamics analysis of the steady and transient states of a nonlinear piezoelectric beam. A piezoelectric beam with damping is studied under harmonic excitation. A numerical method is used for this analysis. In the paper, the central difference formula of four order is used and compared with the central difference formula of two order in th...

In this paper, transverse and longitudinal vibration of nonlinear plate under exciting of orbiting mass is considered based on first-order shear deformation theory. The nonlinear governing equation of motion are discretized by the finite element method in combination with Newmark’s time integration scheme under von Karman strain-displacement assumptions. For validation of method and formulation...

We present a theoretical framework for characterizing incremental stability of nonlinear stochastic systems perturbed by either compound Poisson shot noise or finite-measure Lévy noise. For each type, we compare trajectories the system with distinct sample paths against nominal, unperturbed system. show that finite number jumps arising from process, mean-squared error between exponentially conv...