Matches in SemOpenAlex for { <https://semopenalex.org/work/W2594109234> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2594109234 abstract "In this chapter, we focus on synthesis of an optimal control strategy for a PWA system constrained to satisfy a temporal logic specification. The specification is a formula of syntactically co-safe Linear Temporal Logic (scLTL). The cost is a quadratic function that penalizes the distance from desired state and control trajectories, which are called reference trajectories. To incorporate dynamic environments, we assume that the reference trajectories are only available over a finite horizon. The goal is to find a control strategy such that the trajectory of the closed-loop system originating from a given initial state satisfies the formula and minimizes the cost. We treat the temporal logic specifications as constraints in an optimal control problem and propose a model predictive control (MPC) solution, as the natural approach for such constrained problems." @default.
- W2594109234 created "2017-03-16" @default.
- W2594109234 creator A5029149821 @default.
- W2594109234 creator A5078251798 @default.
- W2594109234 creator A5086742095 @default.
- W2594109234 date "2017-01-01" @default.
- W2594109234 modified "2023-09-27" @default.
- W2594109234 title "Optimal Temporal Logic Control" @default.
- W2594109234 doi "https://doi.org/10.1007/978-3-319-50763-7_12" @default.
- W2594109234 hasPublicationYear "2017" @default.
- W2594109234 type Work @default.
- W2594109234 sameAs 2594109234 @default.
- W2594109234 citedByCount "0" @default.
- W2594109234 crossrefType "book-chapter" @default.
- W2594109234 hasAuthorship W2594109234A5029149821 @default.
- W2594109234 hasAuthorship W2594109234A5078251798 @default.
- W2594109234 hasAuthorship W2594109234A5086742095 @default.
- W2594109234 hasConcept C11413529 @default.
- W2594109234 hasConcept C120665830 @default.
- W2594109234 hasConcept C121332964 @default.
- W2594109234 hasConcept C126255220 @default.
- W2594109234 hasConcept C1276947 @default.
- W2594109234 hasConcept C13662910 @default.
- W2594109234 hasConcept C154945302 @default.
- W2594109234 hasConcept C172205157 @default.
- W2594109234 hasConcept C192209626 @default.
- W2594109234 hasConcept C25016198 @default.
- W2594109234 hasConcept C2775924081 @default.
- W2594109234 hasConcept C33923547 @default.
- W2594109234 hasConcept C41008148 @default.
- W2594109234 hasConcept C47446073 @default.
- W2594109234 hasConcept C4777664 @default.
- W2594109234 hasConcept C48103436 @default.
- W2594109234 hasConcept C80444323 @default.
- W2594109234 hasConcept C91575142 @default.
- W2594109234 hasConceptScore W2594109234C11413529 @default.
- W2594109234 hasConceptScore W2594109234C120665830 @default.
- W2594109234 hasConceptScore W2594109234C121332964 @default.
- W2594109234 hasConceptScore W2594109234C126255220 @default.
- W2594109234 hasConceptScore W2594109234C1276947 @default.
- W2594109234 hasConceptScore W2594109234C13662910 @default.
- W2594109234 hasConceptScore W2594109234C154945302 @default.
- W2594109234 hasConceptScore W2594109234C172205157 @default.
- W2594109234 hasConceptScore W2594109234C192209626 @default.
- W2594109234 hasConceptScore W2594109234C25016198 @default.
- W2594109234 hasConceptScore W2594109234C2775924081 @default.
- W2594109234 hasConceptScore W2594109234C33923547 @default.
- W2594109234 hasConceptScore W2594109234C41008148 @default.
- W2594109234 hasConceptScore W2594109234C47446073 @default.
- W2594109234 hasConceptScore W2594109234C4777664 @default.
- W2594109234 hasConceptScore W2594109234C48103436 @default.
- W2594109234 hasConceptScore W2594109234C80444323 @default.
- W2594109234 hasConceptScore W2594109234C91575142 @default.
- W2594109234 hasLocation W25941092341 @default.
- W2594109234 hasOpenAccess W2594109234 @default.
- W2594109234 hasPrimaryLocation W25941092341 @default.
- W2594109234 hasRelatedWork W2029171219 @default.
- W2594109234 hasRelatedWork W2036664528 @default.
- W2594109234 hasRelatedWork W2045725106 @default.
- W2594109234 hasRelatedWork W2059061259 @default.
- W2594109234 hasRelatedWork W2088177629 @default.
- W2594109234 hasRelatedWork W2119176189 @default.
- W2594109234 hasRelatedWork W2151896566 @default.
- W2594109234 hasRelatedWork W2288359064 @default.
- W2594109234 hasRelatedWork W2538193043 @default.
- W2594109234 hasRelatedWork W2586718483 @default.
- W2594109234 hasRelatedWork W2586837459 @default.
- W2594109234 hasRelatedWork W2613141721 @default.
- W2594109234 hasRelatedWork W2752215370 @default.
- W2594109234 hasRelatedWork W2783877230 @default.
- W2594109234 hasRelatedWork W2952088374 @default.
- W2594109234 hasRelatedWork W2953473163 @default.
- W2594109234 hasRelatedWork W2977603793 @default.
- W2594109234 hasRelatedWork W3143413497 @default.
- W2594109234 hasRelatedWork W3152619502 @default.
- W2594109234 hasRelatedWork W47305459 @default.
- W2594109234 isParatext "false" @default.
- W2594109234 isRetracted "false" @default.
- W2594109234 magId "2594109234" @default.
- W2594109234 workType "book-chapter" @default.