FRINK Linked Data Fragments server

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

• W4310175892 abstract "In this work, we investigate the reach-avoid problem of a class of time-varying analytic systems with disturbances described by uncertain parameters. Firstly, by proposing the concepts of maximal and minimal reachable sets, we connect the avoidability and reachability with maximal and minimal reachable sets respectively. Then, for a given disturbance parameter, we introduce the evolution function for exactly describing the reachable set, and find a series representation of this evolution function with its Lie derivatives, which can also be regarded as a series function w.r.t. the uncertain parameter. Afterward, based on the partial sums of this series, over- and under-approximations of evolution function are constructed, which can be realized by interval arithmetics with designated precision. Further, we propose sufficient conditions for avoidability and reachability and design a numerical quantifier elimination based algorithm to verify these conditions; moreover, we improve the algorithm with a time-splitting technique. Finally, we implement the algorithm and use some benchmarks with comparisons to show that our methodology is both efficient and promising." @default.
• W4310175892 created "2022-11-30" @default.
• W4310175892 creator A5017657722 @default.
• W4310175892 creator A5022816848 @default.
• W4310175892 creator A5080376968 @default.
• W4310175892 date "2022-10-13" @default.
• W4310175892 modified "2023-09-25" @default.
• W4310175892 title "Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances" @default.
• W4310175892 cites W1532859487 @default.
• W4310175892 cites W1574960890 @default.
• W4310175892 cites W1592601589 @default.
• W4310175892 cites W1726255445 @default.
• W4310175892 cites W1964345118 @default.
• W4310175892 cites W1973563598 @default.
• W4310175892 cites W1975236902 @default.
• W4310175892 cites W2012580470 @default.
• W4310175892 cites W2015863039 @default.
• W4310175892 cites W2070323046 @default.
• W4310175892 cites W2084859862 @default.
• W4310175892 cites W2085744412 @default.
• W4310175892 cites W2090501324 @default.
• W4310175892 cites W2092007705 @default.
• W4310175892 cites W2106816694 @default.
• W4310175892 cites W2109569369 @default.
• W4310175892 cites W2123357397 @default.
• W4310175892 cites W2141666765 @default.
• W4310175892 cites W2147936671 @default.
• W4310175892 cites W2158451642 @default.
• W4310175892 cites W2174998149 @default.
• W4310175892 cites W2483544051 @default.
• W4310175892 cites W2528933731 @default.
• W4310175892 cites W2606692557 @default.
• W4310175892 cites W2741978752 @default.
• W4310175892 cites W2771197443 @default.
• W4310175892 cites W2796007462 @default.
• W4310175892 cites W2884955533 @default.
• W4310175892 cites W2936781873 @default.
• W4310175892 cites W2963606896 @default.
• W4310175892 cites W2964040381 @default.
• W4310175892 cites W2964102294 @default.
• W4310175892 cites W3024507758 @default.
• W4310175892 cites W3031094646 @default.
• W4310175892 cites W3105818906 @default.
• W4310175892 cites W3107034996 @default.
• W4310175892 cites W4281918452 @default.
• W4310175892 doi "https://doi.org/10.1109/memocode57689.2022.9954600" @default.
• W4310175892 hasPublicationYear "2022" @default.
• W4310175892 type Work @default.
• W4310175892 citedByCount "0" @default.
• W4310175892 crossrefType "proceedings-article" @default.
• W4310175892 hasAuthorship W4310175892A5017657722 @default.
• W4310175892 hasAuthorship W4310175892A5022816848 @default.
• W4310175892 hasAuthorship W4310175892A5080376968 @default.
• W4310175892 hasConcept C11413529 @default.
• W4310175892 hasConcept C114614502 @default.
• W4310175892 hasConcept C118615104 @default.
• W4310175892 hasConcept C126255220 @default.
• W4310175892 hasConcept C134306372 @default.
• W4310175892 hasConcept C136643341 @default.
• W4310175892 hasConcept C14036430 @default.
• W4310175892 hasConcept C143724316 @default.
• W4310175892 hasConcept C151730666 @default.
• W4310175892 hasConcept C154945302 @default.
• W4310175892 hasConcept C177264268 @default.
• W4310175892 hasConcept C17744445 @default.
• W4310175892 hasConcept C191252586 @default.
• W4310175892 hasConcept C199360897 @default.
• W4310175892 hasConcept C199539241 @default.
• W4310175892 hasConcept C2776359362 @default.
• W4310175892 hasConcept C2777212361 @default.
• W4310175892 hasConcept C2778067643 @default.
• W4310175892 hasConcept C32278780 @default.
• W4310175892 hasConcept C33923547 @default.
• W4310175892 hasConcept C34388435 @default.
• W4310175892 hasConcept C41008148 @default.
• W4310175892 hasConcept C78458016 @default.
• W4310175892 hasConcept C86803240 @default.
• W4310175892 hasConcept C94625758 @default.
• W4310175892 hasConceptScore W4310175892C11413529 @default.
• W4310175892 hasConceptScore W4310175892C114614502 @default.
• W4310175892 hasConceptScore W4310175892C118615104 @default.
• W4310175892 hasConceptScore W4310175892C126255220 @default.
• W4310175892 hasConceptScore W4310175892C134306372 @default.
• W4310175892 hasConceptScore W4310175892C136643341 @default.
• W4310175892 hasConceptScore W4310175892C14036430 @default.
• W4310175892 hasConceptScore W4310175892C143724316 @default.
• W4310175892 hasConceptScore W4310175892C151730666 @default.
• W4310175892 hasConceptScore W4310175892C154945302 @default.
• W4310175892 hasConceptScore W4310175892C177264268 @default.
• W4310175892 hasConceptScore W4310175892C17744445 @default.
• W4310175892 hasConceptScore W4310175892C191252586 @default.
• W4310175892 hasConceptScore W4310175892C199360897 @default.
• W4310175892 hasConceptScore W4310175892C199539241 @default.
• W4310175892 hasConceptScore W4310175892C2776359362 @default.
• W4310175892 hasConceptScore W4310175892C2777212361 @default.
• W4310175892 hasConceptScore W4310175892C2778067643 @default.
• W4310175892 hasConceptScore W4310175892C32278780 @default.
• W4310175892 hasConceptScore W4310175892C33923547 @default.
• W4310175892 hasConceptScore W4310175892C34388435 @default.
• W4310175892 hasConceptScore W4310175892C41008148 @default.

• next