Autonomous Continuous P/T Systems
نویسندگان
چکیده
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.
منابع مشابه
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...
متن کامل