In this work characterizations of the notion of non-uniform in time robust global asymptotic output stability for hybrid systems with disturbances are given. Based on the provided characterizations, it is shown that every asymptotically output controllable time-varying control system can be stabilized (in general nonuniformly in time) by means of time-varying hybrid feedback.

The paper addresses the problem of transforming the discrete-time single-input single-output nonlinear control system into the observer form using the state and output transformations. The necessary and sufficient solvability conditions are formulated in terms of differential one-forms, associated with the input-output equation of the control system. These conditions simplify the existing condi...

Controllability and kinematic modelling notions are investigated for a class of mechanical control systems. First, low-order controllability results are given for the class of mechanical control systems. Second, a precise connection is made between those mechanical systems which are dynamic (i.e., have forces as inputs) and those which are kinematic (i.e., have velocities as inputs). Interestin...

This research tends to development of the requirements elicitation methodology with regard to operational nature and hierarchical analysis for complex systems and also, regarding available technologies. This methodology applies Analytic Hierarchy Process (AHP) and Analytic Network Process (ANP) to ensure traceability of planned qualitative and quantitative data from requirements to available te...

This paper designs an Optimized Adaptive Combined Hierarchical Sliding Mode Controller (OACHSMC) for a time-varying crane model in presence of uncertainties. Uncertainties have always been one of the most important challenges in designing control systems, which include the unknown parameters or un-modeled dynamics in the systems. Sliding mode controller (SMC) is able to compensate the system in...

This research tends to development of the requirements elicitation methodology with regard to operational nature and hierarchical analysis for complex systems and also, regarding available technologies. This methodology applies Analytic Hierarchy Process (AHP) and Analytic Network Process (ANP) to ensure traceability of planned qualitative and quantitative data from requirements to available te...

This paper presents a multi-objective and multi-service location-allocation model with capacity planning to design a healthcare facilities network through considering a referral system. Therefore, a mixed integer nonlinear programming (MINLP) model containing two objective functions is proposed. The first objective function is  relates to minimization of total opening cost, minimization of tota...

We investigate techniques for verifying hierarchical systems, i.e., nite state systems with a nesting capability. The straightforward way of analysing a hierarchical system is to rst atten it into an equivalent non-hierarchical system and then apply existing nite state system veriication techniques. Though conceptually simple, attening is severely punished by the hierarchical depth of a system....

In this paper, a multi-perspective decision support system (MP-DSS)‎ ‎to design hierarchical public transportation network is developed‎. ‎Since this problem depends on different perspectives‎, ‎MP-DSS consists of two sub-systems with macro and micro sub-systems based on travel information‎, ‎land use and expert knowledge‎. ‎In the micro sub-system‎, ‎two sub-modules are developed considering o...