Matches in SemOpenAlex for { <https://semopenalex.org/work/W200832785> ?p ?o ?g. }
- W200832785 abstract "The subject of this dissertation is modular approaches to the verification and control of discrete-event systems (DES). DES are dynamic systems characterized by discrete states and event-driven evolution. In recent years, a substantial body of work has been built up to provide a theory and framework for the control and verification of DES. Despite all the advancements that have been made in this area, application to real-life systems has been somewhat slow. A significant hurdle to the adoption of these methods is the state-space explosion that occurs in modeling systems of the size most commonly found in industry. A common approach that has been applied to address this complexity problem is to construct a series of smaller modular supervisors, rather than a single monolithic supervisor. The problem with this approach is that the modular supervisors can often conflict with one another.This dissertation develops three new approaches to the supervisory control of DES that adopt a modular aspect to their control, while addressing the potential problem of conflict. The first approach addresses the problem of state-space explosion by offering a procedure for incrementally building modular supervisors that are guaranteed to not conflict with one another by construction. An observer type abstraction is employed to make the procedure more computationally feasible. The second approach of this dissertation constructs traditional modular supervisors, then adds another level of coordinating control to resolve conflict between the supervisors. This work employs a conflict-equivalence preserving abstraction to detect and resolve the conflict. The final approach of this dissertation employs interfaces between different components of the global system. The additional structure of these interfaces allows global properties to be verified through the achievement of local properties. Additionally, these interfaces allow for modular supervisors to be synthesized locally such that the necessary requirements are met by construction.In this work, the correctness of the three approaches is proven. Additionally, application to some manufacturing based examples are employed to illustrate the potential strengths and weaknesses of each of the approaches." @default.
- W200832785 created "2016-06-24" @default.
- W200832785 creator A5025730901 @default.
- W200832785 creator A5062869270 @default.
- W200832785 creator A5050562740 @default.
- W200832785 date "2008-01-01" @default.
- W200832785 modified "2023-09-24" @default.
- W200832785 title "Modular verification and supervisory controller design for discrete-event systems using abstraction and incremental construction" @default.
- W200832785 cites W101029079 @default.
- W200832785 cites W1035167156 @default.
- W200832785 cites W1485046640 @default.
- W200832785 cites W1503973138 @default.
- W200832785 cites W1524962808 @default.
- W200832785 cites W1529546176 @default.
- W200832785 cites W1566527307 @default.
- W200832785 cites W1587663028 @default.
- W200832785 cites W1589389581 @default.
- W200832785 cites W1605399306 @default.
- W200832785 cites W1783859360 @default.
- W200832785 cites W1796489698 @default.
- W200832785 cites W1856410933 @default.
- W200832785 cites W1964496030 @default.
- W200832785 cites W1973353540 @default.
- W200832785 cites W1973417083 @default.
- W200832785 cites W1982948055 @default.
- W200832785 cites W1985574352 @default.
- W200832785 cites W2004141156 @default.
- W200832785 cites W2016380948 @default.
- W200832785 cites W2019191620 @default.
- W200832785 cites W2059057465 @default.
- W200832785 cites W2062650147 @default.
- W200832785 cites W2078233504 @default.
- W200832785 cites W2080267935 @default.
- W200832785 cites W2085128669 @default.
- W200832785 cites W2091149102 @default.
- W200832785 cites W2095786572 @default.
- W200832785 cites W2096911030 @default.
- W200832785 cites W2098906570 @default.
- W200832785 cites W2099157744 @default.
- W200832785 cites W2099809377 @default.
- W200832785 cites W2100410869 @default.
- W200832785 cites W2100656533 @default.
- W200832785 cites W2101178868 @default.
- W200832785 cites W2108079010 @default.
- W200832785 cites W2108872359 @default.
- W200832785 cites W2110904528 @default.
- W200832785 cites W2112951648 @default.
- W200832785 cites W2115425820 @default.
- W200832785 cites W2118028347 @default.
- W200832785 cites W2118725223 @default.
- W200832785 cites W2120651855 @default.
- W200832785 cites W2121782671 @default.
- W200832785 cites W2122142933 @default.
- W200832785 cites W2124482715 @default.
- W200832785 cites W2126295866 @default.
- W200832785 cites W2131070128 @default.
- W200832785 cites W2131628306 @default.
- W200832785 cites W2132862824 @default.
- W200832785 cites W2133053297 @default.
- W200832785 cites W2133925698 @default.
- W200832785 cites W2135254706 @default.
- W200832785 cites W2135348287 @default.
- W200832785 cites W2135828179 @default.
- W200832785 cites W2140220034 @default.
- W200832785 cites W2145972416 @default.
- W200832785 cites W2152819606 @default.
- W200832785 cites W2160453080 @default.
- W200832785 cites W2162693986 @default.
- W200832785 cites W2165165000 @default.
- W200832785 cites W2170715295 @default.
- W200832785 cites W2984582970 @default.
- W200832785 hasPublicationYear "2008" @default.
- W200832785 type Work @default.
- W200832785 sameAs 200832785 @default.
- W200832785 citedByCount "4" @default.
- W200832785 countsByYear W2008327852012 @default.
- W200832785 crossrefType "dissertation" @default.
- W200832785 hasAuthorship W200832785A5025730901 @default.
- W200832785 hasAuthorship W200832785A5050562740 @default.
- W200832785 hasAuthorship W200832785A5062869270 @default.
- W200832785 hasConcept C101468663 @default.
- W200832785 hasConcept C105795698 @default.
- W200832785 hasConcept C111472728 @default.
- W200832785 hasConcept C121332964 @default.
- W200832785 hasConcept C124304363 @default.
- W200832785 hasConcept C127413603 @default.
- W200832785 hasConcept C133731056 @default.
- W200832785 hasConcept C138885662 @default.
- W200832785 hasConcept C154945302 @default.
- W200832785 hasConcept C17744445 @default.
- W200832785 hasConcept C199360897 @default.
- W200832785 hasConcept C199539241 @default.
- W200832785 hasConcept C203479927 @default.
- W200832785 hasConcept C2775924081 @default.
- W200832785 hasConcept C2779110517 @default.
- W200832785 hasConcept C2779662365 @default.
- W200832785 hasConcept C2780704645 @default.
- W200832785 hasConcept C2780801425 @default.
- W200832785 hasConcept C33923547 @default.
- W200832785 hasConcept C41008148 @default.