search

ariadne-cps / ariadne

C++ framework for rigorous computation on cyber-physical systems
http://www.ariadne-cps.org
GNU General Public License v3.0
28 stars 9 forks source link

Provide support for parameterised systems #400

Open pietercollins opened 4 years ago

pietercollins commented 4 years ago

Provide modelling, evolution and reachability analysis support for dynamics systems with parameters which do not change in time.

Propose adding a new variable type UnchangingVariable<T>, with aliases Parameter<T> and RealParameter. Such a variable can be constructed using unchanging(v). A dynamic system takes a list of RealParameter values in its definition. These values may be used to define the dynamics.

When performing system evolution, they can be initialised either to a fixed value, or to a range of values. The evolved point is then a function of the initial state, the parameters, and the time.

pietercollins commented 4 years ago

Makes use of the parameterised integration routines #283.