Supervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds

Cited 2 time in webofscience Cited 0 time in scopus
  • Hit : 364
  • Download : 0
DC FieldValueLanguage
dc.contributor.authorPark, SJko
dc.contributor.authorCho, Kwang-Hyunko
dc.date.accessioned2013-03-08T03:10:24Z-
dc.date.available2013-03-08T03:10:24Z-
dc.date.created2012-02-06-
dc.date.created2012-02-06-
dc.date.issued2006-05-
dc.identifier.citationSYSTEMS & CONTROL LETTERS, v.55, pp.407 - 413-
dc.identifier.issn0167-6911-
dc.identifier.urihttp://hdl.handle.net/10203/91951-
dc.description.abstractTo avoid the state-space explosion by including tick events in timed discrete event systems (DESs) under partial observation, a notion of eligible time bounds is introduced and based on the notion, controllability and observability conditions of languages are presented. In particular, this paper shows that these controllability and observability conditions are necessary and sufficient for the existence of a supervisor to achieve the given language specification. (c) 2005 Elsevier B.V. All rights reserved.-
dc.languageEnglish-
dc.publisherELSEVIER SCIENCE BV-
dc.titleSupervisory control of timed discrete event systems under partial observation based on activity models and eligible time bounds-
dc.typeArticle-
dc.identifier.wosid000236568400005-
dc.identifier.scopusid2-s2.0-33644854276-
dc.type.rimsART-
dc.citation.volume55-
dc.citation.beginningpage407-
dc.citation.endingpage413-
dc.citation.publicationnameSYSTEMS & CONTROL LETTERS-
dc.identifier.doi10.1016/j.sysconle.2005.09.003-
dc.contributor.localauthorCho, Kwang-Hyun-
dc.contributor.nonIdAuthorPark, SJ-
dc.type.journalArticleArticle-
dc.subject.keywordAuthortimed DESs-
dc.subject.keywordAuthorpartial observation-
dc.subject.keywordAuthorsupervisory control-
dc.subject.keywordAuthoractivity models-
dc.subject.keywordAuthoreligible time bounds-
dc.subject.keywordAuthorcontrollability-
dc.subject.keywordAuthorobservability-
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 2 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0