New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Clarify notion of "const" #42

Open

mforets opened this issue Oct 13, 2019 · 1 comment

Member

mforets commented Oct 13, 2019 •

edited

Loading

From The SpaceEx modelling language,

The parameters rup, rdown, ton, tof f are formal parameters that we need to declare
for the component. They are real-valued and scalar, and as parameters of a hybrid
automaton they do by definition not change their values during an execution of the
automaton. In the SX format, this is called const dynamics.

However, some models have dynamics = "const" for input variables (typically u) which do not explicitly have u' == 0 as a dynamical equation.

The text was updated successfully, but these errors were encountered:

Member

schillic commented Oct 13, 2019

some models have dynamics = "const" for input variables (typically u) which do not explicitly have u' == 0 as a dynamical equation.

I think this is a misuse and should result in an error.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment