Matches in SemOpenAlex for { <https://semopenalex.org/work/W4376988697> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4376988697 abstract "Symbolic control problems aim to synthesize control policies for dynamical systems under complex temporal specifications. For such problems, Signal Temporal Logic (STL) is increasingly used as the formal specification language due to its rich expressiveness. Moreover, the degree of satisfaction of STL specifications can be evaluated using ``STL robust semantics'' as a scalar robustness measure. This capability of STL enables transforming a symbolic control problem into an optimization problem that optimizes the corresponding robustness measure. However, since these robustness measures are non-smooth and non-convex, exact solutions can only be computed using computationally inefficient mixed-integer programming techniques that do not scale well. Therefore, recent literature has focused on using smooth approximations of these robustness measures to apply scalable and computationally efficient gradient-based methods to find local optima solutions. In this paper, we first generalize two recently established smooth robustness measures (SRMs) and two new ones and discuss their strengths and weaknesses. Next, we propose ``STL error semantics'' to characterize the approximation errors associated with different SRMs under different parameter configurations. This allows one to sensibly select an SRM (to optimize) along with its parameter values. We then propose ``STL gradient semantics'' to derive explicit gradients of SRMs leading to improve computational efficiency as well as accuracy compared to when using numerically estimated gradients. Finally, these contributions are highlighted using extensive simulation results." @default.
- W4376988697 created "2023-05-18" @default.
- W4376988697 creator A5045445273 @default.
- W4376988697 creator A5074601746 @default.
- W4376988697 creator A5077171773 @default.
- W4376988697 date "2023-05-15" @default.
- W4376988697 modified "2023-09-29" @default.
- W4376988697 title "Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic" @default.
- W4376988697 doi "https://doi.org/10.48550/arxiv.2305.09116" @default.
- W4376988697 hasPublicationYear "2023" @default.
- W4376988697 type Work @default.
- W4376988697 citedByCount "0" @default.
- W4376988697 crossrefType "posted-content" @default.
- W4376988697 hasAuthorship W4376988697A5045445273 @default.
- W4376988697 hasAuthorship W4376988697A5074601746 @default.
- W4376988697 hasAuthorship W4376988697A5077171773 @default.
- W4376988697 hasBestOaLocation W43769886971 @default.
- W4376988697 hasConcept C104317684 @default.
- W4376988697 hasConcept C11413529 @default.
- W4376988697 hasConcept C126255220 @default.
- W4376988697 hasConcept C185592680 @default.
- W4376988697 hasConcept C33923547 @default.
- W4376988697 hasConcept C41008148 @default.
- W4376988697 hasConcept C48044578 @default.
- W4376988697 hasConcept C55493867 @default.
- W4376988697 hasConcept C63479239 @default.
- W4376988697 hasConcept C77088390 @default.
- W4376988697 hasConcept C80444323 @default.
- W4376988697 hasConceptScore W4376988697C104317684 @default.
- W4376988697 hasConceptScore W4376988697C11413529 @default.
- W4376988697 hasConceptScore W4376988697C126255220 @default.
- W4376988697 hasConceptScore W4376988697C185592680 @default.
- W4376988697 hasConceptScore W4376988697C33923547 @default.
- W4376988697 hasConceptScore W4376988697C41008148 @default.
- W4376988697 hasConceptScore W4376988697C48044578 @default.
- W4376988697 hasConceptScore W4376988697C55493867 @default.
- W4376988697 hasConceptScore W4376988697C63479239 @default.
- W4376988697 hasConceptScore W4376988697C77088390 @default.
- W4376988697 hasConceptScore W4376988697C80444323 @default.
- W4376988697 hasLocation W43769886971 @default.
- W4376988697 hasOpenAccess W4376988697 @default.
- W4376988697 hasPrimaryLocation W43769886971 @default.
- W4376988697 hasRelatedWork W1525643724 @default.
- W4376988697 hasRelatedWork W2067938758 @default.
- W4376988697 hasRelatedWork W2302028273 @default.
- W4376988697 hasRelatedWork W2333420780 @default.
- W4376988697 hasRelatedWork W2364921833 @default.
- W4376988697 hasRelatedWork W2375199418 @default.
- W4376988697 hasRelatedWork W2382623646 @default.
- W4376988697 hasRelatedWork W2388030554 @default.
- W4376988697 hasRelatedWork W2461970972 @default.
- W4376988697 hasRelatedWork W3087771547 @default.
- W4376988697 isParatext "false" @default.
- W4376988697 isRetracted "false" @default.
- W4376988697 workType "article" @default.