Matches in SemOpenAlex for { <https://semopenalex.org/work/W2034903172> ?p ?o ?g. }
- W2034903172 endingPage "101" @default.
- W2034903172 startingPage "96" @default.
- W2034903172 abstract "This paper proposes a method for discretizing the state space of mechanical systems. This is a first attempt in using reduction techniques for mechanical systems in the partitioning of the state space. The method relies on a combination of transversal and tangential manifolds for the conservative mechanical system. The tangential manifolds are generated using constants of motion, which can be derived from Noether's theorem. The transversal manifolds are subsequently generated on a reduced space given by the Routhian, via action-angle coordinates. The method fully applies for integrable systems. We focus on a particular aspect of abstraction – partitioning the state space, as existing methods can be applied on the discretized state space to obtain an automata-based model. The contribution of the paper is to show that well-known reduction methods can be used to generate abstract models, which can be used for formal verification." @default.
- W2034903172 created "2016-06-24" @default.
- W2034903172 creator A5021433621 @default.
- W2034903172 creator A5088328087 @default.
- W2034903172 date "2012-01-01" @default.
- W2034903172 modified "2023-09-27" @default.
- W2034903172 title "Abstractions for Mechanical Systems*" @default.
- W2034903172 cites W1524590822 @default.
- W2034903172 cites W1557324374 @default.
- W2034903172 cites W1601320636 @default.
- W2034903172 cites W1678102776 @default.
- W2034903172 cites W2033118636 @default.
- W2034903172 cites W2040215324 @default.
- W2034903172 cites W2041103407 @default.
- W2034903172 cites W2072215604 @default.
- W2034903172 cites W2089606669 @default.
- W2034903172 cites W2101508170 @default.
- W2034903172 cites W2126479355 @default.
- W2034903172 cites W2143769694 @default.
- W2034903172 cites W2172357028 @default.
- W2034903172 cites W2193412548 @default.
- W2034903172 cites W3038698521 @default.
- W2034903172 doi "https://doi.org/10.3182/20120829-3-it-4022.00049" @default.
- W2034903172 hasPublicationYear "2012" @default.
- W2034903172 type Work @default.
- W2034903172 sameAs 2034903172 @default.
- W2034903172 citedByCount "2" @default.
- W2034903172 countsByYear W20349031722013 @default.
- W2034903172 crossrefType "journal-article" @default.
- W2034903172 hasAuthorship W2034903172A5021433621 @default.
- W2034903172 hasAuthorship W2034903172A5088328087 @default.
- W2034903172 hasBestOaLocation W20349031722 @default.
- W2034903172 hasConcept C104114177 @default.
- W2034903172 hasConcept C105795698 @default.
- W2034903172 hasConcept C111335779 @default.
- W2034903172 hasConcept C111472728 @default.
- W2034903172 hasConcept C111919701 @default.
- W2034903172 hasConcept C112505250 @default.
- W2034903172 hasConcept C11413529 @default.
- W2034903172 hasConcept C120665830 @default.
- W2034903172 hasConcept C121332964 @default.
- W2034903172 hasConcept C124304363 @default.
- W2034903172 hasConcept C134306372 @default.
- W2034903172 hasConcept C138885662 @default.
- W2034903172 hasConcept C154945302 @default.
- W2034903172 hasConcept C171912257 @default.
- W2034903172 hasConcept C192209626 @default.
- W2034903172 hasConcept C200741047 @default.
- W2034903172 hasConcept C2524010 @default.
- W2034903172 hasConcept C2775924081 @default.
- W2034903172 hasConcept C2778572836 @default.
- W2034903172 hasConcept C2780130068 @default.
- W2034903172 hasConcept C2780791683 @default.
- W2034903172 hasConcept C33923547 @default.
- W2034903172 hasConcept C41008148 @default.
- W2034903172 hasConcept C47446073 @default.
- W2034903172 hasConcept C48103436 @default.
- W2034903172 hasConcept C62520636 @default.
- W2034903172 hasConcept C72434380 @default.
- W2034903172 hasConcept C73000952 @default.
- W2034903172 hasConcept C80444323 @default.
- W2034903172 hasConceptScore W2034903172C104114177 @default.
- W2034903172 hasConceptScore W2034903172C105795698 @default.
- W2034903172 hasConceptScore W2034903172C111335779 @default.
- W2034903172 hasConceptScore W2034903172C111472728 @default.
- W2034903172 hasConceptScore W2034903172C111919701 @default.
- W2034903172 hasConceptScore W2034903172C112505250 @default.
- W2034903172 hasConceptScore W2034903172C11413529 @default.
- W2034903172 hasConceptScore W2034903172C120665830 @default.
- W2034903172 hasConceptScore W2034903172C121332964 @default.
- W2034903172 hasConceptScore W2034903172C124304363 @default.
- W2034903172 hasConceptScore W2034903172C134306372 @default.
- W2034903172 hasConceptScore W2034903172C138885662 @default.
- W2034903172 hasConceptScore W2034903172C154945302 @default.
- W2034903172 hasConceptScore W2034903172C171912257 @default.
- W2034903172 hasConceptScore W2034903172C192209626 @default.
- W2034903172 hasConceptScore W2034903172C200741047 @default.
- W2034903172 hasConceptScore W2034903172C2524010 @default.
- W2034903172 hasConceptScore W2034903172C2775924081 @default.
- W2034903172 hasConceptScore W2034903172C2778572836 @default.
- W2034903172 hasConceptScore W2034903172C2780130068 @default.
- W2034903172 hasConceptScore W2034903172C2780791683 @default.
- W2034903172 hasConceptScore W2034903172C33923547 @default.
- W2034903172 hasConceptScore W2034903172C41008148 @default.
- W2034903172 hasConceptScore W2034903172C47446073 @default.
- W2034903172 hasConceptScore W2034903172C48103436 @default.
- W2034903172 hasConceptScore W2034903172C62520636 @default.
- W2034903172 hasConceptScore W2034903172C72434380 @default.
- W2034903172 hasConceptScore W2034903172C73000952 @default.
- W2034903172 hasConceptScore W2034903172C80444323 @default.
- W2034903172 hasIssue "19" @default.
- W2034903172 hasLocation W20349031721 @default.
- W2034903172 hasLocation W20349031722 @default.
- W2034903172 hasLocation W20349031723 @default.
- W2034903172 hasOpenAccess W2034903172 @default.
- W2034903172 hasPrimaryLocation W20349031721 @default.
- W2034903172 hasRelatedWork W2061112603 @default.
- W2034903172 hasRelatedWork W2141300974 @default.