Matches in SemOpenAlex for { <https://semopenalex.org/work/W3046880377> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W3046880377 abstract "Symbolic controller synthesis is a fully-automated and correct-by-design synthesis scheme whose limitations are its immense memory and runtime requirements. A current trend to compensate for this downside is to develop techniques for parallel execution of the scheme both in mathematical foundation and in software implementation. In this paper we present a generalized Bellman-Ford algorithm to be used in the so-called symbolic optimal control, which is an extension of the aforementioned synthesis scheme. Compared to the widely used Dijkstra algorithm our algorithm has two advantages. It allows for cost functions taking arbitrary (e.g. negative) values and for parallel execution with the ability for trading processing speed for memory consumption. We motivate the usefulness of negative cost values on a scenario of aerial firefighting with unmanned aerial vehicles. In addition, this four-dimensional numerical example, which is rich in detail, demonstrates the great performance of our algorithm." @default.
- W3046880377 created "2020-08-07" @default.
- W3046880377 creator A5025708846 @default.
- W3046880377 creator A5030446310 @default.
- W3046880377 creator A5068993444 @default.
- W3046880377 date "2020-05-01" @default.
- W3046880377 modified "2023-09-23" @default.
- W3046880377 title "A generalized Bellman-Ford Algorithm for Application in Symbolic Optimal Control" @default.
- W3046880377 doi "https://doi.org/10.23919/ecc51009.2020.9143743" @default.
- W3046880377 hasPublicationYear "2020" @default.
- W3046880377 type Work @default.
- W3046880377 sameAs 3046880377 @default.
- W3046880377 citedByCount "6" @default.
- W3046880377 countsByYear W30468803772020 @default.
- W3046880377 countsByYear W30468803772021 @default.
- W3046880377 countsByYear W30468803772022 @default.
- W3046880377 countsByYear W30468803772023 @default.
- W3046880377 crossrefType "proceedings-article" @default.
- W3046880377 hasAuthorship W3046880377A5025708846 @default.
- W3046880377 hasAuthorship W3046880377A5030446310 @default.
- W3046880377 hasAuthorship W3046880377A5068993444 @default.
- W3046880377 hasBestOaLocation W30468803772 @default.
- W3046880377 hasConcept C11413529 @default.
- W3046880377 hasConcept C132525143 @default.
- W3046880377 hasConcept C134306372 @default.
- W3046880377 hasConcept C173608175 @default.
- W3046880377 hasConcept C173870130 @default.
- W3046880377 hasConcept C199360897 @default.
- W3046880377 hasConcept C203479927 @default.
- W3046880377 hasConcept C22590252 @default.
- W3046880377 hasConcept C2777904410 @default.
- W3046880377 hasConcept C2779639559 @default.
- W3046880377 hasConcept C33923547 @default.
- W3046880377 hasConcept C37404715 @default.
- W3046880377 hasConcept C41008148 @default.
- W3046880377 hasConcept C6557445 @default.
- W3046880377 hasConcept C77618280 @default.
- W3046880377 hasConcept C80444323 @default.
- W3046880377 hasConcept C86803240 @default.
- W3046880377 hasConceptScore W3046880377C11413529 @default.
- W3046880377 hasConceptScore W3046880377C132525143 @default.
- W3046880377 hasConceptScore W3046880377C134306372 @default.
- W3046880377 hasConceptScore W3046880377C173608175 @default.
- W3046880377 hasConceptScore W3046880377C173870130 @default.
- W3046880377 hasConceptScore W3046880377C199360897 @default.
- W3046880377 hasConceptScore W3046880377C203479927 @default.
- W3046880377 hasConceptScore W3046880377C22590252 @default.
- W3046880377 hasConceptScore W3046880377C2777904410 @default.
- W3046880377 hasConceptScore W3046880377C2779639559 @default.
- W3046880377 hasConceptScore W3046880377C33923547 @default.
- W3046880377 hasConceptScore W3046880377C37404715 @default.
- W3046880377 hasConceptScore W3046880377C41008148 @default.
- W3046880377 hasConceptScore W3046880377C6557445 @default.
- W3046880377 hasConceptScore W3046880377C77618280 @default.
- W3046880377 hasConceptScore W3046880377C80444323 @default.
- W3046880377 hasConceptScore W3046880377C86803240 @default.
- W3046880377 hasLocation W30468803771 @default.
- W3046880377 hasLocation W30468803772 @default.
- W3046880377 hasOpenAccess W3046880377 @default.
- W3046880377 hasPrimaryLocation W30468803771 @default.
- W3046880377 hasRelatedWork W1509211761 @default.
- W3046880377 hasRelatedWork W1558545464 @default.
- W3046880377 hasRelatedWork W19720440 @default.
- W3046880377 hasRelatedWork W1984303163 @default.
- W3046880377 hasRelatedWork W2074301136 @default.
- W3046880377 hasRelatedWork W2117014006 @default.
- W3046880377 hasRelatedWork W2372170743 @default.
- W3046880377 hasRelatedWork W2962746916 @default.
- W3046880377 hasRelatedWork W4233815414 @default.
- W3046880377 hasRelatedWork W2256669557 @default.
- W3046880377 isParatext "false" @default.
- W3046880377 isRetracted "false" @default.
- W3046880377 magId "3046880377" @default.
- W3046880377 workType "article" @default.