FRINK Linked Data Fragments server

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

• W2041960188 endingPage "564" @default.
• W2041960188 startingPage "550" @default.
• W2041960188 abstract "This paper proposes a computational method for the feasibility check and design of discrete abstract models of nonlinear dynamical systems. First, it is shown that a given discrete-time dynamical system can be transformed into a finite automaton by embedding a quantizer into its state equation. Under this setting, a sufficient condition for approximate bisimulation in infinite steps of time between the concrete model and its discrete abstract model is derived. The condition takes the form of a set of linear inequalities and thus can be checked efficiently by a linear programming solver. Finally, the iterative refinement algorithm, which generates a discrete abstract model under a given error specification, is proposed. The algorithm is guaranteed to terminate in finite iterations." @default.
• W2041960188 created "2016-06-24" @default.
• W2041960188 creator A5001435105 @default.
• W2041960188 creator A5010816124 @default.
• W2041960188 date "2012-03-01" @default.
• W2041960188 modified "2023-10-06" @default.
• W2041960188 title "Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis" @default.
• W2041960188 cites W1492487737 @default.
• W2041960188 cites W1498421030 @default.
• W2041960188 cites W1500294907 @default.
• W2041960188 cites W1503887525 @default.
• W2041960188 cites W1524494643 @default.
• W2041960188 cites W1552830313 @default.
• W2041960188 cites W1574619476 @default.
• W2041960188 cites W1601320636 @default.
• W2041960188 cites W1967091946 @default.
• W2041960188 cites W1973013779 @default.
• W2041960188 cites W2011979623 @default.
• W2041960188 cites W2064682705 @default.
• W2041960188 cites W2099551858 @default.
• W2041960188 cites W2115042355 @default.
• W2041960188 cites W2125711107 @default.
• W2041960188 cites W2136354407 @default.
• W2041960188 cites W2146748581 @default.
• W2041960188 cites W2163204032 @default.
• W2041960188 cites W2165748475 @default.
• W2041960188 cites W2166691751 @default.
• W2041960188 cites W2763487042 @default.
• W2041960188 doi "https://doi.org/10.1109/tac.2011.2161789" @default.
• W2041960188 hasPublicationYear "2012" @default.
• W2041960188 type Work @default.
• W2041960188 sameAs 2041960188 @default.
• W2041960188 citedByCount "33" @default.
• W2041960188 countsByYear W20419601882012 @default.
• W2041960188 countsByYear W20419601882013 @default.
• W2041960188 countsByYear W20419601882014 @default.
• W2041960188 countsByYear W20419601882015 @default.
• W2041960188 countsByYear W20419601882016 @default.
• W2041960188 countsByYear W20419601882017 @default.
• W2041960188 countsByYear W20419601882018 @default.
• W2041960188 countsByYear W20419601882019 @default.
• W2041960188 countsByYear W20419601882020 @default.
• W2041960188 crossrefType "journal-article" @default.
• W2041960188 hasAuthorship W2041960188A5001435105 @default.
• W2041960188 hasAuthorship W2041960188A5010816124 @default.
• W2041960188 hasConcept C105795698 @default.
• W2041960188 hasConcept C112505250 @default.
• W2041960188 hasConcept C11413529 @default.
• W2041960188 hasConcept C121332964 @default.
• W2041960188 hasConcept C126255220 @default.
• W2041960188 hasConcept C134306372 @default.
• W2041960188 hasConcept C135315306 @default.
• W2041960188 hasConcept C154945302 @default.
• W2041960188 hasConcept C158622935 @default.
• W2041960188 hasConcept C177264268 @default.
• W2041960188 hasConcept C199360897 @default.
• W2041960188 hasConcept C2778770139 @default.
• W2041960188 hasConcept C28826006 @default.
• W2041960188 hasConcept C33923547 @default.
• W2041960188 hasConcept C41008148 @default.
• W2041960188 hasConcept C41608201 @default.
• W2041960188 hasConcept C55689738 @default.
• W2041960188 hasConcept C62520636 @default.
• W2041960188 hasConcept C73000952 @default.
• W2041960188 hasConcept C79379906 @default.
• W2041960188 hasConcept C80444323 @default.
• W2041960188 hasConcept C96314035 @default.
• W2041960188 hasConceptScore W2041960188C105795698 @default.
• W2041960188 hasConceptScore W2041960188C112505250 @default.
• W2041960188 hasConceptScore W2041960188C11413529 @default.
• W2041960188 hasConceptScore W2041960188C121332964 @default.
• W2041960188 hasConceptScore W2041960188C126255220 @default.
• W2041960188 hasConceptScore W2041960188C134306372 @default.
• W2041960188 hasConceptScore W2041960188C135315306 @default.
• W2041960188 hasConceptScore W2041960188C154945302 @default.
• W2041960188 hasConceptScore W2041960188C158622935 @default.
• W2041960188 hasConceptScore W2041960188C177264268 @default.
• W2041960188 hasConceptScore W2041960188C199360897 @default.
• W2041960188 hasConceptScore W2041960188C2778770139 @default.
• W2041960188 hasConceptScore W2041960188C28826006 @default.
• W2041960188 hasConceptScore W2041960188C33923547 @default.
• W2041960188 hasConceptScore W2041960188C41008148 @default.
• W2041960188 hasConceptScore W2041960188C41608201 @default.
• W2041960188 hasConceptScore W2041960188C55689738 @default.
• W2041960188 hasConceptScore W2041960188C62520636 @default.
• W2041960188 hasConceptScore W2041960188C73000952 @default.
• W2041960188 hasConceptScore W2041960188C79379906 @default.
• W2041960188 hasConceptScore W2041960188C80444323 @default.
• W2041960188 hasConceptScore W2041960188C96314035 @default.
• W2041960188 hasIssue "3" @default.
• W2041960188 hasLocation W20419601881 @default.
• W2041960188 hasOpenAccess W2041960188 @default.
• W2041960188 hasPrimaryLocation W20419601881 @default.
• W2041960188 hasRelatedWork W1968437296 @default.
• W2041960188 hasRelatedWork W2089409100 @default.
• W2041960188 hasRelatedWork W2132623195 @default.
• W2041960188 hasRelatedWork W2162510824 @default.
• W2041960188 hasRelatedWork W2604841551 @default.

• next