Autonomous Continuous P/T Systems

نویسندگان

  • Laura Recalde
  • Enrique Teruel
  • Manuel Silva Suárez
چکیده

Discrete event dynamic systems may have extremely large state spaces. For their analysis, it is usual to relax the description by removing the integrality constraints. Applying this idea, continuous P/T systems are defined by allowing fractional firings of transitions, and thus the existence of non-discrete markings [4, 5, 1]. In this paper we compare the behaviors of discrete and continuous systems, and observe that they are not necessarily similar. The problems that appear lead to the definition of two extensions of reachability. Many properties shall be extended differently depending on which reachability definition is being considered. Here, we concentrate on liveness and deadlock-freeness, proposing extensions and relating them to their discrete counterparts.

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

ثبت نام

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

منابع مشابه

A Q-learning Based Continuous Tuning of Fuzzy Wall Tracking

A simple easy to implement algorithm is proposed to address wall tracking task of an autonomous robot. The robot should navigate in unknown environments, find the nearest wall, and track it solely based on locally sensed data. The proposed method benefits from coupling fuzzy logic and Q-learning to meet requirements of autonomous navigations. Fuzzy if-then rules provide a reliable decision maki...

متن کامل

PERIODIC SOLUTIONS OF CERTAIN THREE DIMENSIONAL AUTONOMOUS SYSTEMS

There has been extensive work on the existence of periodic solutions for nonlinear second order autonomous differantial equations, but little work regarding the third order problems. The popular Poincare-Bendixon theorem applies well to the former but not the latter (see [2] and [3]). We give a necessary condition for the existence of periodic solutions for the third order autonomous system...

متن کامل

Rotation number and its properties for iterated function and non-autonomous systems  

The main purpose of this paper is to introduce the rotation number for non-autonomous and iterated function systems. First, we define iterated function systems and the lift of these types of systems on the unit circle. In the following, we define the rotation number and investigate the conditions of existence and uniqueness of this number for our systems. Then, the notions rotational entropy an...

متن کامل

MULTIPLE PERIODIC SOLUTIONS FOR A CLASS OF NON-AUTONOMOUS AND CONVEX HAMILTONIAN SYSTEMS

In this paper we study Multiple periodic solutions for a class of non-autonomous and convex Hamiltonian systems and we investigate use some properties of Ekeland index.  

متن کامل

On The Dynamical Nature Of Computation

Dynamical Systems theory generally deals with fixed point iterations of continuous functions. Computation by Turing machine although is a fixed point iteration but is not continuous. This specific category of fixed point iterations can only be studied using their orbits. Therefore the standard notion of chaos is not immediately applicable. However, when a suitable definition is used, it is foun...

متن کامل

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


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

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

ثبت نام

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

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

دوره   شماره 

صفحات  -

تاریخ انتشار 1999