FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1965663540> ?p ?o ?g. }

• W1965663540 endingPage "1653" @default.
• W1965663540 startingPage "1642" @default.
• W1965663540 abstract "Control for safety and nonblockingness using a deterministic supervisor requires the specification language be controllable and observable (under the setting that marking is also decided by a supervisor). We argue that there exist cases where the above properties do not hold, yet a safe and nonblocking control can be synthesized by allowing the supervisor to be nondeterministic. Use of a nondeterministic supervisor yields a controlled system that is nondeterministic for which a language equivalence only preserve the safety but not the nonblocking property, and so instead we require the stronger equivalence of bisimilarity (which preserves sequential behavior such as safety as well as branching behavior such as nonblockingness). This motivates us to consider control of deterministic systems for achieving bisimulation equivalence to possibly nondeterministic specifications. We introduce the notions of state-achievability (SA) and state-achievability-bisimilar (SAB) as part of the existence condition, and develop effective algorithms for verify the existence conditions as well as for synthesizing a supervisor when the existence condition holds. We show that the complexity of verifying the existence of a controller is polynomial, whereas that of computing a controller (when one exists) is singly exponential. The proposed approach can be applied to enforce any property that depends on branching and sequential behavior." @default.
• W1965663540 created "2016-06-24" @default.
• W1965663540 creator A5039053067 @default.
• W1965663540 creator A5044031773 @default.
• W1965663540 date "2007-09-01" @default.
• W1965663540 modified "2023-09-26" @default.
• W1965663540 title "Bisimilarity Control of Partially Observed Deterministic Systems" @default.
• W1965663540 cites W1602605316 @default.
• W1965663540 cites W1820329554 @default.
• W1965663540 cites W1979349468 @default.
• W1965663540 cites W1988926301 @default.
• W1965663540 cites W2011115295 @default.
• W1965663540 cites W2018871411 @default.
• W1965663540 cites W2019191620 @default.
• W1965663540 cites W2054099039 @default.
• W1965663540 cites W2068354234 @default.
• W1965663540 cites W2090575514 @default.
• W1965663540 cites W2095786572 @default.
• W1965663540 cites W2096915605 @default.
• W1965663540 cites W2097061575 @default.
• W1965663540 cites W2133053297 @default.
• W1965663540 cites W2149549862 @default.
• W1965663540 cites W2161413064 @default.
• W1965663540 cites W2161544952 @default.
• W1965663540 cites W2162331092 @default.
• W1965663540 cites W2162500174 @default.
• W1965663540 cites W2170070938 @default.
• W1965663540 cites W2178250883 @default.
• W1965663540 cites W3162365952 @default.
• W1965663540 cites W4251892696 @default.
• W1965663540 cites W94945286 @default.
• W1965663540 doi "https://doi.org/10.1109/tac.2007.904470" @default.
• W1965663540 hasPublicationYear "2007" @default.
• W1965663540 type Work @default.
• W1965663540 sameAs 1965663540 @default.
• W1965663540 citedByCount "9" @default.
• W1965663540 countsByYear W19656635402012 @default.
• W1965663540 countsByYear W19656635402020 @default.
• W1965663540 countsByYear W19656635402021 @default.
• W1965663540 countsByYear W19656635402023 @default.
• W1965663540 crossrefType "journal-article" @default.
• W1965663540 hasAuthorship W1965663540A5039053067 @default.
• W1965663540 hasAuthorship W1965663540A5044031773 @default.
• W1965663540 hasConcept C111472728 @default.
• W1965663540 hasConcept C112505250 @default.
• W1965663540 hasConcept C11413529 @default.
• W1965663540 hasConcept C118615104 @default.
• W1965663540 hasConcept C121332964 @default.
• W1965663540 hasConcept C135315306 @default.
• W1965663540 hasConcept C138885662 @default.
• W1965663540 hasConcept C154945302 @default.
• W1965663540 hasConcept C176181172 @default.
• W1965663540 hasConcept C17744445 @default.
• W1965663540 hasConcept C189950617 @default.
• W1965663540 hasConcept C199539241 @default.
• W1965663540 hasConcept C203479927 @default.
• W1965663540 hasConcept C2775924081 @default.
• W1965663540 hasConcept C2779110517 @default.
• W1965663540 hasConcept C2780069185 @default.
• W1965663540 hasConcept C32848918 @default.
• W1965663540 hasConcept C33923547 @default.
• W1965663540 hasConcept C41008148 @default.
• W1965663540 hasConcept C48103436 @default.
• W1965663540 hasConcept C52370388 @default.
• W1965663540 hasConcept C62520636 @default.
• W1965663540 hasConcept C6557445 @default.
• W1965663540 hasConcept C80444323 @default.
• W1965663540 hasConcept C86803240 @default.
• W1965663540 hasConcept C92991967 @default.
• W1965663540 hasConceptScore W1965663540C111472728 @default.
• W1965663540 hasConceptScore W1965663540C112505250 @default.
• W1965663540 hasConceptScore W1965663540C11413529 @default.
• W1965663540 hasConceptScore W1965663540C118615104 @default.
• W1965663540 hasConceptScore W1965663540C121332964 @default.
• W1965663540 hasConceptScore W1965663540C135315306 @default.
• W1965663540 hasConceptScore W1965663540C138885662 @default.
• W1965663540 hasConceptScore W1965663540C154945302 @default.
• W1965663540 hasConceptScore W1965663540C176181172 @default.
• W1965663540 hasConceptScore W1965663540C17744445 @default.
• W1965663540 hasConceptScore W1965663540C189950617 @default.
• W1965663540 hasConceptScore W1965663540C199539241 @default.
• W1965663540 hasConceptScore W1965663540C203479927 @default.
• W1965663540 hasConceptScore W1965663540C2775924081 @default.
• W1965663540 hasConceptScore W1965663540C2779110517 @default.
• W1965663540 hasConceptScore W1965663540C2780069185 @default.
• W1965663540 hasConceptScore W1965663540C32848918 @default.
• W1965663540 hasConceptScore W1965663540C33923547 @default.
• W1965663540 hasConceptScore W1965663540C41008148 @default.
• W1965663540 hasConceptScore W1965663540C48103436 @default.
• W1965663540 hasConceptScore W1965663540C52370388 @default.
• W1965663540 hasConceptScore W1965663540C62520636 @default.
• W1965663540 hasConceptScore W1965663540C6557445 @default.
• W1965663540 hasConceptScore W1965663540C80444323 @default.
• W1965663540 hasConceptScore W1965663540C86803240 @default.
• W1965663540 hasConceptScore W1965663540C92991967 @default.
• W1965663540 hasIssue "9" @default.
• W1965663540 hasLocation W19656635401 @default.
• W1965663540 hasOpenAccess W1965663540 @default.

• next