Features:

ORBITADOR implements a formal method to prove formally the stability of time-periodic systems.

ORBITADOR using GUI:

ORBITADOR has a GUI distribution that simplifies the integration of the differential systems and the configuration.

Key features:

  • All the specifications of the system can be defined in the GUI tool.
  • All the results (figures + robustness check) are integrated in the GUI.
View of the main interface of the GUI version:

ORBITADOR with command line:

ORBITADOR has a command line distribution that takes as input a Python file which contains the system equations and configuration.

Key features:

  • One input Python file specifies the system (No Python skills are needed to create a file).
  • Can produces graphical outputs