On the Existence of Executions of Hybrid Automata
نویسندگان
چکیده
Necessary and su cient conditions for hybrid automata to be non-blocking and deterministic (local existence and uniqueness of executions, respectively) are developed. The problem of global existence of executions is discussed in the context of Zeno hybrid automata, that is, hybrid automata that can exhibit in nitely many discrete transitions in nite time.
منابع مشابه
Continuity and Invariance in Hybrid Automata
Hybrid automata have been proposed as a language for modelling and analysing the interaction of digital and analogue dynamics in embedded computer systems. In this paper, hybrid automata are studied from a dynamical systems perspective. Extending earlier work on conditions for local existence and uniqueness of executions of hybrid automata, we characterise a class of hybrid automata whose execu...
متن کاملContinuity and Invariance of Hybrid Automata
Hybrid automata have been proposed as a language for modelling and analysing the interaction of digital and analogue dynamics in embedded computation systems. In this paper, hybrid automata are studied from a dynamical systems perspective. Extending earlier work on conditions for local existence and uniqueness of executions of hybrid automata, we characterise a class of hybrid automata whose ex...
متن کاملHybrid Automata: A Formal Paradigm for Heterogeneous Modeling'
A hybrid automaton is a model of a system with interacting continuous and discrete dynamics. It has been successfully employed in emerging applications on the border between computer science and control theory. In this paper, hybrid automata are formally introduced. Some results on existence and uniqueness of executions for hybrid automata are obtained. Continuous dependence on initial states a...
متن کاملGenerating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
Supervisory control and fault diagnosis of hybrid systems need to have complete information about the discrete states transitions of the underling system. From this point of view, the hybrid system should be abstracted to a Discrete Trace Transition System (DTTS) and represented by a discrete mode transition graph. In this paper an effective method is proposed for generating discrete mode trans...
متن کاملModeling Urban Sprawling of Tehran Metropolitan Area Based on PSO
The main goal of the present study was to implement a hybrid pattern of cellular automata model and particle swarm optimization algorithm based on TM and ETM+ imagery of landsat satellite from 1988 to 2010 for simulating the urban sprawling. In this study, an alternative model was implemented in two ways: the first method was based on two images (1988 and 2010) and the second one was based on t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999