DC Field | Value | Language |
---|---|---|
dc.contributor.author | Park, SJ | ko |
dc.contributor.author | Cho, Kwang-Hyun | ko |
dc.contributor.author | Lim, Jong-Tae | ko |
dc.date.accessioned | 2013-03-08T02:56:56Z | - |
dc.date.available | 2013-03-08T02:56:56Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2006-07 | - |
dc.identifier.citation | IEE PROCEEDINGS-CONTROL THEORY AND APPLICATIONS, v.153, no.4, pp.419 - 426 | - |
dc.identifier.issn | 1350-2379 | - |
dc.identifier.uri | http://hdl.handle.net/10203/91908 | - |
dc.description.abstract | A non-blocking supervisory control problem to meet bounded time constraints for non-deterministic real-time discrete event systems (DESs) is addressed. To this end, notions of trace controllability and time controllability are introduced for the non-deterministic real-time DESs with respect to a timed language specification representing a bounded time constraint. The existence conditions of a non-blocking supervisor to achieve the timed language specification are presented on the basis of the proposed notions, and these are further illustrated by an assembly work station example. | - |
dc.language | English | - |
dc.publisher | INSTITUTION ENGINEERING TECHNOLOGY-IET | - |
dc.subject | DISCRETE-EVENT SYSTEMS | - |
dc.title | Non-blocking supervisory control under bounded time constraints based on non-deterministic timed transition models | - |
dc.type | Article | - |
dc.identifier.wosid | 000239476800006 | - |
dc.identifier.scopusid | 2-s2.0-33646894381 | - |
dc.type.rims | ART | - |
dc.citation.volume | 153 | - |
dc.citation.issue | 4 | - |
dc.citation.beginningpage | 419 | - |
dc.citation.endingpage | 426 | - |
dc.citation.publicationname | IEE PROCEEDINGS-CONTROL THEORY AND APPLICATIONS | - |
dc.identifier.doi | 10.1049/ip-cta:20050372 | - |
dc.contributor.localauthor | Cho, Kwang-Hyun | - |
dc.contributor.localauthor | Lim, Jong-Tae | - |
dc.contributor.nonIdAuthor | Park, SJ | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordPlus | DISCRETE-EVENT SYSTEMS | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.