State feedback control of real-time discrete event systems with infinite states

Cited 4 time in webofscience Cited 0 time in scopus
  • Hit : 219
  • Download : 0
In this paper, we study a state feedback supervisory control of timed discrete event systems (TDESs) with infinite number of states modelled as timed automata. To this end, we represent a timed automaton with infinite number of untimed states (called locations) by a finite set of conditional assignment statements. Predicates and predicate transformers are employed to finitely represent the behaviour and specification of a TDES with infinite number of locations. In addition, the notion of clock regions in timed automata is used to identify the reachable states of a TDES with an infinite time space. For a real-time specification described as a predicate, we present the controllability condition for the existence of a state feedback supervisor that restricts the behaviour of the controlled TDES within the specification.
Publisher
TAYLOR FRANCIS LTD
Issue Date
2015-05
Language
English
Article Type
Article
Keywords

SUPERVISORY CONTROL; AUTOMATA

Citation

INTERNATIONAL JOURNAL OF CONTROL, v.88, no.5, pp.1078 - 1088

ISSN
0020-7179
DOI
10.1080/00207179.2014.993712
URI
http://hdl.handle.net/10203/197716
Appears in Collection
BiS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 4 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0