FRINK Linked Data Fragments server

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

• W2001129306 endingPage "748" @default.
• W2001129306 startingPage "731" @default.
• W2001129306 abstract "This paper considers an optimal control problem for linear hybrid automata (LHA). First, we present a controller synthesis algorithm based on reachability analysis. The algorithm computes the maximal initial set from which the controller drives the system to a given target set. It is shown that, using quantifier elimination (QE), an under-approximation of the maximal reachable set can be derived. Next, a weighted time-optimal control problem is solved by transforming it into a constrained optimization problem whose constraints are a set of inequalities with quantifiers. Quantifier elimination (QE) techniques are employed in order to derive the quantifier free inequalities that are shown to be linear. Thus, the optimal cost is obtained using linear programming. For any state belonging to the maximal initial set the optimal switching times and the optimal continuous control inputs are computed. These are used in order to derive a hybrid controller which is optimal with respect to the cost function. Our results are applied to an air traffic management example which is of practical interest." @default.
• W2001129306 created "2016-06-24" @default.
• W2001129306 creator A5002259411 @default.
• W2001129306 creator A5003416105 @default.
• W2001129306 creator A5082968868 @default.
• W2001129306 date "2007-05-01" @default.
• W2001129306 modified "2023-10-16" @default.
• W2001129306 title "Reachability and optimal control for linear hybrid automata: a quantifier elimination approach" @default.
• W2001129306 cites W1487651112 @default.
• W2001129306 cites W1533488355 @default.
• W2001129306 cites W1542216742 @default.
• W2001129306 cites W1573865009 @default.
• W2001129306 cites W1577872286 @default.
• W2001129306 cites W1589082502 @default.
• W2001129306 cites W1978334766 @default.
• W2001129306 cites W1986264093 @default.
• W2001129306 cites W1988990518 @default.
• W2001129306 cites W1994475353 @default.
• W2001129306 cites W2004463571 @default.
• W2001129306 cites W2007074311 @default.
• W2001129306 cites W2016373407 @default.
• W2001129306 cites W2029259644 @default.
• W2001129306 cites W2051955897 @default.
• W2001129306 cites W2056219099 @default.
• W2001129306 cites W2060095702 @default.
• W2001129306 cites W2099336293 @default.
• W2001129306 cites W2117218135 @default.
• W2001129306 cites W2124778357 @default.
• W2001129306 cites W2125281005 @default.
• W2001129306 cites W2129965357 @default.
• W2001129306 cites W2152185829 @default.
• W2001129306 cites W2165489953 @default.
• W2001129306 cites W4298290503 @default.
• W2001129306 doi "https://doi.org/10.1080/00207170601143482" @default.
• W2001129306 hasPublicationYear "2007" @default.
• W2001129306 type Work @default.
• W2001129306 sameAs 2001129306 @default.
• W2001129306 citedByCount "3" @default.
• W2001129306 countsByYear W20011293062016 @default.
• W2001129306 crossrefType "journal-article" @default.
• W2001129306 hasAuthorship W2001129306A5002259411 @default.
• W2001129306 hasAuthorship W2001129306A5003416105 @default.
• W2001129306 hasAuthorship W2001129306A5082968868 @default.
• W2001129306 hasConcept C112505250 @default.
• W2001129306 hasConcept C11413529 @default.
• W2001129306 hasConcept C118615104 @default.
• W2001129306 hasConcept C119857082 @default.
• W2001129306 hasConcept C126255220 @default.
• W2001129306 hasConcept C134306372 @default.
• W2001129306 hasConcept C136643341 @default.
• W2001129306 hasConcept C154945302 @default.
• W2001129306 hasConcept C177264268 @default.
• W2001129306 hasConcept C199360897 @default.
• W2001129306 hasConcept C203479927 @default.
• W2001129306 hasConcept C2775924081 @default.
• W2001129306 hasConcept C2776028153 @default.
• W2001129306 hasConcept C2778523021 @default.
• W2001129306 hasConcept C32278780 @default.
• W2001129306 hasConcept C33923547 @default.
• W2001129306 hasConcept C41008148 @default.
• W2001129306 hasConcept C41045048 @default.
• W2001129306 hasConcept C45555294 @default.
• W2001129306 hasConcept C47446073 @default.
• W2001129306 hasConcept C48103436 @default.
• W2001129306 hasConcept C50897621 @default.
• W2001129306 hasConcept C6557445 @default.
• W2001129306 hasConcept C80444323 @default.
• W2001129306 hasConcept C84135550 @default.
• W2001129306 hasConcept C86803240 @default.
• W2001129306 hasConcept C91575142 @default.
• W2001129306 hasConceptScore W2001129306C112505250 @default.
• W2001129306 hasConceptScore W2001129306C11413529 @default.
• W2001129306 hasConceptScore W2001129306C118615104 @default.
• W2001129306 hasConceptScore W2001129306C119857082 @default.
• W2001129306 hasConceptScore W2001129306C126255220 @default.
• W2001129306 hasConceptScore W2001129306C134306372 @default.
• W2001129306 hasConceptScore W2001129306C136643341 @default.
• W2001129306 hasConceptScore W2001129306C154945302 @default.
• W2001129306 hasConceptScore W2001129306C177264268 @default.
• W2001129306 hasConceptScore W2001129306C199360897 @default.
• W2001129306 hasConceptScore W2001129306C203479927 @default.
• W2001129306 hasConceptScore W2001129306C2775924081 @default.
• W2001129306 hasConceptScore W2001129306C2776028153 @default.
• W2001129306 hasConceptScore W2001129306C2778523021 @default.
• W2001129306 hasConceptScore W2001129306C32278780 @default.
• W2001129306 hasConceptScore W2001129306C33923547 @default.
• W2001129306 hasConceptScore W2001129306C41008148 @default.
• W2001129306 hasConceptScore W2001129306C41045048 @default.
• W2001129306 hasConceptScore W2001129306C45555294 @default.
• W2001129306 hasConceptScore W2001129306C47446073 @default.
• W2001129306 hasConceptScore W2001129306C48103436 @default.
• W2001129306 hasConceptScore W2001129306C50897621 @default.
• W2001129306 hasConceptScore W2001129306C6557445 @default.
• W2001129306 hasConceptScore W2001129306C80444323 @default.
• W2001129306 hasConceptScore W2001129306C84135550 @default.
• W2001129306 hasConceptScore W2001129306C86803240 @default.
• W2001129306 hasConceptScore W2001129306C91575142 @default.
• W2001129306 hasIssue "5" @default.

• next