FRINK Linked Data Fragments server

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

• W4285306812 endingPage "143" @default.
• W4285306812 startingPage "130" @default.
• W4285306812 abstract "Validation of industrial automation systems is the process of checking that commissioner requirements are successfully implemented. Formal approaches are needed when the considered system is critical. The method presented in this article relies on a model-based approach that exploits the compactness and graphical representation of time-interpreted Petri nets, which adds input–output interpretation to transitions/places and embeds time information. These nets are here used with multiple-server semantic to allow effective modeling of typical automation system requirements. The key idea of the system validation approach is to compare the observed behavior of the automation system with the expected behavior, as generated by updating online the model of system requirements using a state estimation algorithm. Also, an off-line procedure is provided to evaluate the evolutions admitted by the model but not observed. Both procedures yield useful data to the validation engineer, allowing to speed up the validation process. Technological issues due to the synchronous nature of controllers and the implications of their programming are considered." @default.
• W4285306812 created "2022-07-14" @default.
• W4285306812 creator A5039881784 @default.
• W4285306812 creator A5044437352 @default.
• W4285306812 date "2023-01-01" @default.
• W4285306812 modified "2023-10-18" @default.
• W4285306812 title "Validation of Industrial Automation Systems Using a Timed Model of System Requirements" @default.
• W4285306812 cites W1694630613 @default.
• W4285306812 cites W1996109622 @default.
• W4285306812 cites W2044892885 @default.
• W4285306812 cites W2094618733 @default.
• W4285306812 cites W2105941398 @default.
• W4285306812 cites W2106388759 @default.
• W4285306812 cites W2130195901 @default.
• W4285306812 cites W2137212541 @default.
• W4285306812 cites W2466492611 @default.
• W4285306812 cites W2593452631 @default.
• W4285306812 cites W2611829796 @default.
• W4285306812 cites W2750587933 @default.
• W4285306812 cites W2765714304 @default.
• W4285306812 cites W2768897767 @default.
• W4285306812 cites W2779379498 @default.
• W4285306812 cites W2942049119 @default.
• W4285306812 cites W2965135032 @default.
• W4285306812 cites W2968259209 @default.
• W4285306812 cites W2983543554 @default.
• W4285306812 cites W2990435870 @default.
• W4285306812 cites W3092425344 @default.
• W4285306812 cites W3159987835 @default.
• W4285306812 cites W3185654909 @default.
• W4285306812 cites W63786410 @default.
• W4285306812 doi "https://doi.org/10.1109/tcst.2022.3173890" @default.
• W4285306812 hasPublicationYear "2023" @default.
• W4285306812 type Work @default.
• W4285306812 citedByCount "2" @default.
• W4285306812 countsByYear W42853068122022 @default.
• W4285306812 countsByYear W42853068122023 @default.
• W4285306812 crossrefType "journal-article" @default.
• W4285306812 hasAuthorship W4285306812A5039881784 @default.
• W4285306812 hasAuthorship W4285306812A5044437352 @default.
• W4285306812 hasConcept C110251889 @default.
• W4285306812 hasConcept C115901376 @default.
• W4285306812 hasConcept C115903868 @default.
• W4285306812 hasConcept C120314980 @default.
• W4285306812 hasConcept C127413603 @default.
• W4285306812 hasConcept C165696696 @default.
• W4285306812 hasConcept C17744445 @default.
• W4285306812 hasConcept C199360897 @default.
• W4285306812 hasConcept C199539241 @default.
• W4285306812 hasConcept C200601418 @default.
• W4285306812 hasConcept C201995342 @default.
• W4285306812 hasConcept C21457203 @default.
• W4285306812 hasConcept C26517878 @default.
• W4285306812 hasConcept C2776359362 @default.
• W4285306812 hasConcept C38652104 @default.
• W4285306812 hasConcept C38677869 @default.
• W4285306812 hasConcept C41008148 @default.
• W4285306812 hasConcept C78519656 @default.
• W4285306812 hasConcept C80444323 @default.
• W4285306812 hasConcept C94625758 @default.
• W4285306812 hasConcept C98045186 @default.
• W4285306812 hasConceptScore W4285306812C110251889 @default.
• W4285306812 hasConceptScore W4285306812C115901376 @default.
• W4285306812 hasConceptScore W4285306812C115903868 @default.
• W4285306812 hasConceptScore W4285306812C120314980 @default.
• W4285306812 hasConceptScore W4285306812C127413603 @default.
• W4285306812 hasConceptScore W4285306812C165696696 @default.
• W4285306812 hasConceptScore W4285306812C17744445 @default.
• W4285306812 hasConceptScore W4285306812C199360897 @default.
• W4285306812 hasConceptScore W4285306812C199539241 @default.
• W4285306812 hasConceptScore W4285306812C200601418 @default.
• W4285306812 hasConceptScore W4285306812C201995342 @default.
• W4285306812 hasConceptScore W4285306812C21457203 @default.
• W4285306812 hasConceptScore W4285306812C26517878 @default.
• W4285306812 hasConceptScore W4285306812C2776359362 @default.
• W4285306812 hasConceptScore W4285306812C38652104 @default.
• W4285306812 hasConceptScore W4285306812C38677869 @default.
• W4285306812 hasConceptScore W4285306812C41008148 @default.
• W4285306812 hasConceptScore W4285306812C78519656 @default.
• W4285306812 hasConceptScore W4285306812C80444323 @default.
• W4285306812 hasConceptScore W4285306812C94625758 @default.
• W4285306812 hasConceptScore W4285306812C98045186 @default.
• W4285306812 hasIssue "1" @default.
• W4285306812 hasLocation W42853068121 @default.
• W4285306812 hasOpenAccess W4285306812 @default.
• W4285306812 hasPrimaryLocation W42853068121 @default.
• W4285306812 hasRelatedWork W2004737157 @default.
• W4285306812 hasRelatedWork W2119859387 @default.
• W4285306812 hasRelatedWork W2392396081 @default.
• W4285306812 hasRelatedWork W2392398436 @default.
• W4285306812 hasRelatedWork W2518076384 @default.
• W4285306812 hasRelatedWork W2548621846 @default.
• W4285306812 hasRelatedWork W2801524828 @default.
• W4285306812 hasRelatedWork W2909293663 @default.
• W4285306812 hasRelatedWork W4286750075 @default.
• W4285306812 hasRelatedWork W4297791350 @default.
• W4285306812 hasVolume "31" @default.
• W4285306812 isParatext "false" @default.

• next