With the increasing importance of distributed systems as a computing paradigm, a systematic approach to their design is needed. Although the area of formal verification has made enormous advances towards this goal, the resulting functionalities are limited to detecting problems in a particular design. By means of a classical example, we illustrate a simple template-based approach to computeraid...

Self-stabilization is an elegant way of realizing non-masking fault-tolerant systems. Sustained research over last decades has produced multiple self-stabilizing algorithms for many problems in distributed computing. In this paper, we present a framework to evaluate multiple selfstabilizing solutions under a fault model that allows intermittent transient faults. To that end, metrics to quantify...

in this article, vehicle cornering stability and brake stabilization via bifurcation analysis has been investigated. in order to extract the governing equations of motion, a nonlinear four-wheeled vehicle model with two degrees of freedom has been developed. using the continuation software package matcont a stability analysis based on phase plane analysis and bifurcation of equilibrium is perfo...

Joint flexibility is a very important factor to consider in the controller design for robot manipulators if high performance is expected. Most of the research works on control of flexible-joint robots in literature have ignored the actuator dynamics to avoid complexity in controller design. The problem of designing nonlinear controller for a class of single-link flexible-joint robot manipulator...

In this paper, we investigate the stabilization of unstable periodic orbits of continuous time chaotic systems usingfuzzy time-delayed controllers. For this aim, we present a control method that can achieve stabilization of an unstableperiodic orbit (UPO) without any knowledge of the system model. Our proposal is attained progressively. First, wecombine the input-to-state linearizing controller...

The problem of attitude stabilization of a fighter aircraft is investigated in this paper. The practical aspects of a real physical system like existence of external disturbance with unknown upper bound and actuator saturation are considered in the process of controller design of this aircraft. In order to design a robust autopilot in the presence of the actuator saturation, the Composite Nonli...

occurrence of environmental issues and loss of natural resources are the important causes of risk and crisis management strategies of the environment. the influx of quicksand into settlements, communication ways and economical installations is one of the most important environmental problems in the eastern north of toroud. the environmental system reacts against of quicksand stress, and is tryi...