Directed control of discrete event systems
dc.contributor.advisor | Ratnesh Kumar | |
dc.contributor.author | Huang, Jing | |
dc.contributor.department | Electrical and Computer Engineering | |
dc.date | 2018-08-11T11:57:17.000 | |
dc.date.accessioned | 2020-06-30T02:30:59Z | |
dc.date.available | 2020-06-30T02:30:59Z | |
dc.date.copyright | Thu Jan 01 00:00:00 UTC 2009 | |
dc.date.embargo | 2013-06-05 | |
dc.date.issued | 2009-01-01 | |
dc.description.abstract | <p>For the control of discrete event systems, the notion of directed control refines that of supervisory control. A directed controller is one that selects at most one controllable event to be enabled at any state (without disabling any uncontrollable event), which is in fact how a discrete event control is implemented. In contrast, a supervisory controller computes a maximal allowable set of controllable events at each state, leaving undecided exactly which one is to be enabled.</p> <p>We model discrete event systems using the automaton formalism. Under directed control, our first goal is to achieve logical correctness of the controlled system behavior as specified by safety and nonblocking. Subsequently we address the best performance issue by providing an optimization based framework. The optimization task is to direct a system in such a way that regardless of the history of evolution, it accomplishes a pending task in a minimal cost.</p> <p>In a state-based setting, we formulate and study the existence and synthesis problems with the above objectives. We first show that the existence and the synthesis of a safe and nonblocking directed controller are both solvable in polynomial complexity. Then we present a novel approach with polynomial complexity for the synthesis (and the existence) of an optimal director, thus providing a complete solution to the problems in study.</p> | |
dc.format.mimetype | application/pdf | |
dc.identifier | archive/lib.dr.iastate.edu/etd/10784/ | |
dc.identifier.articleid | 1777 | |
dc.identifier.contextkey | 2806975 | |
dc.identifier.doi | https://doi.org/10.31274/etd-180810-202 | |
dc.identifier.s3bucket | isulib-bepress-aws-west | |
dc.identifier.submissionpath | etd/10784 | |
dc.identifier.uri | https://dr.lib.iastate.edu/handle/20.500.12876/24990 | |
dc.language.iso | en | |
dc.source.bitstream | archive/lib.dr.iastate.edu/etd/10784/Huang_iastate_0097E_10633.pdf|||Fri Jan 14 18:27:52 UTC 2022 | |
dc.subject.disciplines | Electrical and Computer Engineering | |
dc.subject.keywords | automata | |
dc.subject.keywords | directed control | |
dc.subject.keywords | director | |
dc.subject.keywords | discrete event system | |
dc.subject.keywords | nonblocking | |
dc.subject.keywords | optimal control | |
dc.title | Directed control of discrete event systems | |
dc.type | article | |
dc.type.genre | dissertation | |
dspace.entity.type | Publication | |
relation.isOrgUnitOfPublication | a75a044c-d11e-44cd-af4f-dab1d83339ff | |
thesis.degree.level | dissertation | |
thesis.degree.name | Doctor of Philosophy |
File
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- Huang_iastate_0097E_10633.pdf
- Size:
- 773.26 KB
- Format:
- Adobe Portable Document Format
- Description: