Matches in SemOpenAlex for { <https://semopenalex.org/work/W2104927240> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2104927240 abstract "In supervisory control theory, an issue that often arises in real industrial applications is the huge number of states for the supervisor, which requires a lot of memory. Another problem that is typically encountered for the users of supervisory synthesis tools is lack of information and unreadability of the supervisor. In this paper, we introduce a method to characterize a controllable and non-blocking supervisor directly on the modular automata (sub-plants and sub-specifications), by extracting some guard conditions from the synthesized supervisor and the synchronized automaton. Thus, the presented approach may potentially model a complex supervisor using a compact representation whilst not infringe the original modular structure. Furthermore, the guard conditions, which are generated from a set of states, may give the user of the synthesis procedure a better understanding of which states that were removed during the synthesis. In order to obtain more compact guard expressions, we include some unnecessary states (unreachable and extended forbidden states) in the set of states that will be used for guard generation. By exploiting this extra information, it is possible to reduce the logical expressions to more compact guard conditions." @default.
- W2104927240 created "2016-06-24" @default.
- W2104927240 creator A5030055973 @default.
- W2104927240 creator A5065918596 @default.
- W2104927240 creator A5076331540 @default.
- W2104927240 date "2008-01-01" @default.
- W2104927240 modified "2023-09-23" @default.
- W2104927240 title "Extraction and representation of a supervisor using guards in extended finite automata" @default.
- W2104927240 cites W1593428110 @default.
- W2104927240 cites W1994143452 @default.
- W2104927240 cites W2030224590 @default.
- W2104927240 cites W2046603834 @default.
- W2104927240 cites W2059057465 @default.
- W2104927240 cites W2104567078 @default.
- W2104927240 cites W2115241031 @default.
- W2104927240 cites W2117189826 @default.
- W2104927240 cites W2120909378 @default.
- W2104927240 cites W2149030441 @default.
- W2104927240 cites W2152272339 @default.
- W2104927240 cites W2153113788 @default.
- W2104927240 cites W2163119090 @default.
- W2104927240 cites W4236164983 @default.
- W2104927240 cites W4248699123 @default.
- W2104927240 cites W4297744580 @default.
- W2104927240 doi "https://doi.org/10.1109/wodes.2008.4605944" @default.
- W2104927240 hasPublicationYear "2008" @default.
- W2104927240 type Work @default.
- W2104927240 sameAs 2104927240 @default.
- W2104927240 citedByCount "39" @default.
- W2104927240 countsByYear W21049272402012 @default.
- W2104927240 countsByYear W21049272402013 @default.
- W2104927240 countsByYear W21049272402014 @default.
- W2104927240 countsByYear W21049272402016 @default.
- W2104927240 countsByYear W21049272402017 @default.
- W2104927240 countsByYear W21049272402018 @default.
- W2104927240 countsByYear W21049272402019 @default.
- W2104927240 countsByYear W21049272402021 @default.
- W2104927240 countsByYear W21049272402023 @default.
- W2104927240 crossrefType "proceedings-article" @default.
- W2104927240 hasAuthorship W2104927240A5030055973 @default.
- W2104927240 hasAuthorship W2104927240A5065918596 @default.
- W2104927240 hasAuthorship W2104927240A5076331540 @default.
- W2104927240 hasBestOaLocation W21049272402 @default.
- W2104927240 hasConcept C101468663 @default.
- W2104927240 hasConcept C104091681 @default.
- W2104927240 hasConcept C112505250 @default.
- W2104927240 hasConcept C11413529 @default.
- W2104927240 hasConcept C121329065 @default.
- W2104927240 hasConcept C141141315 @default.
- W2104927240 hasConcept C154945302 @default.
- W2104927240 hasConcept C167822520 @default.
- W2104927240 hasConcept C177264268 @default.
- W2104927240 hasConcept C17744445 @default.
- W2104927240 hasConcept C199360897 @default.
- W2104927240 hasConcept C199539241 @default.
- W2104927240 hasConcept C2775924081 @default.
- W2104927240 hasConcept C2779110517 @default.
- W2104927240 hasConcept C30788636 @default.
- W2104927240 hasConcept C41008148 @default.
- W2104927240 hasConcept C80444323 @default.
- W2104927240 hasConcept C92991967 @default.
- W2104927240 hasConceptScore W2104927240C101468663 @default.
- W2104927240 hasConceptScore W2104927240C104091681 @default.
- W2104927240 hasConceptScore W2104927240C112505250 @default.
- W2104927240 hasConceptScore W2104927240C11413529 @default.
- W2104927240 hasConceptScore W2104927240C121329065 @default.
- W2104927240 hasConceptScore W2104927240C141141315 @default.
- W2104927240 hasConceptScore W2104927240C154945302 @default.
- W2104927240 hasConceptScore W2104927240C167822520 @default.
- W2104927240 hasConceptScore W2104927240C177264268 @default.
- W2104927240 hasConceptScore W2104927240C17744445 @default.
- W2104927240 hasConceptScore W2104927240C199360897 @default.
- W2104927240 hasConceptScore W2104927240C199539241 @default.
- W2104927240 hasConceptScore W2104927240C2775924081 @default.
- W2104927240 hasConceptScore W2104927240C2779110517 @default.
- W2104927240 hasConceptScore W2104927240C30788636 @default.
- W2104927240 hasConceptScore W2104927240C41008148 @default.
- W2104927240 hasConceptScore W2104927240C80444323 @default.
- W2104927240 hasConceptScore W2104927240C92991967 @default.
- W2104927240 hasLocation W21049272401 @default.
- W2104927240 hasLocation W21049272402 @default.
- W2104927240 hasOpenAccess W2104927240 @default.
- W2104927240 hasPrimaryLocation W21049272401 @default.
- W2104927240 hasRelatedWork W1968553685 @default.
- W2104927240 hasRelatedWork W1989411550 @default.
- W2104927240 hasRelatedWork W1994748133 @default.
- W2104927240 hasRelatedWork W2125069991 @default.
- W2104927240 hasRelatedWork W2614611284 @default.
- W2104927240 hasRelatedWork W3023544629 @default.
- W2104927240 hasRelatedWork W3119815114 @default.
- W2104927240 hasRelatedWork W4309684329 @default.
- W2104927240 hasRelatedWork W4313201613 @default.
- W2104927240 hasRelatedWork W4364296810 @default.
- W2104927240 isParatext "false" @default.
- W2104927240 isRetracted "false" @default.
- W2104927240 magId "2104927240" @default.
- W2104927240 workType "article" @default.