Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155596590> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2155596590 abstract "A new approach is presented for computing approximations of the reached sets of linear hybrid automata. First, we present some new theoretical results on termination of a class of reachability algorithms, which includes Botchkarev's, based on ellipsoidal calculus. The main contribution of the paper is a revised reachability computation that avoids the approximations caused by the union operation in the discretized flow tube estimation. Therefore, the new algorithm may classify as unreachable states that are reachable according to the previous algorithm because of the looser over-approximations introduced by the union operation. We implemented the new reachability algorithm and tested it successfully on a real-life case modeling a hybrid model of a controlled car engine." @default.
- W2155596590 created "2016-06-24" @default.
- W2155596590 creator A5042115100 @default.
- W2155596590 creator A5052391923 @default.
- W2155596590 creator A5076225221 @default.
- W2155596590 creator A5077164435 @default.
- W2155596590 creator A5084281460 @default.
- W2155596590 creator A5088660554 @default.
- W2155596590 date "2004-01-01" @default.
- W2155596590 modified "2023-10-06" @default.
- W2155596590 title "Improving reachability analysis of hybrid automata for engine control" @default.
- W2155596590 cites W1212796596 @default.
- W2155596590 cites W132366648 @default.
- W2155596590 cites W1489150842 @default.
- W2155596590 cites W1498285565 @default.
- W2155596590 cites W1499853177 @default.
- W2155596590 cites W1572741747 @default.
- W2155596590 cites W1726255445 @default.
- W2155596590 cites W1823037702 @default.
- W2155596590 cites W1995691455 @default.
- W2155596590 cites W2004463571 @default.
- W2155596590 cites W2063211654 @default.
- W2155596590 cites W2107164313 @default.
- W2155596590 cites W2138988438 @default.
- W2155596590 cites W2144456661 @default.
- W2155596590 cites W2162196264 @default.
- W2155596590 cites W2163590987 @default.
- W2155596590 cites W641468332 @default.
- W2155596590 doi "https://doi.org/10.1109/cdc.2004.1428739" @default.
- W2155596590 hasPublicationYear "2004" @default.
- W2155596590 type Work @default.
- W2155596590 sameAs 2155596590 @default.
- W2155596590 citedByCount "5" @default.
- W2155596590 countsByYear W21555965902013 @default.
- W2155596590 crossrefType "proceedings-article" @default.
- W2155596590 hasAuthorship W2155596590A5042115100 @default.
- W2155596590 hasAuthorship W2155596590A5052391923 @default.
- W2155596590 hasAuthorship W2155596590A5076225221 @default.
- W2155596590 hasAuthorship W2155596590A5077164435 @default.
- W2155596590 hasAuthorship W2155596590A5084281460 @default.
- W2155596590 hasAuthorship W2155596590A5088660554 @default.
- W2155596590 hasConcept C112505250 @default.
- W2155596590 hasConcept C11413529 @default.
- W2155596590 hasConcept C119857082 @default.
- W2155596590 hasConcept C134306372 @default.
- W2155596590 hasConcept C136643341 @default.
- W2155596590 hasConcept C154945302 @default.
- W2155596590 hasConcept C2776028153 @default.
- W2155596590 hasConcept C2777212361 @default.
- W2155596590 hasConcept C33923547 @default.
- W2155596590 hasConcept C41008148 @default.
- W2155596590 hasConcept C45374587 @default.
- W2155596590 hasConcept C50897621 @default.
- W2155596590 hasConcept C73000952 @default.
- W2155596590 hasConcept C80444323 @default.
- W2155596590 hasConceptScore W2155596590C112505250 @default.
- W2155596590 hasConceptScore W2155596590C11413529 @default.
- W2155596590 hasConceptScore W2155596590C119857082 @default.
- W2155596590 hasConceptScore W2155596590C134306372 @default.
- W2155596590 hasConceptScore W2155596590C136643341 @default.
- W2155596590 hasConceptScore W2155596590C154945302 @default.
- W2155596590 hasConceptScore W2155596590C2776028153 @default.
- W2155596590 hasConceptScore W2155596590C2777212361 @default.
- W2155596590 hasConceptScore W2155596590C33923547 @default.
- W2155596590 hasConceptScore W2155596590C41008148 @default.
- W2155596590 hasConceptScore W2155596590C45374587 @default.
- W2155596590 hasConceptScore W2155596590C50897621 @default.
- W2155596590 hasConceptScore W2155596590C73000952 @default.
- W2155596590 hasConceptScore W2155596590C80444323 @default.
- W2155596590 hasLocation W21555965901 @default.
- W2155596590 hasOpenAccess W2155596590 @default.
- W2155596590 hasPrimaryLocation W21555965901 @default.
- W2155596590 hasRelatedWork W1499482550 @default.
- W2155596590 hasRelatedWork W1518566078 @default.
- W2155596590 hasRelatedWork W1986759818 @default.
- W2155596590 hasRelatedWork W2034963384 @default.
- W2155596590 hasRelatedWork W2107012191 @default.
- W2155596590 hasRelatedWork W2110233039 @default.
- W2155596590 hasRelatedWork W2165214723 @default.
- W2155596590 hasRelatedWork W2932827394 @default.
- W2155596590 hasRelatedWork W2964131994 @default.
- W2155596590 hasRelatedWork W4285602996 @default.
- W2155596590 isParatext "false" @default.
- W2155596590 isRetracted "false" @default.
- W2155596590 magId "2155596590" @default.
- W2155596590 workType "article" @default.