the current building codes provide limited prescriptive guidance on design for protection of buildings due to progressive collapse. progressive collapse is a situation in which a localized failure in a structure, caused by an abnormal load, such as explosions or other happenings. three procedures, often employed for determination of the structural response during progressive collapse i.e. linea...

The process of pollutant adsorption from industrial wastewaters is a multivariate problem. This process is affected by many factors including the contact time (T), pH, adsorbent weight (m), and solution concentration (ppm). The main target of this work is to model and evaluate the process of pollutant adsorption from industrial wastewaters using the non-linear multivariate regression and intell...

In this paper we tackle the optimal control problem for piecewise linear and hybrid systems by using a computational approach based on performance-driven reachability analysis. The idea consists of coupling a reachset exploration algorithm, essentially based on repetitive use of linear programming, to a quadratic programming solver which selectively drives the exploration. In particular, an upp...

We propose a hybrid algorithm for solving the NP-hard absolute value equation (AVE): Ax−|x| = b, where A is an n×n square matrix. The algorithm makes no assumptions on the AVE other than solvability and consists of solving iteratively a linear system of equations followed by a linear program. The algorithm was tested on 100 consecutively generated random solvable instances of the AVE with n =50...

The mean field theory approach to knapsack problems is extended to multiple knapsacks and generalized assignment problems with Potts mean field equations governing the dynamics. Numerical tests against "state of the art" conventional algorithms shows good performance for the mean field approach. The inherently parallelism of the mean field equations makes them suitable for direct implementation...

Hybrid integrator–gain systems (HIGS) are nonlinear elements designed for overcoming fundamental limitations of linear time-invariant integrators. This paper presents numerically robust conditions time-domain stability and performance HIGS-controlled systems. In particular, using piecewise quadratic (PWQ) Lyapunov functions defined over polyhedral subregions the state-space, computations upper-...

The hybrid Chi (χ) language is a formalism for modeling, simulation and verification of hybrid systems. One of the most widely known hybrid system formalisms is that of hybrid automata. The formal translation of χ to hybrid automata enables verification of χ specifications using existing hybrid automata based verification tools. In this paper, we describe the translation from χ to hybrid automa...