DC Field | Value | Language |
---|---|---|
dc.contributor.author | Park, Seong-Jin | ko |
dc.contributor.author | Cho, Kwang-Hyun | ko |
dc.date.accessioned | 2015-04-23T07:44:58Z | - |
dc.date.available | 2015-04-23T07:44:58Z | - |
dc.date.created | 2014-12-30 | - |
dc.date.created | 2014-12-30 | - |
dc.date.issued | 2015-05 | - |
dc.identifier.citation | INTERNATIONAL JOURNAL OF CONTROL, v.88, no.5, pp.1078 - 1088 | - |
dc.identifier.issn | 0020-7179 | - |
dc.identifier.uri | http://hdl.handle.net/10203/197716 | - |
dc.description.abstract | 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. | - |
dc.language | English | - |
dc.publisher | TAYLOR FRANCIS LTD | - |
dc.subject | SUPERVISORY CONTROL | - |
dc.subject | AUTOMATA | - |
dc.title | State feedback control of real-time discrete event systems with infinite states | - |
dc.type | Article | - |
dc.identifier.wosid | 000351774700016 | - |
dc.identifier.scopusid | 2-s2.0-84926408939 | - |
dc.type.rims | ART | - |
dc.citation.volume | 88 | - |
dc.citation.issue | 5 | - |
dc.citation.beginningpage | 1078 | - |
dc.citation.endingpage | 1088 | - |
dc.citation.publicationname | INTERNATIONAL JOURNAL OF CONTROL | - |
dc.identifier.doi | 10.1080/00207179.2014.993712 | - |
dc.contributor.localauthor | Cho, Kwang-Hyun | - |
dc.contributor.nonIdAuthor | Park, Seong-Jin | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | timed automata | - |
dc.subject.keywordAuthor | state feedback control | - |
dc.subject.keywordAuthor | infinite states | - |
dc.subject.keywordAuthor | real-time discrete event systems | - |
dc.subject.keywordAuthor | predicates | - |
dc.subject.keywordPlus | SUPERVISORY CONTROL | - |
dc.subject.keywordPlus | AUTOMATA | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.