FRINK Linked Data Fragments server

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

• W33769033 abstract "In this paper we deal with a subclass of planar hybrid automata, denoted by SPDI, which can be represented by piecewise constant differential inclusions. The computation of certain objects of the phase portrait of an SPDI, namely the viability, controllability, invariance kernels and semi-separatrix curves have been shown to be efficiently decidable. On the other hand, although the reachability problem for SPDIs is known to be decidable, its complexity makes it unfeasible on large systems. We present and combine recent results on the use of the SPDI phase portraits for improving reachability analysis by (i) state-space reduction and (ii) decomposition techniques of the state space, enabling compositional parallelization of the analysis. Both techniques contribute to increase the feasibility of reachability analysis on large SPDI systems." @default.
• W33769033 created "2016-06-24" @default.
• W33769033 creator A5051084250 @default.
• W33769033 creator A5073668681 @default.
• W33769033 date "2008-01-01" @default.
• W33769033 modified "2023-09-27" @default.
• W33769033 title "Improving Polygonal Hybrid Systems Reachability Analysis through the use of the Phase Portrait" @default.
• W33769033 cites W1480242274 @default.
• W33769033 cites W1487094975 @default.
• W33769033 cites W1501687287 @default.
• W33769033 cites W1517901742 @default.
• W33769033 cites W1555746467 @default.
• W33769033 cites W1567597650 @default.
• W33769033 cites W1567962086 @default.
• W33769033 cites W1604870856 @default.
• W33769033 cites W1836267891 @default.
• W33769033 cites W1842453456 @default.
• W33769033 cites W190430544 @default.
• W33769033 cites W1915480048 @default.
• W33769033 cites W1944292960 @default.
• W33769033 cites W1977106683 @default.
• W33769033 cites W1994475353 @default.
• W33769033 cites W2101508170 @default.
• W33769033 cites W2132205224 @default.
• W33769033 cites W2132470538 @default.
• W33769033 cites W2140943160 @default.
• W33769033 cites W2142520160 @default.
• W33769033 cites W2145399903 @default.
• W33769033 cites W2151643591 @default.
• W33769033 cites W2155815558 @default.
• W33769033 cites W2158408969 @default.
• W33769033 cites W2163590987 @default.
• W33769033 cites W2468385643 @default.
• W33769033 cites W3151902574 @default.
• W33769033 cites W2584984136 @default.
• W33769033 hasPublicationYear "2008" @default.
• W33769033 type Work @default.
• W33769033 sameAs 33769033 @default.
• W33769033 citedByCount "0" @default.
• W33769033 crossrefType "journal-article" @default.
• W33769033 hasAuthorship W33769033A5051084250 @default.
• W33769033 hasAuthorship W33769033A5073668681 @default.
• W33769033 hasConcept C105795698 @default.
• W33769033 hasConcept C112505250 @default.
• W33769033 hasConcept C11413529 @default.
• W33769033 hasConcept C118615104 @default.
• W33769033 hasConcept C121332964 @default.
• W33769033 hasConcept C122283620 @default.
• W33769033 hasConcept C134306372 @default.
• W33769033 hasConcept C136643341 @default.
• W33769033 hasConcept C153269930 @default.
• W33769033 hasConcept C158622935 @default.
• W33769033 hasConcept C164660894 @default.
• W33769033 hasConcept C192034797 @default.
• W33769033 hasConcept C2776028153 @default.
• W33769033 hasConcept C2777669093 @default.
• W33769033 hasConcept C2781349735 @default.
• W33769033 hasConcept C28826006 @default.
• W33769033 hasConcept C33923547 @default.
• W33769033 hasConcept C41008148 @default.
• W33769033 hasConcept C45374587 @default.
• W33769033 hasConcept C48103436 @default.
• W33769033 hasConcept C48209547 @default.
• W33769033 hasConcept C62520636 @default.
• W33769033 hasConcept C72434380 @default.
• W33769033 hasConcept C80444323 @default.
• W33769033 hasConceptScore W33769033C105795698 @default.
• W33769033 hasConceptScore W33769033C112505250 @default.
• W33769033 hasConceptScore W33769033C11413529 @default.
• W33769033 hasConceptScore W33769033C118615104 @default.
• W33769033 hasConceptScore W33769033C121332964 @default.
• W33769033 hasConceptScore W33769033C122283620 @default.
• W33769033 hasConceptScore W33769033C134306372 @default.
• W33769033 hasConceptScore W33769033C136643341 @default.
• W33769033 hasConceptScore W33769033C153269930 @default.
• W33769033 hasConceptScore W33769033C158622935 @default.
• W33769033 hasConceptScore W33769033C164660894 @default.
• W33769033 hasConceptScore W33769033C192034797 @default.
• W33769033 hasConceptScore W33769033C2776028153 @default.
• W33769033 hasConceptScore W33769033C2777669093 @default.
• W33769033 hasConceptScore W33769033C2781349735 @default.
• W33769033 hasConceptScore W33769033C28826006 @default.
• W33769033 hasConceptScore W33769033C33923547 @default.
• W33769033 hasConceptScore W33769033C41008148 @default.
• W33769033 hasConceptScore W33769033C45374587 @default.
• W33769033 hasConceptScore W33769033C48103436 @default.
• W33769033 hasConceptScore W33769033C48209547 @default.
• W33769033 hasConceptScore W33769033C62520636 @default.
• W33769033 hasConceptScore W33769033C72434380 @default.
• W33769033 hasConceptScore W33769033C80444323 @default.
• W33769033 hasLocation W337690331 @default.
• W33769033 hasOpenAccess W33769033 @default.
• W33769033 hasPrimaryLocation W337690331 @default.
• W33769033 hasRelatedWork W1483649140 @default.
• W33769033 hasRelatedWork W1558964573 @default.
• W33769033 hasRelatedWork W1604596197 @default.
• W33769033 hasRelatedWork W1605767363 @default.
• W33769033 hasRelatedWork W1965590010 @default.
• W33769033 hasRelatedWork W2022932655 @default.
• W33769033 hasRelatedWork W2025886420 @default.

• next