FRINK Linked Data Fragments server

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

• W2783183134 endingPage "3360" @default.
• W2783183134 startingPage "3345" @default.
• W2783183134 abstract "This paper presents a novel approach to synthesize supremal nonblocking supervisors of discrete-event systems (DES), when the automaton models of specifications are not available. Extending the L* learning algorithm, an S* algorithm is developed to infer a tentatively correct supervisor. If the tentatively correct supervisor is nonblocking, it is indeed the supremal nonblocking supervisor with respect to the plant and specifications. Otherwise, the blocking automaton is regarded as a new plant, and the specification is the nonblocking property. Then, the supremal nonblocking supervisor with respect to the new problem is computed using supervisory control theory of DES. Two simplification rules are introduced to the S* algorithm to decrease the computational cost. Finally, the S* algorithm is implemented based on the LearnLib framework, and experiments are performed to verify the proposed approach." @default.
• W2783183134 created "2018-01-26" @default.
• W2783183134 creator A5039084091 @default.
• W2783183134 creator A5054955661 @default.
• W2783183134 creator A5087555515 @default.
• W2783183134 date "2018-10-01" @default.
• W2783183134 modified "2023-10-15" @default.
• W2783183134 title "A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems" @default.
• W2783183134 cites W140384553 @default.
• W2783183134 cites W1572093474 @default.
• W2783183134 cites W1574991981 @default.
• W2783183134 cites W1599044589 @default.
• W2783183134 cites W1605342503 @default.
• W2783183134 cites W1701438870 @default.
• W2783183134 cites W1984666354 @default.
• W2783183134 cites W1988883016 @default.
• W2783183134 cites W1989445634 @default.
• W2783183134 cites W2004865374 @default.
• W2783183134 cites W2011762419 @default.
• W2783183134 cites W2016380948 @default.
• W2783183134 cites W2051242440 @default.
• W2783183134 cites W2059057465 @default.
• W2783183134 cites W2061607336 @default.
• W2783183134 cites W2076343783 @default.
• W2783183134 cites W2105394284 @default.
• W2783183134 cites W2114575161 @default.
• W2783183134 cites W2124081952 @default.
• W2783183134 cites W2125291333 @default.
• W2783183134 cites W2140606869 @default.
• W2783183134 cites W2143903830 @default.
• W2783183134 cites W2147504115 @default.
• W2783183134 cites W2147795397 @default.
• W2783183134 cites W2153113788 @default.
• W2783183134 cites W2495746187 @default.
• W2783183134 cites W2509841691 @default.
• W2783183134 cites W2614826960 @default.
• W2783183134 cites W3148449407 @default.
• W2783183134 cites W88926580 @default.
• W2783183134 doi "https://doi.org/10.1109/tac.2018.2793662" @default.
• W2783183134 hasPublicationYear "2018" @default.
• W2783183134 type Work @default.
• W2783183134 sameAs 2783183134 @default.
• W2783183134 citedByCount "39" @default.
• W2783183134 countsByYear W27831831342018 @default.
• W2783183134 countsByYear W27831831342019 @default.
• W2783183134 countsByYear W27831831342020 @default.
• W2783183134 countsByYear W27831831342021 @default.
• W2783183134 countsByYear W27831831342022 @default.
• W2783183134 countsByYear W27831831342023 @default.
• W2783183134 crossrefType "journal-article" @default.
• W2783183134 hasAuthorship W2783183134A5039084091 @default.
• W2783183134 hasAuthorship W2783183134A5054955661 @default.
• W2783183134 hasAuthorship W2783183134A5087555515 @default.
• W2783183134 hasConcept C111472728 @default.
• W2783183134 hasConcept C112505250 @default.
• W2783183134 hasConcept C11413529 @default.
• W2783183134 hasConcept C121332964 @default.
• W2783183134 hasConcept C138885662 @default.
• W2783183134 hasConcept C154945302 @default.
• W2783183134 hasConcept C17744445 @default.
• W2783183134 hasConcept C189950617 @default.
• W2783183134 hasConcept C199539241 @default.
• W2783183134 hasConcept C2775924081 @default.
• W2783183134 hasConcept C2776807809 @default.
• W2783183134 hasConcept C2778693208 @default.
• W2783183134 hasConcept C2779110517 @default.
• W2783183134 hasConcept C2779662365 @default.
• W2783183134 hasConcept C41008148 @default.
• W2783183134 hasConcept C62520636 @default.
• W2783183134 hasConcept C80444323 @default.
• W2783183134 hasConcept C92991967 @default.
• W2783183134 hasConceptScore W2783183134C111472728 @default.
• W2783183134 hasConceptScore W2783183134C112505250 @default.
• W2783183134 hasConceptScore W2783183134C11413529 @default.
• W2783183134 hasConceptScore W2783183134C121332964 @default.
• W2783183134 hasConceptScore W2783183134C138885662 @default.
• W2783183134 hasConceptScore W2783183134C154945302 @default.
• W2783183134 hasConceptScore W2783183134C17744445 @default.
• W2783183134 hasConceptScore W2783183134C189950617 @default.
• W2783183134 hasConceptScore W2783183134C199539241 @default.
• W2783183134 hasConceptScore W2783183134C2775924081 @default.
• W2783183134 hasConceptScore W2783183134C2776807809 @default.
• W2783183134 hasConceptScore W2783183134C2778693208 @default.
• W2783183134 hasConceptScore W2783183134C2779110517 @default.
• W2783183134 hasConceptScore W2783183134C2779662365 @default.
• W2783183134 hasConceptScore W2783183134C41008148 @default.
• W2783183134 hasConceptScore W2783183134C62520636 @default.
• W2783183134 hasConceptScore W2783183134C80444323 @default.
• W2783183134 hasConceptScore W2783183134C92991967 @default.
• W2783183134 hasFunder F4320321001 @default.
• W2783183134 hasFunder F4320321655 @default.
• W2783183134 hasFunder F4320326701 @default.
• W2783183134 hasIssue "10" @default.
• W2783183134 hasLocation W27831831341 @default.
• W2783183134 hasOpenAccess W2783183134 @default.
• W2783183134 hasPrimaryLocation W27831831341 @default.
• W2783183134 hasRelatedWork W1566197891 @default.
• W2783183134 hasRelatedWork W2090684133 @default.

• next