FRINK Linked Data Fragments server

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

• W39900594 abstract "Supervisory control is a logical control method of discrete event systems introduced by Ramadge and Wonham.We propose a novel coalgebraic formulation of a supervisory control problem and design a controller called supervisor satisfying a given specification under partial observations. In this paper, plants, specifications, and supervisors are modeled by Mealy automata, automata, and Moore automata, respectively. We define a composition of a supervisor and a plant coinductively, which is called a supervisory composition, to represent a behavior of the controlled plant. We formulate a supervisory control problem using the supervisory composition. We define two relations: a partial bisimulation relation and a modified normal relation. We show that these relations are related to the controllability/observability and the modified normality which are the key notions in the supervisory control theory." @default.
• W39900594 created "2016-06-24" @default.
• W39900594 creator A5046686505 @default.
• W39900594 creator A5071848416 @default.
• W39900594 creator A5076083635 @default.
• W39900594 date "2011-01-01" @default.
• W39900594 modified "2023-09-26" @default.
• W39900594 title "A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata" @default.
• W39900594 cites W1602605316 @default.
• W39900594 cites W1979349468 @default.
• W39900594 cites W1988926301 @default.
• W39900594 cites W2068354234 @default.
• W39900594 cites W2088189323 @default.
• W39900594 cites W2095624968 @default.
• W39900594 cites W2101933728 @default.
• W39900594 cites W2135436316 @default.
• W39900594 doi "https://doi.org/10.1007/978-3-642-22944-2_18" @default.
• W39900594 hasPublicationYear "2011" @default.
• W39900594 type Work @default.
• W39900594 sameAs 39900594 @default.
• W39900594 citedByCount "1" @default.
• W39900594 countsByYear W399005942013 @default.
• W39900594 crossrefType "book-chapter" @default.
• W39900594 hasAuthorship W39900594A5046686505 @default.
• W39900594 hasAuthorship W39900594A5071848416 @default.
• W39900594 hasAuthorship W39900594A5076083635 @default.
• W39900594 hasConcept C112505250 @default.
• W39900594 hasConcept C11413529 @default.
• W39900594 hasConcept C116248031 @default.
• W39900594 hasConcept C124101348 @default.
• W39900594 hasConcept C135315306 @default.
• W39900594 hasConcept C154945302 @default.
• W39900594 hasConcept C17744445 @default.
• W39900594 hasConcept C199360897 @default.
• W39900594 hasConcept C199539241 @default.
• W39900594 hasConcept C203479927 @default.
• W39900594 hasConcept C25343380 @default.
• W39900594 hasConcept C2775924081 @default.
• W39900594 hasConcept C2776411971 @default.
• W39900594 hasConcept C2778693208 @default.
• W39900594 hasConcept C2779110517 @default.
• W39900594 hasConcept C28826006 @default.
• W39900594 hasConcept C30788636 @default.
• W39900594 hasConcept C33923547 @default.
• W39900594 hasConcept C36299963 @default.
• W39900594 hasConcept C41008148 @default.
• W39900594 hasConcept C48209547 @default.
• W39900594 hasConcept C6557445 @default.
• W39900594 hasConcept C80444323 @default.
• W39900594 hasConcept C86803240 @default.
• W39900594 hasConcept C92991967 @default.
• W39900594 hasConceptScore W39900594C112505250 @default.
• W39900594 hasConceptScore W39900594C11413529 @default.
• W39900594 hasConceptScore W39900594C116248031 @default.
• W39900594 hasConceptScore W39900594C124101348 @default.
• W39900594 hasConceptScore W39900594C135315306 @default.
• W39900594 hasConceptScore W39900594C154945302 @default.
• W39900594 hasConceptScore W39900594C17744445 @default.
• W39900594 hasConceptScore W39900594C199360897 @default.
• W39900594 hasConceptScore W39900594C199539241 @default.
• W39900594 hasConceptScore W39900594C203479927 @default.
• W39900594 hasConceptScore W39900594C25343380 @default.
• W39900594 hasConceptScore W39900594C2775924081 @default.
• W39900594 hasConceptScore W39900594C2776411971 @default.
• W39900594 hasConceptScore W39900594C2778693208 @default.
• W39900594 hasConceptScore W39900594C2779110517 @default.
• W39900594 hasConceptScore W39900594C28826006 @default.
• W39900594 hasConceptScore W39900594C30788636 @default.
• W39900594 hasConceptScore W39900594C33923547 @default.
• W39900594 hasConceptScore W39900594C36299963 @default.
• W39900594 hasConceptScore W39900594C41008148 @default.
• W39900594 hasConceptScore W39900594C48209547 @default.
• W39900594 hasConceptScore W39900594C6557445 @default.
• W39900594 hasConceptScore W39900594C80444323 @default.
• W39900594 hasConceptScore W39900594C86803240 @default.
• W39900594 hasConceptScore W39900594C92991967 @default.
• W39900594 hasLocation W399005941 @default.
• W39900594 hasOpenAccess W39900594 @default.
• W39900594 hasPrimaryLocation W399005941 @default.
• W39900594 hasRelatedWork W1133759867 @default.
• W39900594 hasRelatedWork W1533032132 @default.
• W39900594 hasRelatedWork W1575609447 @default.
• W39900594 hasRelatedWork W1590382274 @default.
• W39900594 hasRelatedWork W2000205215 @default.
• W39900594 hasRelatedWork W2029560807 @default.
• W39900594 hasRelatedWork W2043655783 @default.
• W39900594 hasRelatedWork W2071102747 @default.
• W39900594 hasRelatedWork W2096297533 @default.
• W39900594 hasRelatedWork W2125036566 @default.
• W39900594 hasRelatedWork W2142288747 @default.
• W39900594 hasRelatedWork W2150946742 @default.
• W39900594 hasRelatedWork W2291721834 @default.
• W39900594 hasRelatedWork W2405175978 @default.
• W39900594 hasRelatedWork W2477246 @default.
• W39900594 hasRelatedWork W2563706398 @default.
• W39900594 hasRelatedWork W2949562517 @default.
• W39900594 hasRelatedWork W3139630556 @default.
• W39900594 hasRelatedWork W3150464407 @default.
• W39900594 hasRelatedWork W1547828691 @default.
• W39900594 isParatext "false" @default.

• next