CogniPilot

MODELICA LIBRARY · ENGINEERING REFERENCE

package

LieGroups.Analysis

Coordinate-aware functions for Lyapunov, reachability, and contraction analysis

Members

NameKindDescription
rotationAnglefunctionPrincipal SO(3) angle represented by a rotation matrix
inPrincipalLogDomainfunctionTrue when an SO(3) matrix stays a requested margin away from the log cut locus
attitudePotentialfunctionSign- and coordinate-independent SO(3) potential 1-cos(angle)
logQuadraticPotentialfunctionLocal quadratic Lyapunov candidate in principal SO(3) logarithm coordinates
quadraticTangentPotentialfunctionDimension-generic quadratic candidate on any Lie algebra coordinate vector

Modelica declarations and implementation

Show parameters, interfaces and source

Parameters, inputs, outputs, defaults and equations from the source file.

package Analysis
  "Coordinate-aware functions for Lyapunov, reachability, and contraction analysis"
end Analysis;