API  4.2
For MATLAB, Python, Java, and C++ users
OpenSim::MocoDirectCollocationSolver Class Referenceabstract

This is a base class for solvers that use direct collocation to convert an optimal control problem into a generic nonlinear programming problem. More...

+ Inheritance diagram for OpenSim::MocoDirectCollocationSolver:

Static Public Member Functions

Auto-generated functions
static MocoDirectCollocationSolversafeDownCast (OpenSim::Object *obj)
 For use in MATLAB and Python to access the concrete class. More...
 
- Static Public Member Functions inherited from OpenSim::MocoSolver
static MocoSolversafeDownCast (OpenSim::Object *obj)
 For use in MATLAB and Python to access the concrete class. More...
 
static const std::string & getClassName ()
 This returns "MocoSolver"
More...
 
- Static Public Member Functions inherited from OpenSim::Object
static void registerType (const Object &defaultObject)
 Register an instance of a class; if the class is already registered it will be replaced. More...
 
static void renameType (const std::string &oldTypeName, const std::string &newTypeName)
 Support versioning by associating the current Object type with an old name. More...
 
static const ObjectgetDefaultInstanceOfType (const std::string &concreteClassName)
 Return a pointer to the default instance of the registered (concrete) Object whose class name is given, or NULL if the type is not registered. More...
 
template<class T >
static bool isObjectTypeDerivedFrom (const std::string &concreteClassName)
 Return true if the given concrete object type represents a subclass of the template object type T, and thus could be referenced with a T*. More...
 
static ObjectnewInstanceOfType (const std::string &concreteClassName)
 Create a new instance of the concrete Object type whose class name is given as concreteClassName. More...
 
static void getRegisteredTypenames (Array< std::string > &typeNames)
 Retrieve all the typenames registered so far. More...
 
template<class T >
static void getRegisteredObjectsOfGivenType (ArrayPtrs< T > &rArray)
 Return an array of pointers to the default instances of all registered (concrete) Object types that derive from a given Object-derived type that does not have to be concrete. More...
 
static bool PrintPropertyInfo (std::ostream &os, const std::string &classNameDotPropertyName, bool printFlagInfo=true)
 Dump formatted property information to a given output stream, useful for creating a "help" facility for registered objects. More...
 
static bool PrintPropertyInfo (std::ostream &os, const std::string &className, const std::string &propertyName, bool printFlagInfo=true)
 Same as the other signature but the class name and property name are provided as two separate strings. More...
 
static ObjectmakeObjectFromFile (const std::string &fileName)
 Create an OpenSim object whose type is based on the tag at the root node of the XML file passed in. More...
 
static const std::string & getClassName ()
 Return the name of this class as a string; i.e., "Object". More...
 
static void setSerializeAllDefaults (bool shouldSerializeDefaults)
 Static function to control whether all registered objects and their properties are written to the defaults section of output files rather than only those values for which the default was explicitly overwritten when read in from an input file or set programmatically. More...
 
static bool getSerializeAllDefaults ()
 Report the value of the "serialize all defaults" flag. More...
 
static bool isKindOf (const char *type)
 Returns true if the passed-in string is "Object"; each Object-derived class defines a method of this name for its own class name. More...
 
static void setDebugLevel (int newLevel)
 Set the amount of logging output. More...
 
static int getDebugLevel ()
 Get the current setting of debug level. More...
 
static ObjectSafeCopy (const Object *aObject)
 Use the clone() method to duplicate the given object unless the pointer is null in which case null is returned. More...
 
static void RegisterType (const Object &defaultObject)
 OBSOLETE alternate name for registerType(). More...
 
static void RenameType (const std::string &oldName, const std::string &newName)
 OBSOLETE alternate name for renameType(). More...
 

Auto-generated functions <br>

static const std::string & getClassName ()
 This returns "MocoDirectCollocationSolver"
More...
 
MocoDirectCollocationSolverclone () const override=0
 Create a new heap-allocated copy of the concrete object to which this Object refers. More...
 
const std::string & getConcreteClassName () const override=0
 Returns the class name of the concrete Object-derived class of the actual object referenced by this Object, as a string. More...
 

Additional Inherited Members

- Public Member Functions inherited from OpenSim::MocoSolver
 MocoSolver ()=default
 
 MocoSolver (const MocoProblem &problem)
 This calls resetProblem() with the provided problem. More...
 
virtual ~MocoSolver ()=default
 
void resetProblem (const MocoProblem &problem) const
 Call this to prepare the solver for use on the provided problem. More...
 
MocoTrajectory createGuessTimeStepping () const
 (Experimental) Run a forward simulation (using the OpenSim Manager, which uses a SimTK::Integrator), using the default controls for actuators and the default states as the initial states, to create a guess that is dynamically consistent (constraint errors should be small). More...
 
- Public Member Functions inherited from OpenSim::Object
virtual ~Object ()
 Virtual destructor for cleanup. More...
 
bool isEqualTo (const Object &aObject) const
 Equality operator wrapper for use from languages not supporting operator overloading. More...
 
Objectoperator= (const Object &aObject)
 Copy assignment copies he base class fields, including the properties. More...
 
virtual bool operator== (const Object &aObject) const
 Determine if two objects are equal. More...
 
virtual bool operator< (const Object &aObject) const
 Provide an ordering for objects so they can be put in sorted containers. More...
 
void setName (const std::string &name)
 Set the name of the Object. More...
 
const std::string & getName () const
 Get the name of this Object. More...
 
void setDescription (const std::string &description)
 Set description, a one-liner summary. More...
 
const std::string & getDescription () const
 Get description, a one-liner summary. More...
 
const std::string & getAuthors () const
 Get Authors of this Object. More...
 
void setAuthors (const std::string &authors)
 Set Authors of this object. More...
 
const std::string & getReferences () const
 Get references or publications to cite if using this object. More...
 
void setReferences (const std::string &references)
 Set references or publications to cite if using this object. More...
 
int getNumProperties () const
 Determine how many properties are stored with this Object. More...
 
const AbstractPropertygetPropertyByIndex (int propertyIndex) const
 Get a const reference to a property by its index number, returned as an AbstractProperty. More...
 
AbstractPropertyupdPropertyByIndex (int propertyIndex)
 Get a writable reference to a property by its index number, returned as an AbstractProperty. More...
 
bool hasProperty (const std::string &name) const
 Return true if this Object has a property of any type with the given name, which must not be empty. More...
 
const AbstractPropertygetPropertyByName (const std::string &name) const
 Get a const reference to a property by its name, returned as an AbstractProperty. More...
 
AbstractPropertyupdPropertyByName (const std::string &name)
 Get a writable reference to a property by its name, returned as an AbstractProperty. More...
 
template<class T >
bool hasProperty () const
 Return true if this Object contains an unnamed, one-object property that contains objects of the given template type T. More...
 
template<class T >
const Property< T > & getProperty (const PropertyIndex &index) const
 Get property of known type Property<T> as a const reference; the property must be present and have the right type. More...
 
template<class T >
Property< T > & updProperty (const PropertyIndex &index)
 Get property of known type Property<T> as a writable reference; the property must be present and have the right type. More...
 
bool isObjectUpToDateWithProperties () const
 Returns true if no property's value has changed since the last time setObjectIsUpToDateWithProperties() was called. More...
 
void readObjectFromXMLNodeOrFile (SimTK::Xml::Element &objectElement, int versionNumber)
 We're given an XML element from which we are to populate this Object. More...
 
virtual void updateFromXMLNode (SimTK::Xml::Element &objectElement, int versionNumber)
 Use this method to deserialize an object from a SimTK::Xml::Element. More...
 
void updateXMLNode (SimTK::Xml::Element &parent, const AbstractProperty *prop=nullptr) const
 Serialize this object into the XML node that represents it. More...
 
bool getInlined () const
 Inlined means an in-memory Object that is not associated with an XMLDocument. More...
 
void setInlined (bool aInlined, const std::string &aFileName="")
 Mark this as inlined or not and optionally provide a file name to associate with the new XMLDocument for the non-inline case. More...
 
std::string getDocumentFileName () const
 If there is a document associated with this object then return the file name maintained by the document. More...
 
int getDocumentFileVersion () const
 If there is a document associated with this object then return its version number. More...
 
void setAllPropertiesUseDefault (bool aUseDefault)
 
bool print (const std::string &fileName) const
 Write this Object into an XML file of the given name; conventionally the suffix to use is ".osim". More...
 
std::string dump () const
 dump the XML representation of this Object into an std::string and return it. More...
 
virtual bool isA (const char *type) const
 The default implementation returns true only if the supplied string is "Object"; each Object-derived class overrides this to match its own class name. More...
 
const std::string & toString () const
 Wrapper to be used on Java side to display objects in tree; this returns just the object's name. More...
 
PropertySetgetPropertySet ()
 OBSOLETE: Get a reference to the PropertySet maintained by the Object. More...
 
const PropertySetgetPropertySet () const
 

Detailed Description

This is a base class for solvers that use direct collocation to convert an optimal control problem into a generic nonlinear programming problem.

The best resource for learning about direct collocation is the Betts textbook:

Betts, John T. Practical methods for optimal control and estimation using nonlinear programming. Vol. 19. Siam, 2010.

Transcription scheme

The transcription_scheme setting allows you to choose between 'trapezoidal' and 'hermite-simpson' transcription schemes. The 'trapezoidal' option replaces the dynamics differential constraints with finite differences based on trapezoidal rule integration. The 'hermite-simpson' option uses a Hermite interpolant and Simpson integration to construct the finite differences. The 'hermite-simpson' option uses the separated Hermite-Simpson transcription approach, which allows control values at mesh interval midpoints to be free variables (see Betts textbook for more details). The setting interpolate_control_midpoints constrains control midpoint variables to be linearly interpolated from the mesh interval endpoint values (default and recommended setting). If solving problems including model kinematic constraints, the 'hermite-simpson' option is required (see Kinematic constraints section below).

Path constraints on controls with Hermite-Simpson transcription

For Hermite-Simpson transcription, the direct collocation solvers enforce the path constraints (e.g., MocoPathConstraint) at only the mesh interval endpoints (not midpoints), but control signal variables exist at both mesh interval endpoints and midpoints. Keep this in mind when using path constraints on controls (e.g., MocoControlBoundConstraint). If interpolate_control_midpoints is false, the values of a control at midpoints may differ greatly from the values at mesh interval endpoints.

Multibody dynamics mode

The multibody_dynamics_mode setting allows you to choose between expressing multibody dynamics as explicit differential equations (e.g., \( \dot{y} = f(y) \)) or implicit differential equations (e.g., \( 0 = f(y, \dot{y}) \), or inverse dynamics). Whether auxiliary dynamics (e.g., muscle fiber and activation dynamics) are implicit or explicit depends on the model component implementing those dynamics.

Kinematic constraints

All holonomic kinematic constraints included as OpenSim model constraints are supported. Both the 'trapezoidal' and 'hermite-simpson' transcription schemes support kinematic constraints, but the 'hermite-transcription' scheme handles kinematic constraints much more robustly; in practice, the 'trapezoidal' scheme is not used for models with kinematic constraints. Kinematic constraints are automatically detected if present in the model and are converted to path constraints in the optimal control problem based on the method presented in Posa et al. 2016, 'Optimization and stabilization of trajectories for constrained dynamical systems'; see Kinematic constraints. The minimize_lagrange_multipliers and lagrange_multiplier_weight settings allow you to enable and set the weight for the minimization of all Lagrange multipliers associated with kinematic constraints in the problem. The velocity_correction_bounds setting allows you to set the bounds on the velocity correction variables that project state variables onto the constraint manifold when necessary to properly enforce defect constraints (see Posa et al. 2016 for details).

Member Function Documentation

◆ clone()

MocoDirectCollocationSolver* OpenSim::MocoDirectCollocationSolver::clone ( ) const
overridepure virtual

Create a new heap-allocated copy of the concrete object to which this Object refers.

It is up to the caller to delete the returned object when no longer needed. Every concrete object deriving from Object implements this pure virtual method automatically, via the declaration macro it invokes (e.g., OpenSim_DECLARE_CONCRETE_OBJECT()). Note that the concrete class overrides modify the return type to be a pointer to the concrete object; that still overrides the base class method because the return type is covariant with (that is, derives from) Object.

Implements OpenSim::MocoSolver.

Implemented in OpenSim::MocoCasADiSolver.

◆ getClassName()

static const std::string& OpenSim::MocoDirectCollocationSolver::getClassName ( )
inlinestatic

This returns "MocoDirectCollocationSolver"

See getConcreteClassName() if you want the class name of the underlying concrete object instead.

◆ getConcreteClassName()

const std::string& OpenSim::MocoDirectCollocationSolver::getConcreteClassName ( ) const
overridepure virtual

Returns the class name of the concrete Object-derived class of the actual object referenced by this Object, as a string.

This is the string that is used as the tag for this concrete object in an XML file. Every concrete class derived from Object automatically overrides this method via the declaration macro it uses. See getClassName() to get the class name of the referencing (possibly abstract) class rather than the concrete object.

See also
getClassName()

Implements OpenSim::MocoSolver.

Implemented in OpenSim::MocoCasADiSolver.

◆ safeDownCast()

static MocoDirectCollocationSolver* OpenSim::MocoDirectCollocationSolver::safeDownCast ( OpenSim::Object obj)
inlinestatic

For use in MATLAB and Python to access the concrete class.

Example: cObj = MocoDirectCollocationSolver.safeDownCast(obj). This is equivalent to dynamic_cast<MocoDirectCollocationSolver*>(obj) in C++.


The documentation for this class was generated from the following file: