Timed Automata with non-Instantaneous Actions

• Autorzy: Barbuti R. , De Francesco N. , Tesei L.
• Języki publikacji: EN

Abstrakty

EN

In this paper we propose a model, timed automata with non-instantaneous actions, which allows representing in a suitable way real-time systems. Timed automata with non-instantaneous actions extend the timed automata model by dropping the assumption that actions are instantaneous: in our model an action can take some time to be completed. We investigate the expressiveness of the new model, comparing it with classical timed automata. In particular, we study the set of timed languages which can be accepted by timed automata with non-instantaneous actions. We prove that timed automata with non-instantaneous actions are more expressive than timed automata and less expressive than timed automata with e edges. Moreover we define the parallel composition of timed automata with non-instantaneous actions. We point out how the specification by means of a parallel timed automaton with non-instantaneous actions is, in some cases, more convenient to represent reality.

Słowa kluczowe

EN

real-time system; Timed Automata; timed languages

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 47, nr 3,4
• Strony: 189--200
• Opis fizyczny: bibliogr. 19 poz.

Twórcy

autor

Barbuti R.

autor

De Francesco N.

autor

Tesei L.

• Dipartimento do Informatica, University of Pisa, Corso Italia 40, 56125 Pisa, Italy,