FRINK Linked Data Fragments server

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

• W1627923834 abstract "One of the most important problems in hybrid systems is the {em reachability problem}. The reachability problem has been shown to be undecidable even for a subclass of {em linear} hybrid systems. In view of this, the main focus in the area of hybrid systems has been to find {em effective} semi-decision procedures for this problem. Such an algorithmic approach involves finding methods of computation and representation of reach sets of the continuous variables within a discrete state of a hybrid system. In this paper, after presenting a brief introduction to hybrid systems and reachability problem, we propose a computational method for obtaining the reach sets of continuous variables in a hybrid system. In addition to this, we also describe a new algorithm to over-approximate with polyhedra the reach sets of the continuous variables with linear dynamics and polyhedral initial set. We illustrate these algorithms with typical interesting examples." @default.
• W1627923834 created "2016-06-24" @default.
• W1627923834 creator A5002224645 @default.
• W1627923834 creator A5090291789 @default.
• W1627923834 date "2002-02-07" @default.
• W1627923834 modified "2023-09-27" @default.
• W1627923834 title "Approximate Computation of Reach Sets in Hybrid Systems" @default.
• W1627923834 cites W1038888834 @default.
• W1627923834 cites W1498285565 @default.
• W1627923834 cites W1499853177 @default.
• W1627923834 cites W1507868192 @default.
• W1627923834 cites W1515514400 @default.
• W1627923834 cites W1525967073 @default.
• W1627923834 cites W1537854563 @default.
• W1627923834 cites W1553142094 @default.
• W1627923834 cites W1556189547 @default.
• W1627923834 cites W1586568018 @default.
• W1627923834 cites W1977106683 @default.
• W1627923834 cites W1979561589 @default.
• W1627923834 cites W2004463571 @default.
• W1627923834 cites W2020254113 @default.
• W1627923834 cites W2129965357 @default.
• W1627923834 cites W2144965436 @default.
• W1627923834 cites W2156869665 @default.
• W1627923834 cites W2165276844 @default.
• W1627923834 cites W71012416 @default.
• W1627923834 cites W9012611 @default.
• W1627923834 hasPublicationYear "2002" @default.
• W1627923834 type Work @default.
• W1627923834 sameAs 1627923834 @default.
• W1627923834 citedByCount "0" @default.
• W1627923834 crossrefType "posted-content" @default.
• W1627923834 hasAuthorship W1627923834A5002224645 @default.
• W1627923834 hasAuthorship W1627923834A5090291789 @default.
• W1627923834 hasConcept C11413529 @default.
• W1627923834 hasConcept C114614502 @default.
• W1627923834 hasConcept C119857082 @default.
• W1627923834 hasConcept C120665830 @default.
• W1627923834 hasConcept C121332964 @default.
• W1627923834 hasConcept C126255220 @default.
• W1627923834 hasConcept C136643341 @default.
• W1627923834 hasConcept C153269930 @default.
• W1627923834 hasConcept C177264268 @default.
• W1627923834 hasConcept C17744445 @default.
• W1627923834 hasConcept C192034797 @default.
• W1627923834 hasConcept C192209626 @default.
• W1627923834 hasConcept C199360897 @default.
• W1627923834 hasConcept C199539241 @default.
• W1627923834 hasConcept C2776028153 @default.
• W1627923834 hasConcept C2776359362 @default.
• W1627923834 hasConcept C2777669093 @default.
• W1627923834 hasConcept C33923547 @default.
• W1627923834 hasConcept C41008148 @default.
• W1627923834 hasConcept C45374587 @default.
• W1627923834 hasConcept C48103436 @default.
• W1627923834 hasConcept C50897621 @default.
• W1627923834 hasConcept C54829058 @default.
• W1627923834 hasConcept C80444323 @default.
• W1627923834 hasConcept C94625758 @default.
• W1627923834 hasConceptScore W1627923834C11413529 @default.
• W1627923834 hasConceptScore W1627923834C114614502 @default.
• W1627923834 hasConceptScore W1627923834C119857082 @default.
• W1627923834 hasConceptScore W1627923834C120665830 @default.
• W1627923834 hasConceptScore W1627923834C121332964 @default.
• W1627923834 hasConceptScore W1627923834C126255220 @default.
• W1627923834 hasConceptScore W1627923834C136643341 @default.
• W1627923834 hasConceptScore W1627923834C153269930 @default.
• W1627923834 hasConceptScore W1627923834C177264268 @default.
• W1627923834 hasConceptScore W1627923834C17744445 @default.
• W1627923834 hasConceptScore W1627923834C192034797 @default.
• W1627923834 hasConceptScore W1627923834C192209626 @default.
• W1627923834 hasConceptScore W1627923834C199360897 @default.
• W1627923834 hasConceptScore W1627923834C199539241 @default.
• W1627923834 hasConceptScore W1627923834C2776028153 @default.
• W1627923834 hasConceptScore W1627923834C2776359362 @default.
• W1627923834 hasConceptScore W1627923834C2777669093 @default.
• W1627923834 hasConceptScore W1627923834C33923547 @default.
• W1627923834 hasConceptScore W1627923834C41008148 @default.
• W1627923834 hasConceptScore W1627923834C45374587 @default.
• W1627923834 hasConceptScore W1627923834C48103436 @default.
• W1627923834 hasConceptScore W1627923834C50897621 @default.
• W1627923834 hasConceptScore W1627923834C54829058 @default.
• W1627923834 hasConceptScore W1627923834C80444323 @default.
• W1627923834 hasConceptScore W1627923834C94625758 @default.
• W1627923834 hasLocation W16279238341 @default.
• W1627923834 hasOpenAccess W1627923834 @default.
• W1627923834 hasPrimaryLocation W16279238341 @default.
• W1627923834 hasRelatedWork W1501682303 @default.
• W1627923834 hasRelatedWork W1546282418 @default.
• W1627923834 hasRelatedWork W1566985963 @default.
• W1627923834 hasRelatedWork W1601446162 @default.
• W1627923834 hasRelatedWork W1979197687 @default.
• W1627923834 hasRelatedWork W2028250951 @default.
• W1627923834 hasRelatedWork W2075092532 @default.
• W1627923834 hasRelatedWork W2145201569 @default.
• W1627923834 hasRelatedWork W2156167960 @default.
• W1627923834 hasRelatedWork W2212430534 @default.
• W1627923834 hasRelatedWork W2950591516 @default.
• W1627923834 hasRelatedWork W2980216488 @default.
• W1627923834 hasRelatedWork W3006503608 @default.

• next