Matches in SemOpenAlex for { <https://semopenalex.org/work/W1499407607> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1499407607 endingPage "208" @default.
- W1499407607 startingPage "179" @default.
- W1499407607 abstract "Integration Graphs are a computational model developed in the attempt to identify simple Hybrid Systems with decidable analysis problems. We start with the class of constant slope hybrid systems (cshs), in which the right hand side of all differential equations is an integer constant. We refer to continuous variables whose right hand side constants are always 1 as timers. All other continuous variables are called integrators. The first result shown in the paper is that simple questions such as reachability of a given state are undecidable for even this simple class of systems. To restrict the model even further, we impose the requirement that no test that refers to integrators may appear within a loop in the graph. This restricted class of cshs is called integration graphs. The main results of the paper are that the reachability problem of integration graphs is decidable for two special cases: The case of a single timer and the case of a single test involving integrators. The expressive power of the integration graphs formalism is demonstrated by showing that some typical problems studied within the context of the Calculus of Durations and Timed Statecharts can be formulated as reachability problems for restricted integration graphs, and a high fraction of these fall into the subclasses of a single timer or a single dangerous test." @default.
- W1499407607 created "2016-06-24" @default.
- W1499407607 creator A5025693758 @default.
- W1499407607 creator A5062247244 @default.
- W1499407607 creator A5075454664 @default.
- W1499407607 creator A5078214635 @default.
- W1499407607 date "1993-01-01" @default.
- W1499407607 modified "2023-10-18" @default.
- W1499407607 title "Integration Graphs: A class of decidable hybrid systems" @default.
- W1499407607 cites W1525512650 @default.
- W1499407607 cites W1572777470 @default.
- W1499407607 cites W1573724186 @default.
- W1499407607 cites W2117189826 @default.
- W1499407607 cites W2153439859 @default.
- W1499407607 cites W2167467151 @default.
- W1499407607 cites W4245034461 @default.
- W1499407607 doi "https://doi.org/10.1007/3-540-57318-6_29" @default.
- W1499407607 hasPublicationYear "1993" @default.
- W1499407607 type Work @default.
- W1499407607 sameAs 1499407607 @default.
- W1499407607 citedByCount "100" @default.
- W1499407607 countsByYear W14994076072012 @default.
- W1499407607 countsByYear W14994076072013 @default.
- W1499407607 countsByYear W14994076072014 @default.
- W1499407607 countsByYear W14994076072015 @default.
- W1499407607 countsByYear W14994076072017 @default.
- W1499407607 countsByYear W14994076072019 @default.
- W1499407607 crossrefType "book-chapter" @default.
- W1499407607 hasAuthorship W1499407607A5025693758 @default.
- W1499407607 hasAuthorship W1499407607A5062247244 @default.
- W1499407607 hasAuthorship W1499407607A5075454664 @default.
- W1499407607 hasAuthorship W1499407607A5078214635 @default.
- W1499407607 hasConcept C118615104 @default.
- W1499407607 hasConcept C132525143 @default.
- W1499407607 hasConcept C136643341 @default.
- W1499407607 hasConcept C153269930 @default.
- W1499407607 hasConcept C160446614 @default.
- W1499407607 hasConcept C173018170 @default.
- W1499407607 hasConcept C192034797 @default.
- W1499407607 hasConcept C2524010 @default.
- W1499407607 hasConcept C2776633867 @default.
- W1499407607 hasConcept C2776809875 @default.
- W1499407607 hasConcept C2777669093 @default.
- W1499407607 hasConcept C33923547 @default.
- W1499407607 hasConcept C41008148 @default.
- W1499407607 hasConcept C80444323 @default.
- W1499407607 hasConcept C9390403 @default.
- W1499407607 hasConceptScore W1499407607C118615104 @default.
- W1499407607 hasConceptScore W1499407607C132525143 @default.
- W1499407607 hasConceptScore W1499407607C136643341 @default.
- W1499407607 hasConceptScore W1499407607C153269930 @default.
- W1499407607 hasConceptScore W1499407607C160446614 @default.
- W1499407607 hasConceptScore W1499407607C173018170 @default.
- W1499407607 hasConceptScore W1499407607C192034797 @default.
- W1499407607 hasConceptScore W1499407607C2524010 @default.
- W1499407607 hasConceptScore W1499407607C2776633867 @default.
- W1499407607 hasConceptScore W1499407607C2776809875 @default.
- W1499407607 hasConceptScore W1499407607C2777669093 @default.
- W1499407607 hasConceptScore W1499407607C33923547 @default.
- W1499407607 hasConceptScore W1499407607C41008148 @default.
- W1499407607 hasConceptScore W1499407607C80444323 @default.
- W1499407607 hasConceptScore W1499407607C9390403 @default.
- W1499407607 hasLocation W14994076071 @default.
- W1499407607 hasOpenAccess W1499407607 @default.
- W1499407607 hasPrimaryLocation W14994076071 @default.
- W1499407607 hasRelatedWork W1553002193 @default.
- W1499407607 hasRelatedWork W1563786920 @default.
- W1499407607 hasRelatedWork W1805200712 @default.
- W1499407607 hasRelatedWork W1993478572 @default.
- W1499407607 hasRelatedWork W2020140696 @default.
- W1499407607 hasRelatedWork W2119045600 @default.
- W1499407607 hasRelatedWork W2489809986 @default.
- W1499407607 hasRelatedWork W2591956186 @default.
- W1499407607 hasRelatedWork W2962928105 @default.
- W1499407607 hasRelatedWork W2584984136 @default.
- W1499407607 isParatext "false" @default.
- W1499407607 isRetracted "false" @default.
- W1499407607 magId "1499407607" @default.
- W1499407607 workType "book-chapter" @default.