FRINK Linked Data Fragments server

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

• W2786019393 abstract "One way to analyze Cyber-Physical Systems is by modeling them as hybrid automata. Since reachability analysis for hybrid nonlinear automata is a very challenging and computationally expensive problem, in practice, engineers try to solve the requirements falsification problem. In one method, the falsification problem is solved by minimizing a robustness metric induced by the requirements. This optimization problem is usually a non-convex non-smooth problem that requires heuristic and analytical guidance to be solved. In this paper, functional gradient descent for hybrid systems is utilized for locally decreasing the robustness metric. The local descent method is combined with Simulated Annealing as a global optimization method to search for unsafe behaviors." @default.
• W2786019393 created "2018-02-23" @default.
• W2786019393 creator A5058732387 @default.
• W2786019393 creator A5064007769 @default.
• W2786019393 date "2018-02-13" @default.
• W2786019393 modified "2023-09-27" @default.
• W2786019393 title "Local Descent For Temporal Logic Falsification of Cyber-Physical Systems (Extended Technical Report)." @default.
• W2786019393 cites W1533557569 @default.
• W2786019393 cites W1538215585 @default.
• W2786019393 cites W1547304883 @default.
• W2786019393 cites W1627668763 @default.
• W2786019393 cites W2020904702 @default.
• W2786019393 cites W2026629052 @default.
• W2786019393 cites W2031397756 @default.
• W2786019393 cites W2038834149 @default.
• W2786019393 cites W2112248103 @default.
• W2786019393 cites W2122549537 @default.
• W2786019393 cites W2137662410 @default.
• W2786019393 cites W2153803621 @default.
• W2786019393 cites W2156958982 @default.
• W2786019393 cites W2187041056 @default.
• W2786019393 cites W2556282465 @default.
• W2786019393 cites W2575990928 @default.
• W2786019393 cites W2621540998 @default.
• W2786019393 cites W2913459036 @default.
• W2786019393 hasPublicationYear "2018" @default.
• W2786019393 type Work @default.
• W2786019393 sameAs 2786019393 @default.
• W2786019393 citedByCount "0" @default.
• W2786019393 crossrefType "posted-content" @default.
• W2786019393 hasAuthorship W2786019393A5058732387 @default.
• W2786019393 hasAuthorship W2786019393A5064007769 @default.
• W2786019393 hasConcept C104317684 @default.
• W2786019393 hasConcept C111919701 @default.
• W2786019393 hasConcept C112505250 @default.
• W2786019393 hasConcept C11413529 @default.
• W2786019393 hasConcept C121332964 @default.
• W2786019393 hasConcept C126255220 @default.
• W2786019393 hasConcept C126980161 @default.
• W2786019393 hasConcept C127413603 @default.
• W2786019393 hasConcept C136643341 @default.
• W2786019393 hasConcept C146978453 @default.
• W2786019393 hasConcept C153258448 @default.
• W2786019393 hasConcept C154945302 @default.
• W2786019393 hasConcept C158622935 @default.
• W2786019393 hasConcept C173801870 @default.
• W2786019393 hasConcept C179768478 @default.
• W2786019393 hasConcept C185592680 @default.
• W2786019393 hasConcept C2776637919 @default.
• W2786019393 hasConcept C33923547 @default.
• W2786019393 hasConcept C41008148 @default.
• W2786019393 hasConcept C50644808 @default.
• W2786019393 hasConcept C55493867 @default.
• W2786019393 hasConcept C62520636 @default.
• W2786019393 hasConcept C63479239 @default.
• W2786019393 hasConcept C80444323 @default.
• W2786019393 hasConceptScore W2786019393C104317684 @default.
• W2786019393 hasConceptScore W2786019393C111919701 @default.
• W2786019393 hasConceptScore W2786019393C112505250 @default.
• W2786019393 hasConceptScore W2786019393C11413529 @default.
• W2786019393 hasConceptScore W2786019393C121332964 @default.
• W2786019393 hasConceptScore W2786019393C126255220 @default.
• W2786019393 hasConceptScore W2786019393C126980161 @default.
• W2786019393 hasConceptScore W2786019393C127413603 @default.
• W2786019393 hasConceptScore W2786019393C136643341 @default.
• W2786019393 hasConceptScore W2786019393C146978453 @default.
• W2786019393 hasConceptScore W2786019393C153258448 @default.
• W2786019393 hasConceptScore W2786019393C154945302 @default.
• W2786019393 hasConceptScore W2786019393C158622935 @default.
• W2786019393 hasConceptScore W2786019393C173801870 @default.
• W2786019393 hasConceptScore W2786019393C179768478 @default.
• W2786019393 hasConceptScore W2786019393C185592680 @default.
• W2786019393 hasConceptScore W2786019393C2776637919 @default.
• W2786019393 hasConceptScore W2786019393C33923547 @default.
• W2786019393 hasConceptScore W2786019393C41008148 @default.
• W2786019393 hasConceptScore W2786019393C50644808 @default.
• W2786019393 hasConceptScore W2786019393C55493867 @default.
• W2786019393 hasConceptScore W2786019393C62520636 @default.
• W2786019393 hasConceptScore W2786019393C63479239 @default.
• W2786019393 hasConceptScore W2786019393C80444323 @default.
• W2786019393 hasLocation W27860193931 @default.
• W2786019393 hasOpenAccess W2786019393 @default.
• W2786019393 hasPrimaryLocation W27860193931 @default.
• W2786019393 hasRelatedWork W175963659 @default.
• W2786019393 hasRelatedWork W1963751895 @default.
• W2786019393 hasRelatedWork W1971930451 @default.
• W2786019393 hasRelatedWork W2060630837 @default.
• W2786019393 hasRelatedWork W2112610155 @default.
• W2786019393 hasRelatedWork W2145537262 @default.
• W2786019393 hasRelatedWork W2188470382 @default.
• W2786019393 hasRelatedWork W2733101156 @default.
• W2786019393 hasRelatedWork W2735488281 @default.
• W2786019393 hasRelatedWork W2769724398 @default.
• W2786019393 hasRelatedWork W2939020876 @default.
• W2786019393 hasRelatedWork W2949920955 @default.
• W2786019393 hasRelatedWork W2962796571 @default.
• W2786019393 hasRelatedWork W2970652714 @default.
• W2786019393 hasRelatedWork W3015493933 @default.
• W2786019393 hasRelatedWork W315623907 @default.
• W2786019393 hasRelatedWork W3204851156 @default.

• next