Matches in SemOpenAlex for { <https://semopenalex.org/work/W2941720440> ?p ?o ?g. }
- W2941720440 abstract "We present a framework to synthesize control policies for nonlinear dynamical systems from complex temporal constraints specified in a rich temporal logic called Signal Temporal Logic (STL). We propose a novel smooth and differentiable STL quantitative semantics called cumulative robustness, and efficiently compute control policies through a series of smooth optimization problems that are solved using gradient ascent algorithms. Furthermore, we demonstrate how these techniques can be incorporated in a model predictive control framework in order to synthesize control policies over long time horizons. The advantages of combining the cumulative robustness function with smooth optimization methods as well as model predictive control are illustrated in case studies." @default.
- W2941720440 created "2019-05-03" @default.
- W2941720440 creator A5024915004 @default.
- W2941720440 creator A5050836932 @default.
- W2941720440 creator A5057959618 @default.
- W2941720440 creator A5086742095 @default.
- W2941720440 date "2019-04-25" @default.
- W2941720440 modified "2023-09-27" @default.
- W2941720440 title "Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics" @default.
- W2941720440 cites W1533557569 @default.
- W2941720440 cites W1547304883 @default.
- W2941720440 cites W189973795 @default.
- W2941720440 cites W1977985274 @default.
- W2941720440 cites W2023808162 @default.
- W2941720440 cites W2026629052 @default.
- W2941720440 cites W2061328016 @default.
- W2941720440 cites W2064572756 @default.
- W2941720440 cites W2092884371 @default.
- W2941720440 cites W2095274657 @default.
- W2941720440 cites W2095901198 @default.
- W2941720440 cites W2159523129 @default.
- W2941720440 cites W2161081924 @default.
- W2941720440 cites W2167185915 @default.
- W2941720440 cites W2167799541 @default.
- W2941720440 cites W2522468251 @default.
- W2941720440 cites W2621540998 @default.
- W2941720440 cites W2783624664 @default.
- W2941720440 cites W2794906167 @default.
- W2941720440 cites W2798766386 @default.
- W2941720440 cites W2963190533 @default.
- W2941720440 cites W2963199590 @default.
- W2941720440 cites W2963657380 @default.
- W2941720440 cites W3102923851 @default.
- W2941720440 hasPublicationYear "2019" @default.
- W2941720440 type Work @default.
- W2941720440 sameAs 2941720440 @default.
- W2941720440 citedByCount "1" @default.
- W2941720440 countsByYear W29417204402020 @default.
- W2941720440 crossrefType "posted-content" @default.
- W2941720440 hasAuthorship W2941720440A5024915004 @default.
- W2941720440 hasAuthorship W2941720440A5050836932 @default.
- W2941720440 hasAuthorship W2941720440A5057959618 @default.
- W2941720440 hasAuthorship W2941720440A5086742095 @default.
- W2941720440 hasConcept C104317684 @default.
- W2941720440 hasConcept C11413529 @default.
- W2941720440 hasConcept C121332964 @default.
- W2941720440 hasConcept C126255220 @default.
- W2941720440 hasConcept C134306372 @default.
- W2941720440 hasConcept C154945302 @default.
- W2941720440 hasConcept C158622935 @default.
- W2941720440 hasConcept C185592680 @default.
- W2941720440 hasConcept C202615002 @default.
- W2941720440 hasConcept C25016198 @default.
- W2941720440 hasConcept C2775924081 @default.
- W2941720440 hasConcept C33923547 @default.
- W2941720440 hasConcept C41008148 @default.
- W2941720440 hasConcept C47446073 @default.
- W2941720440 hasConcept C55493867 @default.
- W2941720440 hasConcept C62520636 @default.
- W2941720440 hasConcept C63479239 @default.
- W2941720440 hasConcept C80444323 @default.
- W2941720440 hasConceptScore W2941720440C104317684 @default.
- W2941720440 hasConceptScore W2941720440C11413529 @default.
- W2941720440 hasConceptScore W2941720440C121332964 @default.
- W2941720440 hasConceptScore W2941720440C126255220 @default.
- W2941720440 hasConceptScore W2941720440C134306372 @default.
- W2941720440 hasConceptScore W2941720440C154945302 @default.
- W2941720440 hasConceptScore W2941720440C158622935 @default.
- W2941720440 hasConceptScore W2941720440C185592680 @default.
- W2941720440 hasConceptScore W2941720440C202615002 @default.
- W2941720440 hasConceptScore W2941720440C25016198 @default.
- W2941720440 hasConceptScore W2941720440C2775924081 @default.
- W2941720440 hasConceptScore W2941720440C33923547 @default.
- W2941720440 hasConceptScore W2941720440C41008148 @default.
- W2941720440 hasConceptScore W2941720440C47446073 @default.
- W2941720440 hasConceptScore W2941720440C55493867 @default.
- W2941720440 hasConceptScore W2941720440C62520636 @default.
- W2941720440 hasConceptScore W2941720440C63479239 @default.
- W2941720440 hasConceptScore W2941720440C80444323 @default.
- W2941720440 hasLocation W29417204401 @default.
- W2941720440 hasOpenAccess W2941720440 @default.
- W2941720440 hasPrimaryLocation W29417204401 @default.
- W2941720440 hasRelatedWork W1134528556 @default.
- W2941720440 hasRelatedWork W1533557569 @default.
- W2941720440 hasRelatedWork W1821480058 @default.
- W2941720440 hasRelatedWork W2008064563 @default.
- W2941720440 hasRelatedWork W2100674251 @default.
- W2941720440 hasRelatedWork W2148962689 @default.
- W2941720440 hasRelatedWork W2470025776 @default.
- W2941720440 hasRelatedWork W2604275565 @default.
- W2941720440 hasRelatedWork W2921358724 @default.
- W2941720440 hasRelatedWork W2963205718 @default.
- W2941720440 hasRelatedWork W3010924044 @default.
- W2941720440 hasRelatedWork W3031140285 @default.
- W2941720440 hasRelatedWork W3044908040 @default.
- W2941720440 hasRelatedWork W3045535642 @default.
- W2941720440 hasRelatedWork W3088433265 @default.
- W2941720440 hasRelatedWork W3098895109 @default.
- W2941720440 hasRelatedWork W3103773816 @default.
- W2941720440 hasRelatedWork W3189164210 @default.