FRINK Linked Data Fragments server

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

• W2099157033 abstract "In this paper, we extend the supervisory control theory and a supervisor synthesis problem to a class of colored Petri nets. More specifically, we investigate the forbidden state control problem with full observation in which the discrete-event system is modeled as a colored Petri net with a symmetry specification. This problem is decidable if the colored Petri net has finite color sets and bounded places. A new algorithm for deriving a controller is presented in detail with a proof of its correctness. Unlike conventional algorithms that explore the entire reachable set of states, our algorithm avoids an exhaustive search of the state space by exploiting a symmetry specification. It performs particularly well when applied to large but structured processes with similar components. Furthermore, this approach allows to represent a controller in a compact form." @default.
• W2099157033 created "2016-06-24" @default.
• W2099157033 creator A5038098312 @default.
• W2099157033 creator A5068551737 @default.
• W2099157033 creator A5087753863 @default.
• W2099157033 date "2002-12-24" @default.
• W2099157033 modified "2023-09-28" @default.
• W2099157033 title "A colored Petri net-based approach to the design of controllers" @default.
• W2099157033 cites W131358186 @default.
• W2099157033 cites W1534850333 @default.
• W2099157033 cites W1553057651 @default.
• W2099157033 cites W1852354248 @default.
• W2099157033 cites W1974202634 @default.
• W2099157033 cites W1979349468 @default.
• W2099157033 cites W2042087007 @default.
• W2099157033 cites W2044943300 @default.
• W2099157033 cites W2100915659 @default.
• W2099157033 cites W2154382983 @default.
• W2099157033 cites W2174637891 @default.
• W2099157033 cites W2220224489 @default.
• W2099157033 cites W2561167752 @default.
• W2099157033 cites W9299757 @default.
• W2099157033 doi "https://doi.org/10.1109/cdc.1996.577489" @default.
• W2099157033 hasPublicationYear "2002" @default.
• W2099157033 type Work @default.
• W2099157033 sameAs 2099157033 @default.
• W2099157033 citedByCount "3" @default.
• W2099157033 crossrefType "proceedings-article" @default.
• W2099157033 hasAuthorship W2099157033A5038098312 @default.
• W2099157033 hasAuthorship W2099157033A5068551737 @default.
• W2099157033 hasAuthorship W2099157033A5087753863 @default.
• W2099157033 hasConcept C105795698 @default.
• W2099157033 hasConcept C11413529 @default.
• W2099157033 hasConcept C134306372 @default.
• W2099157033 hasConcept C14166107 @default.
• W2099157033 hasConcept C153269930 @default.
• W2099157033 hasConcept C154945302 @default.
• W2099157033 hasConcept C159985019 @default.
• W2099157033 hasConcept C177264268 @default.
• W2099157033 hasConcept C17744445 @default.
• W2099157033 hasConcept C192562407 @default.
• W2099157033 hasConcept C197551870 @default.
• W2099157033 hasConcept C199360897 @default.
• W2099157033 hasConcept C199539241 @default.
• W2099157033 hasConcept C203479927 @default.
• W2099157033 hasConcept C2524010 @default.
• W2099157033 hasConcept C2775924081 @default.
• W2099157033 hasConcept C2778307483 @default.
• W2099157033 hasConcept C2779110517 @default.
• W2099157033 hasConcept C33923547 @default.
• W2099157033 hasConcept C34388435 @default.
• W2099157033 hasConcept C38677869 @default.
• W2099157033 hasConcept C41008148 @default.
• W2099157033 hasConcept C48103436 @default.
• W2099157033 hasConcept C55439883 @default.
• W2099157033 hasConcept C6557445 @default.
• W2099157033 hasConcept C72434380 @default.
• W2099157033 hasConcept C80444323 @default.
• W2099157033 hasConcept C86803240 @default.
• W2099157033 hasConcept C92991967 @default.
• W2099157033 hasConceptScore W2099157033C105795698 @default.
• W2099157033 hasConceptScore W2099157033C11413529 @default.
• W2099157033 hasConceptScore W2099157033C134306372 @default.
• W2099157033 hasConceptScore W2099157033C14166107 @default.
• W2099157033 hasConceptScore W2099157033C153269930 @default.
• W2099157033 hasConceptScore W2099157033C154945302 @default.
• W2099157033 hasConceptScore W2099157033C159985019 @default.
• W2099157033 hasConceptScore W2099157033C177264268 @default.
• W2099157033 hasConceptScore W2099157033C17744445 @default.
• W2099157033 hasConceptScore W2099157033C192562407 @default.
• W2099157033 hasConceptScore W2099157033C197551870 @default.
• W2099157033 hasConceptScore W2099157033C199360897 @default.
• W2099157033 hasConceptScore W2099157033C199539241 @default.
• W2099157033 hasConceptScore W2099157033C203479927 @default.
• W2099157033 hasConceptScore W2099157033C2524010 @default.
• W2099157033 hasConceptScore W2099157033C2775924081 @default.
• W2099157033 hasConceptScore W2099157033C2778307483 @default.
• W2099157033 hasConceptScore W2099157033C2779110517 @default.
• W2099157033 hasConceptScore W2099157033C33923547 @default.
• W2099157033 hasConceptScore W2099157033C34388435 @default.
• W2099157033 hasConceptScore W2099157033C38677869 @default.
• W2099157033 hasConceptScore W2099157033C41008148 @default.
• W2099157033 hasConceptScore W2099157033C48103436 @default.
• W2099157033 hasConceptScore W2099157033C55439883 @default.
• W2099157033 hasConceptScore W2099157033C6557445 @default.
• W2099157033 hasConceptScore W2099157033C72434380 @default.
• W2099157033 hasConceptScore W2099157033C80444323 @default.
• W2099157033 hasConceptScore W2099157033C86803240 @default.
• W2099157033 hasConceptScore W2099157033C92991967 @default.
• W2099157033 hasLocation W20991570331 @default.
• W2099157033 hasOpenAccess W2099157033 @default.
• W2099157033 hasPrimaryLocation W20991570331 @default.
• W2099157033 hasRelatedWork W1598735159 @default.
• W2099157033 hasRelatedWork W1863920317 @default.
• W2099157033 hasRelatedWork W1988639602 @default.
• W2099157033 hasRelatedWork W1994576559 @default.
• W2099157033 hasRelatedWork W2099189069 @default.
• W2099157033 hasRelatedWork W2116191329 @default.
• W2099157033 hasRelatedWork W2128896432 @default.
• W2099157033 hasRelatedWork W2135314063 @default.

• next