Abstractions for Mechanical Systems

Christoffer Sloth, Rafael Wisniewski

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (Scopus)
295 Downloads (Pure)

Resumé

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.
OriginalsprogEngelsk
TitelLagrangian and Hamiltonian Methods for Non Linear Control
Antal sider6
Vol/bind4
ForlagElsevier
Publikationsdato2012
Udgave1
Sider96-101
DOI
StatusUdgivet - 2012
Begivenhed4th IFAC Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control - Bertinoro, Italien
Varighed: 29 aug. 201231 aug. 2012

Workshop

Workshop4th IFAC Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control
LandItalien
ByBertinoro
Periode29/08/201231/08/2012
NavnI F A C Workshop Series
ISSN1474-6670

Fingerprint

Formal verification

Citer dette

Sloth, C., & Wisniewski, R. (2012). Abstractions for Mechanical Systems. I Lagrangian and Hamiltonian Methods for Non Linear Control (1 udg., Bind 4, s. 96-101). Elsevier. I F A C Workshop Series https://doi.org/10.3182/20120829-3-IT-4022.00049
Sloth, Christoffer ; Wisniewski, Rafael. / Abstractions for Mechanical Systems. Lagrangian and Hamiltonian Methods for Non Linear Control. Bind 4 1. udg. Elsevier, 2012. s. 96-101 (I F A C Workshop Series).
@inproceedings{5a5b3de1d98b476088bf66525dfa3700,
title = "Abstractions for Mechanical Systems",
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.",
author = "Christoffer Sloth and Rafael Wisniewski",
year = "2012",
doi = "10.3182/20120829-3-IT-4022.00049",
language = "English",
volume = "4",
series = "I F A C Workshop Series",
publisher = "Elsevier",
pages = "96--101",
booktitle = "Lagrangian and Hamiltonian Methods for Non Linear Control",
address = "United Kingdom",
edition = "1",

}

Sloth, C & Wisniewski, R 2012, Abstractions for Mechanical Systems. i Lagrangian and Hamiltonian Methods for Non Linear Control. 1 udg, bind 4, Elsevier, I F A C Workshop Series, s. 96-101, 4th IFAC Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, Bertinoro, Italien, 29/08/2012. https://doi.org/10.3182/20120829-3-IT-4022.00049

Abstractions for Mechanical Systems. / Sloth, Christoffer; Wisniewski, Rafael.

Lagrangian and Hamiltonian Methods for Non Linear Control. Bind 4 1. udg. Elsevier, 2012. s. 96-101 (I F A C Workshop Series).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Abstractions for Mechanical Systems

AU - Sloth, Christoffer

AU - Wisniewski, Rafael

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84880979168&partnerID=8YFLogxK

U2 - 10.3182/20120829-3-IT-4022.00049

DO - 10.3182/20120829-3-IT-4022.00049

M3 - Article in proceeding

VL - 4

T3 - I F A C Workshop Series

SP - 96

EP - 101

BT - Lagrangian and Hamiltonian Methods for Non Linear Control

PB - Elsevier

ER -

Sloth C, Wisniewski R. Abstractions for Mechanical Systems. I Lagrangian and Hamiltonian Methods for Non Linear Control. 1 udg. Bind 4. Elsevier. 2012. s. 96-101. (I F A C Workshop Series). https://doi.org/10.3182/20120829-3-IT-4022.00049