Matches in SemOpenAlex for { <https://semopenalex.org/work/W3200435086> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3200435086 endingPage "326" @default.
- W3200435086 startingPage "310" @default.
- W3200435086 abstract "Abstract A complex system is characterized by emergence of global properties which are very difficult, if not impossible, to anticipate just from complete knowledge of component behaviors. Emergence, hierarchical organization and numerosity are some of the characteristics of complex systems. Recently, there has been an exponential increase on the adoption of various neural network‐based machine learning models to govern the functionality and behavior of systems. With this increasing system complexity, achieving confidence in systems becomes even more difficult. Further, ease of interconnectivity among systems is permeating numerous system‐of‐systems, wherein multiple independent systems are expected to interact and collaborate to achieve unparalleled levels of functionality. Traditional verification and validation approaches are often inadequate to bring in the nuances of potential emergent behavior in a system‐of‐system, which may be positive or negative. This paper describes a novel approach towards application of machine learning based classifiers and formal methods for analyzing and evaluating emergent behavior of complex system‐of‐systems that comprise a hybrid of constituent systems governed by conventional models and machine learning models. The proposed approach involves developing a machine learning classifier model that learns on potential negative and positive emergent behaviors, and predicts the behavior exhibited. A formal verification model is then developed to assert negative emergent behavior. The approach is illustrated through the case of a swarm of autonomous UAVs flying in a formation, and dynamically changing the shape of the formation, to support varying mission scenarios. The effectiveness and performance of the approach are quantified." @default.
- W3200435086 created "2021-09-27" @default.
- W3200435086 creator A5000279949 @default.
- W3200435086 creator A5018639233 @default.
- W3200435086 creator A5072261829 @default.
- W3200435086 date "2021-07-01" @default.
- W3200435086 modified "2023-10-13" @default.
- W3200435086 title "Framework for Formal Verification of Machine Learning Based Complex System‐of‐System" @default.
- W3200435086 cites W2021649429 @default.
- W3200435086 cites W2051592730 @default.
- W3200435086 cites W2068883935 @default.
- W3200435086 cites W2133056442 @default.
- W3200435086 cites W2134262590 @default.
- W3200435086 cites W2594877703 @default.
- W3200435086 cites W2741086668 @default.
- W3200435086 cites W2750795339 @default.
- W3200435086 cites W2767295237 @default.
- W3200435086 cites W2767888847 @default.
- W3200435086 cites W2887639514 @default.
- W3200435086 cites W2897001116 @default.
- W3200435086 cites W2975715929 @default.
- W3200435086 cites W2978626209 @default.
- W3200435086 cites W2985188617 @default.
- W3200435086 cites W3112809593 @default.
- W3200435086 cites W569142667 @default.
- W3200435086 doi "https://doi.org/10.1002/j.2334-5837.2021.00840.x" @default.
- W3200435086 hasPublicationYear "2021" @default.
- W3200435086 type Work @default.
- W3200435086 sameAs 3200435086 @default.
- W3200435086 citedByCount "5" @default.
- W3200435086 countsByYear W32004350862022 @default.
- W3200435086 countsByYear W32004350862023 @default.
- W3200435086 crossrefType "journal-article" @default.
- W3200435086 hasAuthorship W3200435086A5000279949 @default.
- W3200435086 hasAuthorship W3200435086A5018639233 @default.
- W3200435086 hasAuthorship W3200435086A5072261829 @default.
- W3200435086 hasConcept C115903868 @default.
- W3200435086 hasConcept C119857082 @default.
- W3200435086 hasConcept C154945302 @default.
- W3200435086 hasConcept C163950791 @default.
- W3200435086 hasConcept C169760540 @default.
- W3200435086 hasConcept C169900460 @default.
- W3200435086 hasConcept C25516864 @default.
- W3200435086 hasConcept C31352089 @default.
- W3200435086 hasConcept C41008148 @default.
- W3200435086 hasConcept C47822265 @default.
- W3200435086 hasConcept C50644808 @default.
- W3200435086 hasConcept C86803240 @default.
- W3200435086 hasConcept C87912763 @default.
- W3200435086 hasConcept C95623464 @default.
- W3200435086 hasConceptScore W3200435086C115903868 @default.
- W3200435086 hasConceptScore W3200435086C119857082 @default.
- W3200435086 hasConceptScore W3200435086C154945302 @default.
- W3200435086 hasConceptScore W3200435086C163950791 @default.
- W3200435086 hasConceptScore W3200435086C169760540 @default.
- W3200435086 hasConceptScore W3200435086C169900460 @default.
- W3200435086 hasConceptScore W3200435086C25516864 @default.
- W3200435086 hasConceptScore W3200435086C31352089 @default.
- W3200435086 hasConceptScore W3200435086C41008148 @default.
- W3200435086 hasConceptScore W3200435086C47822265 @default.
- W3200435086 hasConceptScore W3200435086C50644808 @default.
- W3200435086 hasConceptScore W3200435086C86803240 @default.
- W3200435086 hasConceptScore W3200435086C87912763 @default.
- W3200435086 hasConceptScore W3200435086C95623464 @default.
- W3200435086 hasIssue "1" @default.
- W3200435086 hasLocation W32004350861 @default.
- W3200435086 hasOpenAccess W3200435086 @default.
- W3200435086 hasPrimaryLocation W32004350861 @default.
- W3200435086 hasRelatedWork W1661299522 @default.
- W3200435086 hasRelatedWork W1992947435 @default.
- W3200435086 hasRelatedWork W2023599241 @default.
- W3200435086 hasRelatedWork W2071986666 @default.
- W3200435086 hasRelatedWork W2085626498 @default.
- W3200435086 hasRelatedWork W2119216178 @default.
- W3200435086 hasRelatedWork W2805215803 @default.
- W3200435086 hasRelatedWork W3118642821 @default.
- W3200435086 hasRelatedWork W4240378107 @default.
- W3200435086 hasRelatedWork W4254551825 @default.
- W3200435086 hasVolume "31" @default.
- W3200435086 isParatext "false" @default.
- W3200435086 isRetracted "false" @default.
- W3200435086 magId "3200435086" @default.
- W3200435086 workType "article" @default.