Matches in SemOpenAlex for { <https://semopenalex.org/work/W2097632535> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2097632535 endingPage "97" @default.
- W2097632535 startingPage "93" @default.
- W2097632535 abstract "This paper extends our prior result on decidability of bisimulation equivalence control from the setting of complete observations to that of partial observations. Besides being control compatible, the supervisor must now also be observation compatible. We show that the small model theorem remains valid by showing that a control and observation compatible supervisor exists if and only if it exists over a certain finite state space, namely the power set of the Cartesian product of the system and the specification state spaces. Note to Practitioners-Non-determinism in discrete-event systems arises due to abstraction and/or unmodeled dynamics. This paper addresses the issue of control of non-deterministic systems subject to non-deterministic specifications, under a partial observation of events. Non-deterministic plant and specification are useful when designing a system at a higher level of abstraction so that lower level details of the system and its specification are omitted to obtain higher level models that are non-deterministic. The control goal is to ensure that the controlled system has an equivalent behavior as the specification system, where the notion of equivalence used is that of bisimilarity. Bisimilarity requires the existence of an equivalence relation between the states of the two systems so that transitions on common events beginning from a pair of equivalent states end up in a pair of equivalent successor states. Supervisors are also allowed to be nondeterministic, where the nondeterminism in control is implemented by selecting control actions nondeterministically from among a set of precomputed choices. The main contribution of this paper is to show that a supervisor exists if and only if one exists where the size of its state-space upper bounded and so it suffices to search over this state space. We illustrate our results through a manufacturing example" @default.
- W2097632535 created "2016-06-24" @default.
- W2097632535 creator A5039053067 @default.
- W2097632535 creator A5044031773 @default.
- W2097632535 date "2007-01-01" @default.
- W2097632535 modified "2023-09-27" @default.
- W2097632535 title "A Small Model Theorem for Bisimilarity Control Under Partial Observation" @default.
- W2097632535 cites W2019191620 @default.
- W2097632535 cites W2054099039 @default.
- W2097632535 cites W2133053297 @default.
- W2097632535 cites W2137865376 @default.
- W2097632535 cites W4251892696 @default.
- W2097632535 doi "https://doi.org/10.1109/tase.2006.873004" @default.
- W2097632535 hasPublicationYear "2007" @default.
- W2097632535 type Work @default.
- W2097632535 sameAs 2097632535 @default.
- W2097632535 citedByCount "33" @default.
- W2097632535 countsByYear W20976325352012 @default.
- W2097632535 countsByYear W20976325352014 @default.
- W2097632535 countsByYear W20976325352015 @default.
- W2097632535 countsByYear W20976325352017 @default.
- W2097632535 countsByYear W20976325352018 @default.
- W2097632535 countsByYear W20976325352019 @default.
- W2097632535 countsByYear W20976325352020 @default.
- W2097632535 countsByYear W20976325352021 @default.
- W2097632535 countsByYear W20976325352022 @default.
- W2097632535 countsByYear W20976325352023 @default.
- W2097632535 crossrefType "journal-article" @default.
- W2097632535 hasAuthorship W2097632535A5039053067 @default.
- W2097632535 hasAuthorship W2097632535A5044031773 @default.
- W2097632535 hasConcept C111472728 @default.
- W2097632535 hasConcept C118615104 @default.
- W2097632535 hasConcept C124304363 @default.
- W2097632535 hasConcept C135315306 @default.
- W2097632535 hasConcept C138885662 @default.
- W2097632535 hasConcept C153269930 @default.
- W2097632535 hasConcept C154945302 @default.
- W2097632535 hasConcept C171018156 @default.
- W2097632535 hasConcept C176181172 @default.
- W2097632535 hasConcept C17744445 @default.
- W2097632535 hasConcept C199539241 @default.
- W2097632535 hasConcept C2524010 @default.
- W2097632535 hasConcept C2775924081 @default.
- W2097632535 hasConcept C2779110517 @default.
- W2097632535 hasConcept C2780069185 @default.
- W2097632535 hasConcept C28826006 @default.
- W2097632535 hasConcept C33923547 @default.
- W2097632535 hasConcept C36299963 @default.
- W2097632535 hasConcept C41008148 @default.
- W2097632535 hasConcept C65236422 @default.
- W2097632535 hasConcept C92991967 @default.
- W2097632535 hasConceptScore W2097632535C111472728 @default.
- W2097632535 hasConceptScore W2097632535C118615104 @default.
- W2097632535 hasConceptScore W2097632535C124304363 @default.
- W2097632535 hasConceptScore W2097632535C135315306 @default.
- W2097632535 hasConceptScore W2097632535C138885662 @default.
- W2097632535 hasConceptScore W2097632535C153269930 @default.
- W2097632535 hasConceptScore W2097632535C154945302 @default.
- W2097632535 hasConceptScore W2097632535C171018156 @default.
- W2097632535 hasConceptScore W2097632535C176181172 @default.
- W2097632535 hasConceptScore W2097632535C17744445 @default.
- W2097632535 hasConceptScore W2097632535C199539241 @default.
- W2097632535 hasConceptScore W2097632535C2524010 @default.
- W2097632535 hasConceptScore W2097632535C2775924081 @default.
- W2097632535 hasConceptScore W2097632535C2779110517 @default.
- W2097632535 hasConceptScore W2097632535C2780069185 @default.
- W2097632535 hasConceptScore W2097632535C28826006 @default.
- W2097632535 hasConceptScore W2097632535C33923547 @default.
- W2097632535 hasConceptScore W2097632535C36299963 @default.
- W2097632535 hasConceptScore W2097632535C41008148 @default.
- W2097632535 hasConceptScore W2097632535C65236422 @default.
- W2097632535 hasConceptScore W2097632535C92991967 @default.
- W2097632535 hasIssue "1" @default.
- W2097632535 hasLocation W20976325351 @default.
- W2097632535 hasOpenAccess W2097632535 @default.
- W2097632535 hasPrimaryLocation W20976325351 @default.
- W2097632535 hasRelatedWork W1486671822 @default.
- W2097632535 hasRelatedWork W149641734 @default.
- W2097632535 hasRelatedWork W1556073382 @default.
- W2097632535 hasRelatedWork W1566527307 @default.
- W2097632535 hasRelatedWork W1820329554 @default.
- W2097632535 hasRelatedWork W1965663540 @default.
- W2097632535 hasRelatedWork W1966207613 @default.
- W2097632535 hasRelatedWork W2044592721 @default.
- W2097632535 hasRelatedWork W2047302006 @default.
- W2097632535 hasRelatedWork W2186244857 @default.
- W2097632535 hasVolume "4" @default.
- W2097632535 isParatext "false" @default.
- W2097632535 isRetracted "false" @default.
- W2097632535 magId "2097632535" @default.
- W2097632535 workType "article" @default.