Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156869665> ?p ?o ?g. }
- W2156869665 abstract "A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game theoretic methods to compute the region of the state space for which there exists a control such that for all disturbances, an unsafe set is not reached. In general, the computation of the controllers requires the steady state solution of a Hamilton-Jacobi partial differential equation which is very difficult to compute, if it exists. We show that for special classes of hybrid systems where the continuous vector fields are linear, the controller synthesis problem is semidecidable: there exists a computational algorithm which, if it terminates in a finite number of steps, will exactly compute the least restrictive controller. This result is achieved by a very interesting interaction of results from mathematical logic and optimal control." @default.
- W2156869665 created "2016-06-24" @default.
- W2156869665 creator A5029243115 @default.
- W2156869665 creator A5039770495 @default.
- W2156869665 creator A5062722286 @default.
- W2156869665 date "2002-11-11" @default.
- W2156869665 modified "2023-09-23" @default.
- W2156869665 title "Semidecidable controller synthesis for classes of linear hybrid systems" @default.
- W2156869665 cites W1481109946 @default.
- W2156869665 cites W1489501223 @default.
- W2156869665 cites W1525967073 @default.
- W2156869665 cites W1533617471 @default.
- W2156869665 cites W1542216742 @default.
- W2156869665 cites W1553142094 @default.
- W2156869665 cites W1569051713 @default.
- W2156869665 cites W1587799944 @default.
- W2156869665 cites W1900127520 @default.
- W2156869665 cites W2055960145 @default.
- W2156869665 cites W2118477082 @default.
- W2156869665 cites W2130519480 @default.
- W2156869665 cites W2165489953 @default.
- W2156869665 cites W2319440520 @default.
- W2156869665 cites W2396107363 @default.
- W2156869665 cites W2726491672 @default.
- W2156869665 cites W3206777520 @default.
- W2156869665 cites W9012611 @default.
- W2156869665 doi "https://doi.org/10.1109/cdc.2000.912129" @default.
- W2156869665 hasPublicationYear "2002" @default.
- W2156869665 type Work @default.
- W2156869665 sameAs 2156869665 @default.
- W2156869665 citedByCount "8" @default.
- W2156869665 countsByYear W21568696652012 @default.
- W2156869665 countsByYear W21568696652019 @default.
- W2156869665 crossrefType "proceedings-article" @default.
- W2156869665 hasAuthorship W2156869665A5029243115 @default.
- W2156869665 hasAuthorship W2156869665A5039770495 @default.
- W2156869665 hasAuthorship W2156869665A5062722286 @default.
- W2156869665 hasBestOaLocation W21568696652 @default.
- W2156869665 hasConcept C105795698 @default.
- W2156869665 hasConcept C11413529 @default.
- W2156869665 hasConcept C118615104 @default.
- W2156869665 hasConcept C119857082 @default.
- W2156869665 hasConcept C126255220 @default.
- W2156869665 hasConcept C134306372 @default.
- W2156869665 hasConcept C136643341 @default.
- W2156869665 hasConcept C136979486 @default.
- W2156869665 hasConcept C154945302 @default.
- W2156869665 hasConcept C162392398 @default.
- W2156869665 hasConcept C177264268 @default.
- W2156869665 hasConcept C199360897 @default.
- W2156869665 hasConcept C203479927 @default.
- W2156869665 hasConcept C2775924081 @default.
- W2156869665 hasConcept C2777669093 @default.
- W2156869665 hasConcept C33923547 @default.
- W2156869665 hasConcept C41008148 @default.
- W2156869665 hasConcept C45374587 @default.
- W2156869665 hasConcept C47446073 @default.
- W2156869665 hasConcept C48103436 @default.
- W2156869665 hasConcept C50897621 @default.
- W2156869665 hasConcept C6557445 @default.
- W2156869665 hasConcept C6802819 @default.
- W2156869665 hasConcept C72434380 @default.
- W2156869665 hasConcept C86803240 @default.
- W2156869665 hasConcept C91575142 @default.
- W2156869665 hasConceptScore W2156869665C105795698 @default.
- W2156869665 hasConceptScore W2156869665C11413529 @default.
- W2156869665 hasConceptScore W2156869665C118615104 @default.
- W2156869665 hasConceptScore W2156869665C119857082 @default.
- W2156869665 hasConceptScore W2156869665C126255220 @default.
- W2156869665 hasConceptScore W2156869665C134306372 @default.
- W2156869665 hasConceptScore W2156869665C136643341 @default.
- W2156869665 hasConceptScore W2156869665C136979486 @default.
- W2156869665 hasConceptScore W2156869665C154945302 @default.
- W2156869665 hasConceptScore W2156869665C162392398 @default.
- W2156869665 hasConceptScore W2156869665C177264268 @default.
- W2156869665 hasConceptScore W2156869665C199360897 @default.
- W2156869665 hasConceptScore W2156869665C203479927 @default.
- W2156869665 hasConceptScore W2156869665C2775924081 @default.
- W2156869665 hasConceptScore W2156869665C2777669093 @default.
- W2156869665 hasConceptScore W2156869665C33923547 @default.
- W2156869665 hasConceptScore W2156869665C41008148 @default.
- W2156869665 hasConceptScore W2156869665C45374587 @default.
- W2156869665 hasConceptScore W2156869665C47446073 @default.
- W2156869665 hasConceptScore W2156869665C48103436 @default.
- W2156869665 hasConceptScore W2156869665C50897621 @default.
- W2156869665 hasConceptScore W2156869665C6557445 @default.
- W2156869665 hasConceptScore W2156869665C6802819 @default.
- W2156869665 hasConceptScore W2156869665C72434380 @default.
- W2156869665 hasConceptScore W2156869665C86803240 @default.
- W2156869665 hasConceptScore W2156869665C91575142 @default.
- W2156869665 hasLocation W21568696651 @default.
- W2156869665 hasLocation W21568696652 @default.
- W2156869665 hasOpenAccess W2156869665 @default.
- W2156869665 hasPrimaryLocation W21568696651 @default.
- W2156869665 hasRelatedWork W2064527724 @default.
- W2156869665 hasRelatedWork W2156777364 @default.
- W2156869665 hasRelatedWork W2324425147 @default.
- W2156869665 hasRelatedWork W2351856355 @default.
- W2156869665 hasRelatedWork W2354671052 @default.
- W2156869665 hasRelatedWork W2728541654 @default.