FRINK Linked Data Fragments server

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

• W2176758301 abstract "This paper shows how to take advantage of a SAT-solving approach in the development of safety control software systems for manufacturing plants. In particular, it demonstrates how to construct reusable components which are assembled after instantiation to derive controllers of modular production systems. An experiment has been conducted with Alloy not only to verify properties required by a control theory for complex systems organized hierarchically, but also to synthesize two major parts of a component: observer and supervisor. The former defines its interface while guaranteeing nonblocking hierarchical control. The latter ensures the satisfaction of constraints imposed on its behavior and on the interactions among its subcomponents during system operation. As long as the size of component interfaces is small, SAT-solvers appear useful to build correct reusable components because the formal models that engineers manipulate and analyze are very close to the abstract models of the mathematical theory." @default.
• W2176758301 created "2016-06-24" @default.
• W2176758301 creator A5007443078 @default.
• W2176758301 creator A5031804722 @default.
• W2176758301 creator A5068551737 @default.
• W2176758301 creator A5071492812 @default.
• W2176758301 date "2011-01-01" @default.
• W2176758301 modified "2023-10-02" @default.
• W2176758301 title "A SAT-Based Approach for the Construction of Reusable Control System Components" @default.
• W2176758301 cites W1497487247 @default.
• W2176758301 cites W1519503479 @default.
• W2176758301 cites W1552519843 @default.
• W2176758301 cites W1590779745 @default.
• W2176758301 cites W1973642705 @default.
• W2176758301 cites W1995862561 @default.
• W2176758301 cites W2056435951 @default.
• W2176758301 cites W2059057465 @default.
• W2176758301 cites W2078233504 @default.
• W2176758301 cites W2091559615 @default.
• W2176758301 cites W2100637096 @default.
• W2176758301 cites W2135254706 @default.
• W2176758301 cites W2163119090 @default.
• W2176758301 cites W2164319355 @default.
• W2176758301 doi "https://doi.org/10.1007/978-3-642-24431-5_6" @default.
• W2176758301 hasPublicationYear "2011" @default.
• W2176758301 type Work @default.
• W2176758301 sameAs 2176758301 @default.
• W2176758301 citedByCount "2" @default.
• W2176758301 countsByYear W21767583012012 @default.
• W2176758301 countsByYear W21767583012013 @default.
• W2176758301 crossrefType "book-chapter" @default.
• W2176758301 hasAuthorship W2176758301A5007443078 @default.
• W2176758301 hasAuthorship W2176758301A5031804722 @default.
• W2176758301 hasAuthorship W2176758301A5068551737 @default.
• W2176758301 hasAuthorship W2176758301A5071492812 @default.
• W2176758301 hasConcept C101468663 @default.
• W2176758301 hasConcept C113843644 @default.
• W2176758301 hasConcept C119599485 @default.
• W2176758301 hasConcept C120314980 @default.
• W2176758301 hasConcept C121332964 @default.
• W2176758301 hasConcept C124527596 @default.
• W2176758301 hasConcept C127413603 @default.
• W2176758301 hasConcept C129307140 @default.
• W2176758301 hasConcept C154945302 @default.
• W2176758301 hasConcept C157915830 @default.
• W2176758301 hasConcept C168167062 @default.
• W2176758301 hasConcept C173608175 @default.
• W2176758301 hasConcept C174683762 @default.
• W2176758301 hasConcept C17500928 @default.
• W2176758301 hasConcept C17744445 @default.
• W2176758301 hasConcept C199360897 @default.
• W2176758301 hasConcept C199539241 @default.
• W2176758301 hasConcept C2775924081 @default.
• W2176758301 hasConcept C2777904410 @default.
• W2176758301 hasConcept C2779110517 @default.
• W2176758301 hasConcept C2780704645 @default.
• W2176758301 hasConcept C2780801425 @default.
• W2176758301 hasConcept C41008148 @default.
• W2176758301 hasConcept C529173508 @default.
• W2176758301 hasConcept C62520636 @default.
• W2176758301 hasConcept C97355855 @default.
• W2176758301 hasConceptScore W2176758301C101468663 @default.
• W2176758301 hasConceptScore W2176758301C113843644 @default.
• W2176758301 hasConceptScore W2176758301C119599485 @default.
• W2176758301 hasConceptScore W2176758301C120314980 @default.
• W2176758301 hasConceptScore W2176758301C121332964 @default.
• W2176758301 hasConceptScore W2176758301C124527596 @default.
• W2176758301 hasConceptScore W2176758301C127413603 @default.
• W2176758301 hasConceptScore W2176758301C129307140 @default.
• W2176758301 hasConceptScore W2176758301C154945302 @default.
• W2176758301 hasConceptScore W2176758301C157915830 @default.
• W2176758301 hasConceptScore W2176758301C168167062 @default.
• W2176758301 hasConceptScore W2176758301C173608175 @default.
• W2176758301 hasConceptScore W2176758301C174683762 @default.
• W2176758301 hasConceptScore W2176758301C17500928 @default.
• W2176758301 hasConceptScore W2176758301C17744445 @default.
• W2176758301 hasConceptScore W2176758301C199360897 @default.
• W2176758301 hasConceptScore W2176758301C199539241 @default.
• W2176758301 hasConceptScore W2176758301C2775924081 @default.
• W2176758301 hasConceptScore W2176758301C2777904410 @default.
• W2176758301 hasConceptScore W2176758301C2779110517 @default.
• W2176758301 hasConceptScore W2176758301C2780704645 @default.
• W2176758301 hasConceptScore W2176758301C2780801425 @default.
• W2176758301 hasConceptScore W2176758301C41008148 @default.
• W2176758301 hasConceptScore W2176758301C529173508 @default.
• W2176758301 hasConceptScore W2176758301C62520636 @default.
• W2176758301 hasConceptScore W2176758301C97355855 @default.
• W2176758301 hasLocation W21767583011 @default.
• W2176758301 hasOpenAccess W2176758301 @default.
• W2176758301 hasPrimaryLocation W21767583011 @default.
• W2176758301 hasRelatedWork W128966792 @default.
• W2176758301 hasRelatedWork W1510555737 @default.
• W2176758301 hasRelatedWork W1519848374 @default.
• W2176758301 hasRelatedWork W1998304956 @default.
• W2176758301 hasRelatedWork W2004788108 @default.
• W2176758301 hasRelatedWork W2055874780 @default.
• W2176758301 hasRelatedWork W2063900889 @default.
• W2176758301 hasRelatedWork W2122586947 @default.
• W2176758301 hasRelatedWork W2127031368 @default.
• W2176758301 hasRelatedWork W2136509683 @default.

• next