Matches in SemOpenAlex for { <https://semopenalex.org/work/W3088894938> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W3088894938 abstract "We propose a framework based on Recurrent Neural Networks (RNNs) to determine an optimal control strategy for a discrete-time system that is required to satisfy specifications given as Signal Temporal Logic (STL) formulae. RNNs can store information of a system over time, thus, enable us to determine satisfaction of the dynamic temporal requirements specified in STL formulae. Given a STL formula, a dataset of satisfying system executions and corresponding control policies, we can use RNNs to predict a control policy at each time based on the current and previous states of system. We use Control Barrier Functions (CBFs) to guarantee the safety of the predicted control policy. We validate our theoretical formulation and demonstrate its performance in an optimal control problem subject to partially unknown safety constraints through simulations." @default.
- W3088894938 created "2020-10-01" @default.
- W3088894938 creator A5026544444 @default.
- W3088894938 creator A5057959618 @default.
- W3088894938 creator A5086742095 @default.
- W3088894938 date "2020-09-23" @default.
- W3088894938 modified "2023-10-17" @default.
- W3088894938 title "Recurrent Neural Network Controllers for Signal Temporal Logic Specifications Subject to Safety Constraints" @default.
- W3088894938 cites W1483893502 @default.
- W3088894938 cites W1498432697 @default.
- W3088894938 cites W1533557569 @default.
- W3088894938 cites W1547304883 @default.
- W3088894938 cites W189973795 @default.
- W3088894938 cites W1935692274 @default.
- W3088894938 cites W1986014385 @default.
- W3088894938 cites W2064675550 @default.
- W3088894938 cites W2092884371 @default.
- W3088894938 cites W2524638160 @default.
- W3088894938 cites W2621540998 @default.
- W3088894938 cites W2735010720 @default.
- W3088894938 cites W2798766386 @default.
- W3088894938 cites W2899771611 @default.
- W3088894938 cites W2905277694 @default.
- W3088894938 cites W2968945909 @default.
- W3088894938 cites W2972486407 @default.
- W3088894938 cites W2979818850 @default.
- W3088894938 cites W2995074243 @default.
- W3088894938 cites W3001339198 @default.
- W3088894938 cites W3010924044 @default.
- W3088894938 cites W3034174753 @default.
- W3088894938 cites W3045969662 @default.
- W3088894938 cites W3103145119 @default.
- W3088894938 cites W3164776375 @default.
- W3088894938 doi "https://doi.org/10.48550/arxiv.2009.11468" @default.
- W3088894938 hasPublicationYear "2020" @default.
- W3088894938 type Work @default.
- W3088894938 sameAs 3088894938 @default.
- W3088894938 citedByCount "0" @default.
- W3088894938 crossrefType "posted-content" @default.
- W3088894938 hasAuthorship W3088894938A5026544444 @default.
- W3088894938 hasAuthorship W3088894938A5057959618 @default.
- W3088894938 hasAuthorship W3088894938A5086742095 @default.
- W3088894938 hasBestOaLocation W30888949381 @default.
- W3088894938 hasConcept C11413529 @default.
- W3088894938 hasConcept C119599485 @default.
- W3088894938 hasConcept C127413603 @default.
- W3088894938 hasConcept C147168706 @default.
- W3088894938 hasConcept C154945302 @default.
- W3088894938 hasConcept C17500928 @default.
- W3088894938 hasConcept C199360897 @default.
- W3088894938 hasConcept C25016198 @default.
- W3088894938 hasConcept C2775924081 @default.
- W3088894938 hasConcept C2776350369 @default.
- W3088894938 hasConcept C2779843651 @default.
- W3088894938 hasConcept C41008148 @default.
- W3088894938 hasConcept C47446073 @default.
- W3088894938 hasConcept C50644808 @default.
- W3088894938 hasConcept C80444323 @default.
- W3088894938 hasConceptScore W3088894938C11413529 @default.
- W3088894938 hasConceptScore W3088894938C119599485 @default.
- W3088894938 hasConceptScore W3088894938C127413603 @default.
- W3088894938 hasConceptScore W3088894938C147168706 @default.
- W3088894938 hasConceptScore W3088894938C154945302 @default.
- W3088894938 hasConceptScore W3088894938C17500928 @default.
- W3088894938 hasConceptScore W3088894938C199360897 @default.
- W3088894938 hasConceptScore W3088894938C25016198 @default.
- W3088894938 hasConceptScore W3088894938C2775924081 @default.
- W3088894938 hasConceptScore W3088894938C2776350369 @default.
- W3088894938 hasConceptScore W3088894938C2779843651 @default.
- W3088894938 hasConceptScore W3088894938C41008148 @default.
- W3088894938 hasConceptScore W3088894938C47446073 @default.
- W3088894938 hasConceptScore W3088894938C50644808 @default.
- W3088894938 hasConceptScore W3088894938C80444323 @default.
- W3088894938 hasLocation W30888949381 @default.
- W3088894938 hasOpenAccess W3088894938 @default.
- W3088894938 hasPrimaryLocation W30888949381 @default.
- W3088894938 hasRelatedWork W10047719 @default.
- W3088894938 hasRelatedWork W11706696 @default.
- W3088894938 hasRelatedWork W12783931 @default.
- W3088894938 hasRelatedWork W13460935 @default.
- W3088894938 hasRelatedWork W2070910 @default.
- W3088894938 hasRelatedWork W3011641 @default.
- W3088894938 hasRelatedWork W3289701 @default.
- W3088894938 hasRelatedWork W3531763 @default.
- W3088894938 hasRelatedWork W7660662 @default.
- W3088894938 hasRelatedWork W2305095 @default.
- W3088894938 isParatext "false" @default.
- W3088894938 isRetracted "false" @default.
- W3088894938 magId "3088894938" @default.
- W3088894938 workType "article" @default.