Matches in SemOpenAlex for { <https://semopenalex.org/work/W3200451362> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W3200451362 abstract "Abstract The synthesis problem of a cyber-physical system (CPS) is to find an input signal under which the system’s behavior satisfies a given specification. Our setting is that the specification is a formula of signal temporal logic, and furthermore, that the specification is a conjunction of different and often conflicting requirements. Conjunctive synthesis is often challenging for optimization-based falsification—an established method for CPS analysis that can also be used for synthesis—since the usual framework (especially how its robust semantics handles Boolean connectives) is not suited for finding delicate trade-offs between different requirements. Our proposed method consists of a combination of optimization-based falsification and constrained optimization. Specifically, we show that the state-of-the-art multiple constraint ranking method can be combined with falsification powered by CMA-ES optimization; its performance advantage for conjunctive synthesis is demonstrated in experiments." @default.
- W3200451362 created "2021-09-27" @default.
- W3200451362 creator A5013382452 @default.
- W3200451362 creator A5039539654 @default.
- W3200451362 creator A5048799042 @default.
- W3200451362 date "2021-01-01" @default.
- W3200451362 modified "2023-09-23" @default.
- W3200451362 title "Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis" @default.
- W3200451362 cites W1506101803 @default.
- W3200451362 cites W1547304883 @default.
- W3200451362 cites W1998054348 @default.
- W3200451362 cites W2049399166 @default.
- W3200451362 cites W2068619069 @default.
- W3200451362 cites W2153803621 @default.
- W3200451362 cites W2605842252 @default.
- W3200451362 cites W2782623022 @default.
- W3200451362 cites W2954573208 @default.
- W3200451362 cites W2956449613 @default.
- W3200451362 doi "https://doi.org/10.1016/j.ifacol.2021.08.501" @default.
- W3200451362 hasPublicationYear "2021" @default.
- W3200451362 type Work @default.
- W3200451362 sameAs 3200451362 @default.
- W3200451362 citedByCount "1" @default.
- W3200451362 countsByYear W32004513622021 @default.
- W3200451362 crossrefType "journal-article" @default.
- W3200451362 hasAuthorship W3200451362A5013382452 @default.
- W3200451362 hasAuthorship W3200451362A5039539654 @default.
- W3200451362 hasAuthorship W3200451362A5048799042 @default.
- W3200451362 hasBestOaLocation W32004513621 @default.
- W3200451362 hasConcept C11413529 @default.
- W3200451362 hasConcept C126255220 @default.
- W3200451362 hasConcept C137836250 @default.
- W3200451362 hasConcept C16221470 @default.
- W3200451362 hasConcept C184337299 @default.
- W3200451362 hasConcept C199360897 @default.
- W3200451362 hasConcept C2524010 @default.
- W3200451362 hasConcept C2776036281 @default.
- W3200451362 hasConcept C33923547 @default.
- W3200451362 hasConcept C41008148 @default.
- W3200451362 hasConcept C80444323 @default.
- W3200451362 hasConceptScore W3200451362C11413529 @default.
- W3200451362 hasConceptScore W3200451362C126255220 @default.
- W3200451362 hasConceptScore W3200451362C137836250 @default.
- W3200451362 hasConceptScore W3200451362C16221470 @default.
- W3200451362 hasConceptScore W3200451362C184337299 @default.
- W3200451362 hasConceptScore W3200451362C199360897 @default.
- W3200451362 hasConceptScore W3200451362C2524010 @default.
- W3200451362 hasConceptScore W3200451362C2776036281 @default.
- W3200451362 hasConceptScore W3200451362C33923547 @default.
- W3200451362 hasConceptScore W3200451362C41008148 @default.
- W3200451362 hasConceptScore W3200451362C80444323 @default.
- W3200451362 hasLocation W32004513621 @default.
- W3200451362 hasLocation W32004513622 @default.
- W3200451362 hasOpenAccess W3200451362 @default.
- W3200451362 hasPrimaryLocation W32004513621 @default.
- W3200451362 hasRelatedWork W10671691 @default.
- W3200451362 hasRelatedWork W11708237 @default.
- W3200451362 hasRelatedWork W12413086 @default.
- W3200451362 hasRelatedWork W12857008 @default.
- W3200451362 hasRelatedWork W13834261 @default.
- W3200451362 hasRelatedWork W14296039 @default.
- W3200451362 hasRelatedWork W4726072 @default.
- W3200451362 hasRelatedWork W6162201 @default.
- W3200451362 hasRelatedWork W6262472 @default.
- W3200451362 hasRelatedWork W9864111 @default.
- W3200451362 isParatext "false" @default.
- W3200451362 isRetracted "false" @default.
- W3200451362 magId "3200451362" @default.
- W3200451362 workType "article" @default.