FRINK Linked Data Fragments server

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

• W3213304710 endingPage "141" @default.
• W3213304710 startingPage "115" @default.
• W3213304710 abstract "Abstract The development of supervisory controllers for cyber-physical systems is a laborious and error-prone process. Supervisor synthesis enables control designers to automatically synthesize a correct-by-construction supervisor from a model of the plant combined with a model of the control requirements. From the supervisor model, controller code can be generated which is suitable for the implementation on a programmable logic controller (PLC). Supervisors for industrial systems that operate in close proximity to humans have to adhere to strict safety standards. To achieve these standards, safety PLCs (SPLCs) are used. For SPLC implementation, the supervisor has to be split into a regular part and a safety part. In previous work, a method is proposed to automatically split a supervisor model for this purpose. The method assumes that the provided plant model is a collection of finite automata. In this paper, the extension to extended finite automata is described. Additionally, guidelines are provided for modeling the plant and the requirements to achieve a favorable splitting. A case study on a rotating bridge is elaborated which has been used to validate the method. The case study spans all development steps, including the implementation of the resulting supervisor to control the real bridge." @default.
• W3213304710 created "2021-11-22" @default.
• W3213304710 creator A5006425812 @default.
• W3213304710 creator A5017719746 @default.
• W3213304710 creator A5040185932 @default.
• W3213304710 creator A5078018557 @default.
• W3213304710 date "2021-11-06" @default.
• W3213304710 modified "2023-10-14" @default.
• W3213304710 title "Supervisory controller synthesis and implementation for safety PLCs" @default.
• W3213304710 cites W1979349468 @default.
• W3213304710 cites W1981464892 @default.
• W3213304710 cites W1995862561 @default.
• W3213304710 cites W2006114742 @default.
• W3213304710 cites W2039571573 @default.
• W3213304710 cites W2060461359 @default.
• W3213304710 cites W2104927240 @default.
• W3213304710 cites W2110924437 @default.
• W3213304710 cites W2114254072 @default.
• W3213304710 cites W2115425820 @default.
• W3213304710 cites W2119106833 @default.
• W3213304710 cites W2122259599 @default.
• W3213304710 cites W2140197499 @default.
• W3213304710 cites W2150336837 @default.
• W3213304710 cites W2162379766 @default.
• W3213304710 cites W2172083724 @default.
• W3213304710 cites W2404661817 @default.
• W3213304710 cites W2484989244 @default.
• W3213304710 cites W2509841691 @default.
• W3213304710 cites W2600920262 @default.
• W3213304710 cites W2751621071 @default.
• W3213304710 cites W2884031686 @default.
• W3213304710 cites W2899378454 @default.
• W3213304710 cites W2973471694 @default.
• W3213304710 cites W2974275827 @default.
• W3213304710 cites W3003315136 @default.
• W3213304710 cites W3006377524 @default.
• W3213304710 cites W3014830869 @default.
• W3213304710 cites W3163145894 @default.
• W3213304710 cites W4288853474 @default.
• W3213304710 cites W83902219 @default.
• W3213304710 doi "https://doi.org/10.1007/s10626-021-00350-4" @default.
• W3213304710 hasPublicationYear "2021" @default.
• W3213304710 type Work @default.
• W3213304710 sameAs 3213304710 @default.
• W3213304710 citedByCount "2" @default.
• W3213304710 countsByYear W32133047102022 @default.
• W3213304710 crossrefType "journal-article" @default.
• W3213304710 hasAuthorship W3213304710A5006425812 @default.
• W3213304710 hasAuthorship W3213304710A5017719746 @default.
• W3213304710 hasAuthorship W3213304710A5040185932 @default.
• W3213304710 hasAuthorship W3213304710A5078018557 @default.
• W3213304710 hasBestOaLocation W32133047101 @default.
• W3213304710 hasConcept C100776233 @default.
• W3213304710 hasConcept C111919701 @default.
• W3213304710 hasConcept C112505250 @default.
• W3213304710 hasConcept C126322002 @default.
• W3213304710 hasConcept C127413603 @default.
• W3213304710 hasConcept C133731056 @default.
• W3213304710 hasConcept C154945302 @default.
• W3213304710 hasConcept C167822520 @default.
• W3213304710 hasConcept C17744445 @default.
• W3213304710 hasConcept C199360897 @default.
• W3213304710 hasConcept C199539241 @default.
• W3213304710 hasConcept C203479927 @default.
• W3213304710 hasConcept C2775924081 @default.
• W3213304710 hasConcept C2778693208 @default.
• W3213304710 hasConcept C2779110517 @default.
• W3213304710 hasConcept C37374048 @default.
• W3213304710 hasConcept C40071531 @default.
• W3213304710 hasConcept C41008148 @default.
• W3213304710 hasConcept C6557445 @default.
• W3213304710 hasConcept C71924100 @default.
• W3213304710 hasConcept C80444323 @default.
• W3213304710 hasConcept C86803240 @default.
• W3213304710 hasConcept C92991967 @default.
• W3213304710 hasConcept C98045186 @default.
• W3213304710 hasConceptScore W3213304710C100776233 @default.
• W3213304710 hasConceptScore W3213304710C111919701 @default.
• W3213304710 hasConceptScore W3213304710C112505250 @default.
• W3213304710 hasConceptScore W3213304710C126322002 @default.
• W3213304710 hasConceptScore W3213304710C127413603 @default.
• W3213304710 hasConceptScore W3213304710C133731056 @default.
• W3213304710 hasConceptScore W3213304710C154945302 @default.
• W3213304710 hasConceptScore W3213304710C167822520 @default.
• W3213304710 hasConceptScore W3213304710C17744445 @default.
• W3213304710 hasConceptScore W3213304710C199360897 @default.
• W3213304710 hasConceptScore W3213304710C199539241 @default.
• W3213304710 hasConceptScore W3213304710C203479927 @default.
• W3213304710 hasConceptScore W3213304710C2775924081 @default.
• W3213304710 hasConceptScore W3213304710C2778693208 @default.
• W3213304710 hasConceptScore W3213304710C2779110517 @default.
• W3213304710 hasConceptScore W3213304710C37374048 @default.
• W3213304710 hasConceptScore W3213304710C40071531 @default.
• W3213304710 hasConceptScore W3213304710C41008148 @default.
• W3213304710 hasConceptScore W3213304710C6557445 @default.
• W3213304710 hasConceptScore W3213304710C71924100 @default.
• W3213304710 hasConceptScore W3213304710C80444323 @default.
• W3213304710 hasConceptScore W3213304710C86803240 @default.

• next