Self-stabilizing Real-time Decision Systems

نویسنده

  • Marco Schneider
چکیده

We examine the task of constructing self-stabilizing real-time decision systems, which take their input from an external environment, and present a series of results concerning compilers which force the property of self-stabilization onto such systems. We consider compilers that do and do not preserve termination applied to nite state and innnite state programs.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A novel fuzzy multi-criteria decision-making methodology based upon the spherical fuzzy sets with a real case study

The choice of roll stabilization system is critical for many types of ships. For warships where operational activities are fast and the concept of time is very effective, determining the most appropriate of these systems is of particular importance. Some operations, such as the landing of the helicopter on board, are critical for naval ships. Unwanted rolling motion makes this difficult. In add...

متن کامل

Bounded-Response-Time Self-Stabilizing OPS5 Production Systems

This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-stabilization are essential for rule-based programs that must be highly fault-tolerant and perform in a real-time environment. We present an approach for solving this problem using the OPS5 programming language as it is o...

متن کامل

Time-Efficient Self-Stabilizing Algorithms through Hierarchical Structures

We present a method of combining a self-stabilizing algorithm with a hierarchical structure to construct a self-stabilizing algorithm with improved stabilization time complexity and fault-containment features. As a case study, a self-stabilizing spanning-tree algorithm is presented which in favorable settings has logarithmic stabilization time complexity.

متن کامل

A DSS-Based Dynamic Programming for Finding Optimal Markets Using Neural Networks and Pricing

One of the substantial challenges in marketing efforts is determining optimal markets, specifically in market segmentation. The problem is more controversial in electronic commerce and electronic marketing. Consumer behaviour is influenced by different factors and thus varies in different time periods. These dynamic impacts lead to the uncertain behaviour of consumers and therefore harden the t...

متن کامل

Automated Analysis and Optimization of Distributed Self-Stabilizing Algorithms

Self-stabilization [14] is a versatile technique for recovery from erroneous behavior due to transient faults or wrong initialization. A system is self-stabilizing if (1) starting from an arbitrary initial state it can automatically reach a set of legitimate states in a finite number of steps and (2) it remains in legitimate states in the absence of faults. Weak-stabilization [25] and probabili...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1995