One approach based on AC20-128A is presented in order to assess the risk caused by uncontained engine rotor failure (UERF). In this approach, the risk assessment procedure includes hazard identification and hazard qua...
详细信息
This paper proposes a scenario-based modelling approach using CPNs (Coloured Petri Nets) and conducts the ASK-CTL model checking for the established CPN model with the CPN Tools in order to achieve a consistent and co...
详细信息
ISBN:
(纸本)9783981688665
This paper proposes a scenario-based modelling approach using CPNs (Coloured Petri Nets) and conducts the ASK-CTL model checking for the established CPN model with the CPN Tools in order to achieve a consistent and correct model for further software implementation. In this paper, we focus on the application of the proposed approach in railway domain, i.e. train controlsystems. In particular, the on-board subsystem of a satellite-based train controlsystem (called SatZB) is modelled.
This paper deals with the finite-time stability and stabilization for continuous-time linear stochastic time-varying systems. Several necessary and sufficient conditions and a sufficient condition for finite-time stab...
详细信息
Modern safety-critical systems(SCS) are becoming increasingly complicated to be analyzed and assessed, due to system scale and the functions they provide. These pose a huge challenge for the development of SCS. A numb...
详细信息
ISBN:
(纸本)9783981688665
Modern safety-critical systems(SCS) are becoming increasingly complicated to be analyzed and assessed, due to system scale and the functions they provide. These pose a huge challenge for the development of SCS. A number of studies have been done for system design and safety analysis of SCS but there is still no complete tool chain to support the whole development and analysis process. In this paper, we present a platform which develops a whole set of the tool chain to complete system design and safety analysis. The platform makes the modeling and safety assessment of high-speed railway operation controlsystem easier by using failure logic modeling method. It also develops an algorithm which can automatically convert failure logic model to fault tree and minimal cut sets. These results will help system designers to gain more knowledge on how to maintain system safety.
In this paper, new Lyapunov-based reset rules are constructed to improve C2 gain performance of linear-time-invariant (LTI) systems. By using the hybrid system framework, sufficient conditions for exponential and fini...
详细信息
As one of key technologies in photovoltaic converter control, Maximum Power Point Tracking (MPPT) methods can keep the power conversion efficiency as high as nearly 99% under the uniform solar irradiance condition. Ho...
详细信息
Electric actuators are an important part of every manufacturing system. Often it is a problem to get a good motion control configuration which allows high performance tasks. This contribution shows how the mechanical ...
详细信息
In this paper, we present a new adaptive backstepping control design method to solve the overparametrization problem in parameter estimation. Unlike the existing schemes, the concept of tuning functions is not ***, th...
详细信息
In this paper, we present a new adaptive backstepping control design method to solve the overparametrization problem in parameter estimation. Unlike the existing schemes, the concept of tuning functions is not ***, the number of parameter estimates is reduced to be minimal, which is exactly the same as that of unknown parameters. The parametric strict-feedback system is employed to illustrate our design procedure.
In this paper, a new adaptive controller for a quadrotor unmanned aerial vehicle(UAV) is presented via Immersion and Invariance(I&I) approach. The quadrotor's dynamic model is subjected to some uncertain param...
详细信息
ISBN:
(纸本)9781479947249
In this paper, a new adaptive controller for a quadrotor unmanned aerial vehicle(UAV) is presented via Immersion and Invariance(I&I) approach. The quadrotor's dynamic model is subjected to some uncertain parameters such as the inertial moments, aerodynamic damping coefficients and so on. In particular, the mass-eccentric effects by the payloads are also *** all these uncertainties above, the proposed adaptive controller is still capable of driving the quadrotor UAV's attitude asymptotically to a desired trajectory. The stability analysis is performed by Lyapunov techniques and LaSalle's invariance theorem. Numerical simulation results illustrate the good tracking performance of the proposed scheme.
暂无评论