Search

In this paper, an adaptive generalised function projective synchronisation scheme of fractional-order chaotic systems with different dimensions and orders and fully unknown parameters is presented. On the basis of the Lyapunov method of fractional-order systems, a stability theorem of the fractional-order system with non-identical orders is proven. Using the fractional-order controller and adaptive control theory, sufficient conditions for synchronisation and unknown parameters update rules are obtained. Theoretical analysis and numerical simulations are provided to verify the validity of the proposed scheme. Moreover, synchronisation results are applied to secure communication via modified chaotic masking (MCM) method. The unpredictability of the scaling function matrix and the use of fractional-order systems with different orders can increase the security of the cryptosystem. The security analysis shows that the introduced algorithm has large key space, high sensitivity to encryption keys, higher security and the acceptable encryption speed. [ABSTRACT FROM AUTHOR]

Improving tractive effort is a very complex task in locomotive design. It requires the development of not only mechanical systems but also power systems, traction machines and traction algorithms. At the initial design stage, traction algorithms can be verified by means of a simulation approach. A simple single wheelset simulation approach is not sufficient because all locomotive dynamics are not fully taken into consideration. Given that many traction control strategies exist, the best solution is to use more advanced approaches for such studies. This paper describes the modelling of a locomotive with a bogie traction control strategy based on a co-simulation approach in order to deliver more accurate results. The simplified and advanced modelling approaches of a locomotive electric power system are compared in this paper in order to answer a fundamental question. What level of modelling complexity is necessary for the investigation of the dynamic behaviours of a heavy-haul locomotive running under traction? The simulation results obtained provide some recommendations on simulation processes and the further implementation of advanced and simplified modelling approaches. [ABSTRACT FROM AUTHOR]

We focus on the control and the synthesis of secure timed systems which are modelled as timed automata. The security property that the system must satisfy is anon-interferenceproperty. Intuitively, non-interference ensures the absence of any causal dependency from a high-level domain to a lower level domain. Various notions of non-interference have been defined in the literature, and in this paper, we focus onstrong non-deterministic non-interference(SNNI) and two (bi)simulation-based variants thereof (cosimulation-based SNNI and bisimulation-based SNNI). These properties and their extensions have been mostly studied in the context of discrete event systems, while it is now well-known that time is an important attack vector against secure systems. At the same time, there is an obvious interest in going beyond simple verification to control problems: to be able to automatically make systems secure. We consider non-interference properties in the challenging setting of control of dense-time systems specified bytimed automataand we study the two following problems: (1) check whether it is possible to find a sub-system so that it is non-interferent; if yes, (2) compute a (largest) sub-system which is non-interferent. We exhibit decidable sub-classes for these problems, assess their theoretical complexities and provide effective algorithms based on the classical framework of timed games. [ABSTRACT FROM AUTHOR]