Matches in SemOpenAlex for { <https://semopenalex.org/work/W3091896685> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3091896685 endingPage "270" @default.
- W3091896685 startingPage "257" @default.
- W3091896685 abstract "Abstract In this paper we present a methodology to automatically generate an accurate behavioral model from an analog circuit description. The current machine learning method is limited to circuits with up to 80 transistors, limiting our approach to small and mid size circuit blocks due to a state explosion problem. However, if complex building blocks such as IOT systems should be modeled, the current approach needs to recoup with feasible simulation and modeling time. To come up with a solution for this problem, we extend the current method by a compositional approach. The approach is illustrated upon an example from the area of autonomous driving. Our method decomposes this large example into smaller building blocks and models each of them automatically. All models are combined into a compositional hybrid automaton of the whole complex system. Compared to the original state space, the building blocks operate on smaller and reduced state spaces and hence drastically reduce the complexity. Using a back-transformation on the compositional automaton, all values from the original state space can be reconstructed. Moreover, we perform a formal verification on the generated compositional automaton. Results from a meaningful example are presented and discussed." @default.
- W3091896685 created "2020-10-15" @default.
- W3091896685 creator A5024739565 @default.
- W3091896685 creator A5038049766 @default.
- W3091896685 date "2020-10-07" @default.
- W3091896685 modified "2023-09-26" @default.
- W3091896685 title "From transistor level to cyber physical/hybrid systems: Formal verification using automatic compositional abstraction" @default.
- W3091896685 cites W1987748258 @default.
- W3091896685 cites W2028924344 @default.
- W3091896685 cites W2032087966 @default.
- W3091896685 cites W2040266304 @default.
- W3091896685 cites W2116358561 @default.
- W3091896685 cites W2137328468 @default.
- W3091896685 cites W2945593694 @default.
- W3091896685 cites W2967793284 @default.
- W3091896685 cites W3013848658 @default.
- W3091896685 cites W4243538080 @default.
- W3091896685 cites W4246719277 @default.
- W3091896685 cites W4248748862 @default.
- W3091896685 cites W77078696 @default.
- W3091896685 doi "https://doi.org/10.1515/itit-2020-0004" @default.
- W3091896685 hasPublicationYear "2020" @default.
- W3091896685 type Work @default.
- W3091896685 sameAs 3091896685 @default.
- W3091896685 citedByCount "0" @default.
- W3091896685 crossrefType "journal-article" @default.
- W3091896685 hasAuthorship W3091896685A5024739565 @default.
- W3091896685 hasAuthorship W3091896685A5038049766 @default.
- W3091896685 hasConcept C104317684 @default.
- W3091896685 hasConcept C105795698 @default.
- W3091896685 hasConcept C110251889 @default.
- W3091896685 hasConcept C111472728 @default.
- W3091896685 hasConcept C111498074 @default.
- W3091896685 hasConcept C112505250 @default.
- W3091896685 hasConcept C113775141 @default.
- W3091896685 hasConcept C11413529 @default.
- W3091896685 hasConcept C124304363 @default.
- W3091896685 hasConcept C138885662 @default.
- W3091896685 hasConcept C167822520 @default.
- W3091896685 hasConcept C185592680 @default.
- W3091896685 hasConcept C204241405 @default.
- W3091896685 hasConcept C33923547 @default.
- W3091896685 hasConcept C41008148 @default.
- W3091896685 hasConcept C48103436 @default.
- W3091896685 hasConcept C55493867 @default.
- W3091896685 hasConcept C72434380 @default.
- W3091896685 hasConcept C80444323 @default.
- W3091896685 hasConceptScore W3091896685C104317684 @default.
- W3091896685 hasConceptScore W3091896685C105795698 @default.
- W3091896685 hasConceptScore W3091896685C110251889 @default.
- W3091896685 hasConceptScore W3091896685C111472728 @default.
- W3091896685 hasConceptScore W3091896685C111498074 @default.
- W3091896685 hasConceptScore W3091896685C112505250 @default.
- W3091896685 hasConceptScore W3091896685C113775141 @default.
- W3091896685 hasConceptScore W3091896685C11413529 @default.
- W3091896685 hasConceptScore W3091896685C124304363 @default.
- W3091896685 hasConceptScore W3091896685C138885662 @default.
- W3091896685 hasConceptScore W3091896685C167822520 @default.
- W3091896685 hasConceptScore W3091896685C185592680 @default.
- W3091896685 hasConceptScore W3091896685C204241405 @default.
- W3091896685 hasConceptScore W3091896685C33923547 @default.
- W3091896685 hasConceptScore W3091896685C41008148 @default.
- W3091896685 hasConceptScore W3091896685C48103436 @default.
- W3091896685 hasConceptScore W3091896685C55493867 @default.
- W3091896685 hasConceptScore W3091896685C72434380 @default.
- W3091896685 hasConceptScore W3091896685C80444323 @default.
- W3091896685 hasFunder F4320320879 @default.
- W3091896685 hasIssue "5-6" @default.
- W3091896685 hasLocation W30918966851 @default.
- W3091896685 hasOpenAccess W3091896685 @default.
- W3091896685 hasPrimaryLocation W30918966851 @default.
- W3091896685 hasRelatedWork W105732303 @default.
- W3091896685 hasRelatedWork W1571284404 @default.
- W3091896685 hasRelatedWork W1572578464 @default.
- W3091896685 hasRelatedWork W1801993675 @default.
- W3091896685 hasRelatedWork W2136312285 @default.
- W3091896685 hasRelatedWork W2165214723 @default.
- W3091896685 hasRelatedWork W2216182229 @default.
- W3091896685 hasRelatedWork W2293119804 @default.
- W3091896685 hasRelatedWork W41277334 @default.
- W3091896685 hasRelatedWork W2166112425 @default.
- W3091896685 hasVolume "62" @default.
- W3091896685 isParatext "false" @default.
- W3091896685 isRetracted "false" @default.
- W3091896685 magId "3091896685" @default.
- W3091896685 workType "article" @default.