Search

emir/0000-0001-7220-0042 WOS: 000386878300001 Necessary and sufficiently conditions are derived for the decomposition of a second order linear time-varying system into two cascade connected commutative first order linear time-varying subsystems. The explicit formulas describing these subsystems are presented. It is shown that a very small class of systems satisfies the stated conditions. The results are well verified by simulations. It is also shown that its cascade synthesis is less sensitive to numerical errors than the direct simulation of the system itself. Scientific and Technological Research Council of TurkeyTurkiye Bilimsel ve Teknolojik Arastirma Kurumu (TUBITAK) [115E952] This paper has been supported by the Scientific and Technological Research Council of Turkey under the project no. 115E952.

The aim of this paper is to investigate the effectiveness and cost-effectiveness of leptospirosis control measures, preventive vaccination and treatment of infective humans that may curtail the disease transmission. For this, a mathematical model for the transmission dynamics of the disease that includes preventive, vaccination, treatment of infective vectors and humans control measures are considered. Firstly, the constant control parameters’ case is analyzed, also calculate the basic reproduction number and investigate the existence and stability of equilibria. The threshold condition for disease-free equilibrium is found to be locally asymptotically stable and can only be achieved when the basic reproduction number is less than unity. The model is found to exhibit the existence of multiple endemic equilibria. Furthermore, to assess the relative impact of each of the constant control parameters measures the sensitivity index of the basic reproductive number to the model’s parameters are calculated. In the time-dependent constant control case, Pontryagin’s Maximum Principle is used to derive necessary conditions for the optimal control of the disease. The cost-effectiveness analysis is carried out by first of all using ANOVA to check on the mean costs. Then followed by Incremental Cost-Effectiveness Ratio (ICER) for all the possible combinations of the disease control measures. Our results revealed that the most cost-effective strategy for the control of leptospirosis is the combination of the vaccination and treatment of infective livestocks. Though the combinations of all control measures is also effective, however, this strategy is not cost-effective and so too costly. Therefore, more efforts from policy makers on vaccination and treatment of infectives livestocks regime would go a long way to combat the disease epidemic.

International audience; This paper presents a general review on hybrid modelling which is about to become ubiquitous in biological and medical modelling. Hybrid modelling is classically defined as the coupling of a continuous approach with a discrete one, in order to model a complex phenomenon that cannot be described in a standard homogeneous way mainly due to its inherent multiscale nature. In fact, hybrid modelling can be more than that since any types of coupled formalisms qualify as being hybrid. This review first presents the evolution and current context of this modelling approach. It then proposes a classification of the models through three different types that relate to the nature and level of coupling of the formalisms used.

Some twenty years ago we introduced a nonstandard matrix Riccati equation to solve the partial stochastic realization problem. In this paper we provide a new derivation of this equation in the context of system identification. This allows us to show that the nonstandard matrix Riccati equation is universal in the sense that it can be used to solve more general analytic interpolation problems by only changing certain parameters. Such interpolation problems are ubiquitous in systems and control. In this context we also discuss a question posed by R.E. Kalman in beginning of the 1970s.

Social balance theory describes allowable and forbidden configurations of the topologies of signed directed social appraisal networks. In this paper, we propose two discrete-time dynamical systems that explain how an appraisal network \textcolor{blue}{converges to} social balance from an initially unbalanced configuration. These two models are based on two different socio-psychological mechanisms respectively: the homophily mechanism and the influence mechanism. Our main theoretical contribution is a comprehensive analysis for both models in three steps. First, we establish the well-posedness and bounded evolution of the interpersonal appraisals. Second, we fully characterize the set of equilibrium points; for both models, each equilibrium network is composed by an arbitrary number of complete subgraphs satisfying structural balance. Third, we establish the equivalence among three distinct properties: non-vanishing appraisals, convergence to all-to-all appraisal networks, and finite-time achievement of social balance. In addition to theoretical analysis, Monte Carlo validations illustrates how the non-vanishing appraisal condition holds for generic initial conditions in both models. Moreover, numerical comparison between the two models indicate that the homophily-based model might be a more universal explanation for the formation of social balance. Finally, adopting the homophily-based model, we present numerical results on the mediation and globalization of local conflicts, the competition for allies, and the asymptotic formation of a single versus two factions.

This paper proposes models of learning process in teams of individuals who collectively execute a sequence of tasks and whose actions are determined by individual skill levels and networks of interpersonal appraisals and influence. The closely-related proposed models have increasing complexity, starting with a centralized manager-based assignment and learning model, and finishing with a social model of interpersonal appraisal, assignments, learning, and influences. We show how rational optimal behavior arises along the task sequence for each model, and discuss conditions of suboptimality. Our models are grounded in replicator dynamics from evolutionary games, influence networks from mathematical sociology, and transactive memory systems from organization science., Comment: A preliminary version has been accepted by the 53rd IEEE Conference on Decision and Control. The journal version has been submitted to IEEE Transactions on Automatic Control

This paper proposes models of learning process in teams of individuals who collectively execute a sequence of tasks and whose actions are determined by individual skill levels and networks of interpersonal appraisals and influence. The closely-related proposed models have increasing complexity, starting with a centralized manager-based assignment and learning model, and finishing with a social model of interpersonal appraisal, assignments, learning, and influences. We show how rational optimal behavior arises along the task sequence for each model, and discuss conditions of suboptimality. Our models are grounded in replicator dynamics from evolutionary games, influence networks from mathematical sociology, and transactive memory systems from organization science.

Although diseases such as influenza, tuberculosis and SARS are transmitted through an environmentally mediated mechanism, most modeling work on these topics is based on the concepts of infectious contact and direct transmission. In this paper we use a paradigm model to show that environmental transmission appears like direct transmission in the case where the pathogen persists little time in the environment. Furthermore, we formulate conditions for the validity of this modeling approximation and we illustrate them numerically for the cases of cholera and influenza. According to our results based on recently published parameter estimates, the direct transmission approximation fails for both cholera and influenza. While environmental transmission is typically chosen over direct transmission in modeling cholera, this is not the case for influenza.

The building industry is becoming very important in sustainable development. The recently developed policies in European Union directives on energy and their transposition to Spanish regulations make the Energy Performance Certification process for buildings mandatory. Two software tools have been developed in Spain to carry out this process: Lider and Calener. These software tools have been used in this paper to simulate energy performance in new semidetached houses after taking into account the thermal envelope of the building and facilities. This has been done in different climatic zones in Spain and for all the possible energy ratings. Based on the energy rating and construction cost variables, it has been possible to obtain mathematical models that explain the behaviour of global costs of buildings based on energy ratings and climatic zones. Depreciation costs, maintenance costs, energy consumption and CO2 emissions during the service life of a house have also been modelled.

Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models are very powerful when dealing with physical phenomena, they are less suitable to describe software and hardware interfacing the physical world. For this reason there is a growing interest in describing control systems through symbolic models that are abstract descriptions of the continuous dynamics, where each "symbol" corresponds to an "aggregate" of states in the continuous model. Since these symbolic models are of the same nature of the models used in computer science to describe software and hardware, they provide a unified language to study problems of control in which software and hardware interact with the physical world. Furthermore the use of symbolic models enables one to leverage techniques from supervisory control and algorithms from game theory for controller synthesis purposes. In this paper we show that every incrementally globally asymptotically stable nonlinear control system is approximately equivalent (bisimilar) to a symbolic model. The approximation error is a design parameter in the construction of the symbolic model and can be rendered as small as desired. Furthermore if the state space of the control system is bounded the obtained symbolic model is finite. For digital control systems, and under the stronger assumption of incremental input-to-state stability, symbolic models can be constructed through a suitable quantization of the inputs., Comment: Corrected typos

This paper deals with the development of a new mathematical model that characterizes the structure-process interaction for a complex milling system. The structure is divided into a work piece and a machine part, which are represented by different models. While the machine dynamics is characterized by a standard multi-body system, the work piece is described as a linear thermo-elastic continuum. The coupling of both parts is carried out by an empirical process model permitting an estimate of heat and coupling forces occurring during milling. This work reports the derivation of the governing equations emphasizing the coupling and summarizes the numerical algorithms being applied to solve the coupled equation system. The results of numerical simulations that show the dynamics of the complex thermo-mechanical system are presented at the end.

The objective of this paper is to solve the controller synthesis problem for bisimulation equivalence in a wide variety of scenarios including discrete-event systems, nonlinear control systems, behavioral systems, hybrid systems and many others. This will be accomplished by showing that the arguments underlying proofs of existence and methods for the construction of controllers are extraneous to the particular class of systems being considered and thus can be presented in greater generality., Added references, comments and examples