FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2955873818> ?p ?o ?g. }

• W2955873818 endingPage "133" @default.
• W2955873818 startingPage "113" @default.
• W2955873818 abstract "We present a method for synthesising control strategies for continuous dynamical systems. We use Uppaal Tiga for the synthesis in combination with a set-based Euler method for guaranteeing that the synthesis is safe. We present both a general method and a method which provides tighter bounds for monotone systems. As a case-study, we synthesize a guaranteed safe strategy for a simplified adaptive cruise control application. We show that the guaranteed strategy is only slightly more conservative than the strategy generated in the original adaptive cruise control paper which uses a discrete non guaranteed strategy. Also, we show how reinforcement learning may be used to obtain optimal sub-strategies." @default.
• W2955873818 created "2019-07-12" @default.
• W2955873818 creator A5005712593 @default.
• W2955873818 creator A5057539324 @default.
• W2955873818 creator A5069362159 @default.
• W2955873818 creator A5089879999 @default.
• W2955873818 date "2019-01-01" @default.
• W2955873818 modified "2023-10-06" @default.
• W2955873818 title "Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga" @default.
• W2955873818 cites W1482491673 @default.
• W2955873818 cites W1599995366 @default.
• W2955873818 cites W1605999029 @default.
• W2955873818 cites W1883328791 @default.
• W2955873818 cites W1971727916 @default.
• W2955873818 cites W2014679130 @default.
• W2955873818 cites W2048389107 @default.
• W2955873818 cites W2062974796 @default.
• W2955873818 cites W2147741970 @default.
• W2955873818 cites W2165748475 @default.
• W2955873818 cites W2269854487 @default.
• W2955873818 cites W2337661843 @default.
• W2955873818 cites W2340142654 @default.
• W2955873818 cites W2442701636 @default.
• W2955873818 cites W2464343175 @default.
• W2955873818 cites W2481150835 @default.
• W2955873818 cites W2494935782 @default.
• W2955873818 cites W2604974765 @default.
• W2955873818 cites W2616890610 @default.
• W2955873818 cites W2789981122 @default.
• W2955873818 cites W2790786575 @default.
• W2955873818 cites W2795814497 @default.
• W2955873818 cites W2889382973 @default.
• W2955873818 cites W2890249535 @default.
• W2955873818 cites W2912198824 @default.
• W2955873818 cites W2962709723 @default.
• W2955873818 cites W88515723 @default.
• W2955873818 doi "https://doi.org/10.1007/978-3-030-23703-5_6" @default.
• W2955873818 hasPublicationYear "2019" @default.
• W2955873818 type Work @default.
• W2955873818 sameAs 2955873818 @default.
• W2955873818 citedByCount "3" @default.
• W2955873818 countsByYear W29558738182019 @default.
• W2955873818 countsByYear W29558738182023 @default.
• W2955873818 crossrefType "book-chapter" @default.
• W2955873818 hasAuthorship W2955873818A5005712593 @default.
• W2955873818 hasAuthorship W2955873818A5057539324 @default.
• W2955873818 hasAuthorship W2955873818A5069362159 @default.
• W2955873818 hasAuthorship W2955873818A5089879999 @default.
• W2955873818 hasBestOaLocation W29558738182 @default.
• W2955873818 hasConcept C113168747 @default.
• W2955873818 hasConcept C126255220 @default.
• W2955873818 hasConcept C127413603 @default.
• W2955873818 hasConcept C146978453 @default.
• W2955873818 hasConcept C154945302 @default.
• W2955873818 hasConcept C177264268 @default.
• W2955873818 hasConcept C199360897 @default.
• W2955873818 hasConcept C2524010 @default.
• W2955873818 hasConcept C2775924081 @default.
• W2955873818 hasConcept C2778821358 @default.
• W2955873818 hasConcept C2834757 @default.
• W2955873818 hasConcept C33923547 @default.
• W2955873818 hasConcept C41008148 @default.
• W2955873818 hasConcept C47446073 @default.
• W2955873818 hasConcept C97541855 @default.
• W2955873818 hasConceptScore W2955873818C113168747 @default.
• W2955873818 hasConceptScore W2955873818C126255220 @default.
• W2955873818 hasConceptScore W2955873818C127413603 @default.
• W2955873818 hasConceptScore W2955873818C146978453 @default.
• W2955873818 hasConceptScore W2955873818C154945302 @default.
• W2955873818 hasConceptScore W2955873818C177264268 @default.
• W2955873818 hasConceptScore W2955873818C199360897 @default.
• W2955873818 hasConceptScore W2955873818C2524010 @default.
• W2955873818 hasConceptScore W2955873818C2775924081 @default.
• W2955873818 hasConceptScore W2955873818C2778821358 @default.
• W2955873818 hasConceptScore W2955873818C2834757 @default.
• W2955873818 hasConceptScore W2955873818C33923547 @default.
• W2955873818 hasConceptScore W2955873818C41008148 @default.
• W2955873818 hasConceptScore W2955873818C47446073 @default.
• W2955873818 hasConceptScore W2955873818C97541855 @default.
• W2955873818 hasLocation W29558738181 @default.
• W2955873818 hasLocation W29558738182 @default.
• W2955873818 hasLocation W29558738183 @default.
• W2955873818 hasLocation W29558738184 @default.
• W2955873818 hasOpenAccess W2955873818 @default.
• W2955873818 hasPrimaryLocation W29558738181 @default.
• W2955873818 hasRelatedWork W1532120924 @default.
• W2955873818 hasRelatedWork W1607043069 @default.
• W2955873818 hasRelatedWork W2365949572 @default.
• W2955873818 hasRelatedWork W2378824822 @default.
• W2955873818 hasRelatedWork W2392116679 @default.
• W2955873818 hasRelatedWork W2684794767 @default.
• W2955873818 hasRelatedWork W2907067581 @default.
• W2955873818 hasRelatedWork W3074294383 @default.
• W2955873818 hasRelatedWork W3123454098 @default.
• W2955873818 hasRelatedWork W571859658 @default.
• W2955873818 isParatext "false" @default.
• W2955873818 isRetracted "false" @default.
• W2955873818 magId "2955873818" @default.

• next