On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically

M.P. Spathopoulos

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

Given a timed automaton G accepting the timed language LT a finite state machine G' can be constructed, known as the region automaton, which accepts the untimed language Untime (LT). In this paper we construct an alternative finite state machine which also accepts the language Untime (LT), but has fewer states than G'. This is shown for languages of both finite and infinite traces given that the time values in the time sequence increase strictly monotonically. The supervisory control design for timed automata, when the simplified untiming procedure is used and the time is strictly positive, is studied.
LanguageEnglish
Pages1739-1748
Number of pages9
JournalInternational Journal of Control
Volume76
Issue number17
DOIs
Publication statusPublished - 2003

Fingerprint

Finite automata

Keywords

  • control systems
  • mechanical engineering
  • controllers

Cite this

@article{5623e49595104a478965e6732b424309,
title = "On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically",
abstract = "Given a timed automaton G accepting the timed language LT a finite state machine G' can be constructed, known as the region automaton, which accepts the untimed language Untime (LT). In this paper we construct an alternative finite state machine which also accepts the language Untime (LT), but has fewer states than G'. This is shown for languages of both finite and infinite traces given that the time values in the time sequence increase strictly monotonically. The supervisory control design for timed automata, when the simplified untiming procedure is used and the time is strictly positive, is studied.",
keywords = "control systems, mechanical engineering, controllers",
author = "M.P. Spathopoulos",
year = "2003",
doi = "10.1080/00207170310001628570",
language = "English",
volume = "76",
pages = "1739--1748",
journal = "International Journal of Control",
issn = "0020-7179",
number = "17",

}

On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically. / Spathopoulos, M.P.

In: International Journal of Control, Vol. 76, No. 17, 2003, p. 1739-1748.

Research output: Contribution to journalArticle

TY - JOUR

T1 - On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically

AU - Spathopoulos, M.P.

PY - 2003

Y1 - 2003

N2 - Given a timed automaton G accepting the timed language LT a finite state machine G' can be constructed, known as the region automaton, which accepts the untimed language Untime (LT). In this paper we construct an alternative finite state machine which also accepts the language Untime (LT), but has fewer states than G'. This is shown for languages of both finite and infinite traces given that the time values in the time sequence increase strictly monotonically. The supervisory control design for timed automata, when the simplified untiming procedure is used and the time is strictly positive, is studied.

AB - Given a timed automaton G accepting the timed language LT a finite state machine G' can be constructed, known as the region automaton, which accepts the untimed language Untime (LT). In this paper we construct an alternative finite state machine which also accepts the language Untime (LT), but has fewer states than G'. This is shown for languages of both finite and infinite traces given that the time values in the time sequence increase strictly monotonically. The supervisory control design for timed automata, when the simplified untiming procedure is used and the time is strictly positive, is studied.

KW - control systems

KW - mechanical engineering

KW - controllers

UR - http://dx.doi.org/10.1080/00207170310001628570

U2 - 10.1080/00207170310001628570

DO - 10.1080/00207170310001628570

M3 - Article

VL - 76

SP - 1739

EP - 1748

JO - International Journal of Control

T2 - International Journal of Control

JF - International Journal of Control

SN - 0020-7179

IS - 17

ER -