Matches in SemOpenAlex for { <https://semopenalex.org/work/W3124757079> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W3124757079 endingPage "101" @default.
- W3124757079 startingPage "93" @default.
- W3124757079 abstract "Abstraction-based control synthesis is a three-step process to solve a control problem for continuous-state system (difference equation or differential equation), by first abstracting this system into a finite transition system, solving the control problem on the abstraction, and finally refining the obtained controller to apply it to the continuous system. This chapter first provides an overview of the three steps of abstraction-based approaches and on the key role played by reachability analysis in the first step to create the finite abstraction. This approach is then illustrated on a docking problem for a marine vessel corresponding to a reach-avoid specification (reach the docking area in finite time while avoiding obstacles). This example highlights how the forward reachability analysis methods presented in this book can be used within such abstraction-based approaches to solve backward reachability problems." @default.
- W3124757079 created "2021-02-01" @default.
- W3124757079 creator A5011308410 @default.
- W3124757079 creator A5025743742 @default.
- W3124757079 creator A5052787005 @default.
- W3124757079 date "2021-01-01" @default.
- W3124757079 modified "2023-10-06" @default.
- W3124757079 title "Abstraction-Based Control Synthesis" @default.
- W3124757079 cites W2004796166 @default.
- W3124757079 cites W2062946495 @default.
- W3124757079 cites W2065798383 @default.
- W3124757079 cites W2091932875 @default.
- W3124757079 cites W2116364955 @default.
- W3124757079 cites W2145970716 @default.
- W3124757079 cites W2164451522 @default.
- W3124757079 cites W2292449588 @default.
- W3124757079 cites W2292798165 @default.
- W3124757079 cites W2342916981 @default.
- W3124757079 cites W246120801 @default.
- W3124757079 cites W2487779201 @default.
- W3124757079 cites W2594675090 @default.
- W3124757079 cites W2595217965 @default.
- W3124757079 cites W2795585950 @default.
- W3124757079 cites W2963343932 @default.
- W3124757079 cites W2964046756 @default.
- W3124757079 cites W2990240808 @default.
- W3124757079 cites W3045276510 @default.
- W3124757079 cites W3104168345 @default.
- W3124757079 doi "https://doi.org/10.1007/978-3-030-65110-7_10" @default.
- W3124757079 hasPublicationYear "2021" @default.
- W3124757079 type Work @default.
- W3124757079 sameAs 3124757079 @default.
- W3124757079 citedByCount "2" @default.
- W3124757079 countsByYear W31247570792021 @default.
- W3124757079 crossrefType "book-chapter" @default.
- W3124757079 hasAuthorship W3124757079A5011308410 @default.
- W3124757079 hasAuthorship W3124757079A5025743742 @default.
- W3124757079 hasAuthorship W3124757079A5052787005 @default.
- W3124757079 hasConcept C111472728 @default.
- W3124757079 hasConcept C124304363 @default.
- W3124757079 hasConcept C138885662 @default.
- W3124757079 hasConcept C154945302 @default.
- W3124757079 hasConcept C199360897 @default.
- W3124757079 hasConcept C2775924081 @default.
- W3124757079 hasConcept C41008148 @default.
- W3124757079 hasConceptScore W3124757079C111472728 @default.
- W3124757079 hasConceptScore W3124757079C124304363 @default.
- W3124757079 hasConceptScore W3124757079C138885662 @default.
- W3124757079 hasConceptScore W3124757079C154945302 @default.
- W3124757079 hasConceptScore W3124757079C199360897 @default.
- W3124757079 hasConceptScore W3124757079C2775924081 @default.
- W3124757079 hasConceptScore W3124757079C41008148 @default.
- W3124757079 hasLocation W31247570791 @default.
- W3124757079 hasOpenAccess W3124757079 @default.
- W3124757079 hasPrimaryLocation W31247570791 @default.
- W3124757079 hasRelatedWork W137976737 @default.
- W3124757079 hasRelatedWork W1504651774 @default.
- W3124757079 hasRelatedWork W1565263828 @default.
- W3124757079 hasRelatedWork W1999473061 @default.
- W3124757079 hasRelatedWork W2052803392 @default.
- W3124757079 hasRelatedWork W2068700777 @default.
- W3124757079 hasRelatedWork W2135396778 @default.
- W3124757079 hasRelatedWork W3160136729 @default.
- W3124757079 hasRelatedWork W4243252198 @default.
- W3124757079 hasRelatedWork W2611182424 @default.
- W3124757079 isParatext "false" @default.
- W3124757079 isRetracted "false" @default.
- W3124757079 magId "3124757079" @default.
- W3124757079 workType "book-chapter" @default.