Abstractions for mechanical systems

Christoffer Sloth, Rafael Wisniewski

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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.

Original languageEnglish
Title of host publication4th IFAC Workshop on Lagrangian and Hamiltonian Methods for Non Linear Control, LHMNLC 2012
Volume45
Publication date2012
Edition19
Pages96-101
ISBN (Print)9783902823083
DOIs
Publication statusPublished - 2012
Externally publishedYes
Event4th IFAC Workshop on Lagrangian and Hamiltonian Methods for Non Linear Control, LHMNLC 2012 - Bertinoro, Italy
Duration: 29. Aug 201231. Aug 2012

Conference

Conference4th IFAC Workshop on Lagrangian and Hamiltonian Methods for Non Linear Control, LHMNLC 2012
Country/TerritoryItaly
CityBertinoro
Period29/08/201231/08/2012

Keywords

  • Formal Verification
  • Mechanical Systems
  • Reachability
  • Reduction
  • Timed Automata

Fingerprint

Dive into the research topics of 'Abstractions for mechanical systems'. Together they form a unique fingerprint.

Cite this