Matches in SemOpenAlex for { <https://semopenalex.org/work/W2615697598> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2615697598 abstract "Abstract The work examines the possibility of using formal-verification methods and tools for reasoning about scientific-computation methods. The need to verify about infinite-state systems has led to the development of formnal frameworks for modeling infinite on-going behaviors, and it seems very likely that these frameworks can also be helpful in the context of numerical methods. In particular, the use of hybrid Systems, which model infinite-state systems with a finite control, seems promising. The work introduces Probabilistic o-minimal hybrid systems , which combine flows definable in an o-minimal structure with the probabilistic choices allowed in probabilistic hybrid systems. We show that probabilistic o-minimal hybrid systems have finite bisimulations. thus the reachability and the nonemptiness problems for them are decidable. To the best of our knowledge, this forms the strongest type of hybrid Systems for which the nonemptiness problem is decidable, hence also the strongest candidate for modelling scientific-computation methods." @default.
- W2615697598 created "2017-05-26" @default.
- W2615697598 creator A5047346133 @default.
- W2615697598 creator A5077429082 @default.
- W2615697598 date "2003-06-01" @default.
- W2615697598 modified "2023-10-14" @default.
- W2615697598 title "Formal Analysis of Scientific-Computation Methods" @default.
- W2615697598 cites W106209860 @default.
- W2615697598 cites W1496256885 @default.
- W2615697598 cites W1525967073 @default.
- W2615697598 cites W1573344143 @default.
- W2615697598 cites W1600504946 @default.
- W2615697598 cites W1714528075 @default.
- W2615697598 cites W1808949452 @default.
- W2615697598 cites W1814944153 @default.
- W2615697598 cites W1996195522 @default.
- W2615697598 cites W2004463571 @default.
- W2615697598 cites W2005448959 @default.
- W2615697598 cites W2055454967 @default.
- W2615697598 cites W2055960145 @default.
- W2615697598 cites W2057957111 @default.
- W2615697598 cites W2085838366 @default.
- W2615697598 cites W2098916117 @default.
- W2615697598 cites W2101508170 @default.
- W2615697598 cites W2117218135 @default.
- W2615697598 cites W2118477082 @default.
- W2615697598 cites W2128537615 @default.
- W2615697598 cites W2130519480 @default.
- W2615697598 cites W2140464472 @default.
- W2615697598 cites W2147340401 @default.
- W2615697598 cites W2156835128 @default.
- W2615697598 cites W2561649433 @default.
- W2615697598 doi "https://doi.org/10.1016/s1474-6670(17)36447-9" @default.
- W2615697598 hasPublicationYear "2003" @default.
- W2615697598 type Work @default.
- W2615697598 sameAs 2615697598 @default.
- W2615697598 citedByCount "0" @default.
- W2615697598 crossrefType "journal-article" @default.
- W2615697598 hasAuthorship W2615697598A5047346133 @default.
- W2615697598 hasAuthorship W2615697598A5077429082 @default.
- W2615697598 hasConcept C110251889 @default.
- W2615697598 hasConcept C112505250 @default.
- W2615697598 hasConcept C11413529 @default.
- W2615697598 hasConcept C119857082 @default.
- W2615697598 hasConcept C136643341 @default.
- W2615697598 hasConcept C151730666 @default.
- W2615697598 hasConcept C153269930 @default.
- W2615697598 hasConcept C154945302 @default.
- W2615697598 hasConcept C2776028153 @default.
- W2615697598 hasConcept C2777669093 @default.
- W2615697598 hasConcept C2779343474 @default.
- W2615697598 hasConcept C41008148 @default.
- W2615697598 hasConcept C45374587 @default.
- W2615697598 hasConcept C49937458 @default.
- W2615697598 hasConcept C50897621 @default.
- W2615697598 hasConcept C80444323 @default.
- W2615697598 hasConcept C86803240 @default.
- W2615697598 hasConceptScore W2615697598C110251889 @default.
- W2615697598 hasConceptScore W2615697598C112505250 @default.
- W2615697598 hasConceptScore W2615697598C11413529 @default.
- W2615697598 hasConceptScore W2615697598C119857082 @default.
- W2615697598 hasConceptScore W2615697598C136643341 @default.
- W2615697598 hasConceptScore W2615697598C151730666 @default.
- W2615697598 hasConceptScore W2615697598C153269930 @default.
- W2615697598 hasConceptScore W2615697598C154945302 @default.
- W2615697598 hasConceptScore W2615697598C2776028153 @default.
- W2615697598 hasConceptScore W2615697598C2777669093 @default.
- W2615697598 hasConceptScore W2615697598C2779343474 @default.
- W2615697598 hasConceptScore W2615697598C41008148 @default.
- W2615697598 hasConceptScore W2615697598C45374587 @default.
- W2615697598 hasConceptScore W2615697598C49937458 @default.
- W2615697598 hasConceptScore W2615697598C50897621 @default.
- W2615697598 hasConceptScore W2615697598C80444323 @default.
- W2615697598 hasConceptScore W2615697598C86803240 @default.
- W2615697598 hasLocation W26156975981 @default.
- W2615697598 hasOpenAccess W2615697598 @default.
- W2615697598 hasPrimaryLocation W26156975981 @default.
- W2615697598 hasRelatedWork W1513831164 @default.
- W2615697598 hasRelatedWork W1572523360 @default.
- W2615697598 hasRelatedWork W2039543614 @default.
- W2615697598 hasRelatedWork W2313400459 @default.
- W2615697598 hasRelatedWork W2352648941 @default.
- W2615697598 hasRelatedWork W2354062721 @default.
- W2615697598 hasRelatedWork W2748952813 @default.
- W2615697598 hasRelatedWork W2899084033 @default.
- W2615697598 hasRelatedWork W2913765211 @default.
- W2615697598 hasRelatedWork W4244379845 @default.
- W2615697598 isParatext "false" @default.
- W2615697598 isRetracted "false" @default.
- W2615697598 magId "2615697598" @default.
- W2615697598 workType "article" @default.