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
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Huang_iastate_0097E_10633.pdf
Size:
773.26 KB
Format:
Adobe Portable Document Format
Description: