Matches in SemOpenAlex for { <https://semopenalex.org/work/W3089738369> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W3089738369 abstract "Supervisor synthesis enables the design of supervisory controllers for large cyber-physical systems, with high guarantees for functionality and safety. The complexity of the synthesis problem, however, increases exponentially with the number of system components in the cyber-physical system and the number of models of this system, often resulting in lengthy or even unsolvable synthesis procedures. In this paper, a new method is proposed for reducing the model of the system before synthesis to decrease the required computational time and effort. The method consists of three steps for model reduction, that are mainly based on symmetry in dependency graphs of the system. Dependency graphs visualize the components in the system and the relations between these components. The proposed method is applied in a case study on the design of a supervisory controller for a road tunnel. In this case study, the model reduction steps are described, and results are shown on the effectiveness of model reduction in terms of model size and synthesis time." @default.
- W3089738369 created "2020-10-08" @default.
- W3089738369 creator A5006425812 @default.
- W3089738369 creator A5078018557 @default.
- W3089738369 creator A5078610814 @default.
- W3089738369 creator A5080864078 @default.
- W3089738369 date "2020-08-01" @default.
- W3089738369 modified "2023-09-27" @default.
- W3089738369 title "Exploiting Symmetry in Dependency Graphs for Model Reduction in Supervisor Synthesis" @default.
- W3089738369 cites W1554301460 @default.
- W3089738369 cites W1587663028 @default.
- W3089738369 cites W1972065960 @default.
- W3089738369 cites W1979349468 @default.
- W3089738369 cites W2030935018 @default.
- W3089738369 cites W2059057465 @default.
- W3089738369 cites W2077450865 @default.
- W3089738369 cites W2101178868 @default.
- W3089738369 cites W2106810189 @default.
- W3089738369 cites W2110924437 @default.
- W3089738369 cites W2136138373 @default.
- W3089738369 cites W2150336837 @default.
- W3089738369 cites W2162379766 @default.
- W3089738369 cites W2479050047 @default.
- W3089738369 cites W2761004518 @default.
- W3089738369 cites W2804230136 @default.
- W3089738369 cites W2971012351 @default.
- W3089738369 cites W3041295648 @default.
- W3089738369 cites W3162785869 @default.
- W3089738369 doi "https://doi.org/10.1109/case48305.2020.9216953" @default.
- W3089738369 hasPublicationYear "2020" @default.
- W3089738369 type Work @default.
- W3089738369 sameAs 3089738369 @default.
- W3089738369 citedByCount "1" @default.
- W3089738369 countsByYear W30897383692020 @default.
- W3089738369 crossrefType "proceedings-article" @default.
- W3089738369 hasAuthorship W3089738369A5006425812 @default.
- W3089738369 hasAuthorship W3089738369A5078018557 @default.
- W3089738369 hasAuthorship W3089738369A5078610814 @default.
- W3089738369 hasAuthorship W3089738369A5080864078 @default.
- W3089738369 hasConcept C111335779 @default.
- W3089738369 hasConcept C111919701 @default.
- W3089738369 hasConcept C11413529 @default.
- W3089738369 hasConcept C116672817 @default.
- W3089738369 hasConcept C120314980 @default.
- W3089738369 hasConcept C121332964 @default.
- W3089738369 hasConcept C154945302 @default.
- W3089738369 hasConcept C17744445 @default.
- W3089738369 hasConcept C179768478 @default.
- W3089738369 hasConcept C19768560 @default.
- W3089738369 hasConcept C199539241 @default.
- W3089738369 hasConcept C2524010 @default.
- W3089738369 hasConcept C2775924081 @default.
- W3089738369 hasConcept C2779110517 @default.
- W3089738369 hasConcept C33923547 @default.
- W3089738369 hasConcept C41008148 @default.
- W3089738369 hasConcept C62520636 @default.
- W3089738369 hasConcept C80444323 @default.
- W3089738369 hasConcept C92991967 @default.
- W3089738369 hasConceptScore W3089738369C111335779 @default.
- W3089738369 hasConceptScore W3089738369C111919701 @default.
- W3089738369 hasConceptScore W3089738369C11413529 @default.
- W3089738369 hasConceptScore W3089738369C116672817 @default.
- W3089738369 hasConceptScore W3089738369C120314980 @default.
- W3089738369 hasConceptScore W3089738369C121332964 @default.
- W3089738369 hasConceptScore W3089738369C154945302 @default.
- W3089738369 hasConceptScore W3089738369C17744445 @default.
- W3089738369 hasConceptScore W3089738369C179768478 @default.
- W3089738369 hasConceptScore W3089738369C19768560 @default.
- W3089738369 hasConceptScore W3089738369C199539241 @default.
- W3089738369 hasConceptScore W3089738369C2524010 @default.
- W3089738369 hasConceptScore W3089738369C2775924081 @default.
- W3089738369 hasConceptScore W3089738369C2779110517 @default.
- W3089738369 hasConceptScore W3089738369C33923547 @default.
- W3089738369 hasConceptScore W3089738369C41008148 @default.
- W3089738369 hasConceptScore W3089738369C62520636 @default.
- W3089738369 hasConceptScore W3089738369C80444323 @default.
- W3089738369 hasConceptScore W3089738369C92991967 @default.
- W3089738369 hasLocation W30897383691 @default.
- W3089738369 hasOpenAccess W3089738369 @default.
- W3089738369 hasPrimaryLocation W30897383691 @default.
- W3089738369 hasRelatedWork W12586248 @default.
- W3089738369 hasRelatedWork W12828072 @default.
- W3089738369 hasRelatedWork W13055985 @default.
- W3089738369 hasRelatedWork W2477246 @default.
- W3089738369 hasRelatedWork W4032102 @default.
- W3089738369 hasRelatedWork W5062080 @default.
- W3089738369 hasRelatedWork W5703516 @default.
- W3089738369 hasRelatedWork W8062728 @default.
- W3089738369 hasRelatedWork W818681 @default.
- W3089738369 hasRelatedWork W8635843 @default.
- W3089738369 isParatext "false" @default.
- W3089738369 isRetracted "false" @default.
- W3089738369 magId "3089738369" @default.
- W3089738369 workType "article" @default.