Skip to content
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.

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

Fix bug in rate_limiter filter and add more tests #237

Open
wants to merge 7 commits into
base: ros2-master
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -81,6 +81,7 @@ ament_target_dependencies(low_pass_filter PUBLIC ${CONTROL_FILTERS_INCLUDE_DEPEN
generate_parameter_library(
rate_limiter_parameters
src/control_filters/rate_limiter_parameters.yaml
include/control_filters/custom_validators.hpp
)

add_library(rate_limiter SHARED
Expand Down Expand Up @@ -133,6 +134,12 @@ if(BUILD_TESTING)
target_link_libraries(test_load_low_pass_filter low_pass_filter low_pass_filter_parameters)
ament_target_dependencies(test_load_low_pass_filter ${CONTROL_FILTERS_INCLUDE_DEPENDS})

add_rostest_with_parameters_gmock(test_rate_limiter test/control_filters/test_rate_limiter.cpp
${CMAKE_CURRENT_SOURCE_DIR}/test/control_filters/test_rate_limiter_parameters.yaml
)
target_link_libraries(test_rate_limiter rate_limiter rate_limiter_parameters)
ament_target_dependencies(test_rate_limiter ${CONTROL_FILTERS_INCLUDE_DEPENDS})

ament_add_gmock(test_load_rate_limiter test/control_filters/test_load_rate_limiter.cpp)
target_link_libraries(test_load_rate_limiter rate_limiter rate_limiter_parameters)
ament_target_dependencies(test_load_rate_limiter ${CONTROL_FILTERS_INCLUDE_DEPENDS})
Expand Down
58 changes: 58 additions & 0 deletions include/control_filters/custom_validators.hpp
Original file line number Diff line number Diff line change
@@ -0,0 +1,58 @@
// Copyright 2024 AIT - Austrian Institute of Technology GmbH
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#ifndef CONTROL_FILTERS__CUSTOM_VALIDATORS_HPP_
#define CONTROL_FILTERS__CUSTOM_VALIDATORS_HPP_

#include <fmt/core.h>

#include <string>

#include <rclcpp/rclcpp.hpp>
#include <rsl/parameter_validators.hpp>
#include <tl_expected/expected.hpp>

namespace control_filters {

/**
* @brief gt_eq, but check only if the value is not NaN
*/
template <typename T>
tl::expected<void, std::string> gt_eq_or_nan(
rclcpp::Parameter const& parameter, T expected_value) {
auto param_value = parameter.as_double();
if (!std::isnan(param_value)) {
// check only if the value is not NaN
return rsl::gt_eq<T>(parameter, expected_value);
}
return {};
}

/**
* @brief lt_eq, but check only if the value is not NaN
*/
template <typename T>
tl::expected<void, std::string> lt_eq_or_nan(
rclcpp::Parameter const& parameter, T expected_value) {
auto param_value = parameter.as_double();
if (!std::isnan(param_value)) {
// check only if the value is not NaN
return rsl::lt_eq<T>(parameter, expected_value);
}
return {};
}

} // namespace control_filters

#endif // CONTROL_FILTERS__CUSTOM_VALIDATORS_HPP_
11 changes: 9 additions & 2 deletions include/control_filters/rate_limiter.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,7 @@

#include <Eigen/Dense>
#include <cmath>
#include <limits>
#include <memory>
#include <string>

Expand Down Expand Up @@ -77,7 +78,7 @@ bool RateLimiter<T>::configure()
logger_.reset(
new rclcpp::Logger(this->logging_interface_->get_logger().get_child(this->filter_name_)));

v0 = v1 = static_cast<T>(0.0);
v0 = v1 = std::numeric_limits<T>::quiet_NaN();

// Initialize the parameters once
if (!parameter_handler_)
Expand Down Expand Up @@ -130,9 +131,15 @@ bool RateLimiter<T>::update(const T & data_in, T & data_out)
);
}
T v = data_in;
if (std::isnan(v0))
{
// not initialized yet
v1 = v0 = v;
}
limiter->limit(v, v0, v1, static_cast<T>(parameters_.sampling_interval));
// shift the values for the next update call
v1 = v0;
v0 = data_in;
v0 = v; // use the limited value
data_out = v;
return true;
}
Expand Down
48 changes: 24 additions & 24 deletions include/control_toolbox/rate_limiter.hpp
Original file line number Diff line number Diff line change
Expand Up @@ -49,14 +49,14 @@ class RateLimiter
* If min_first_derivative_pos/max_first_derivative_neg values are NAN, symmetric limits are used
*/
RateLimiter(
T min_value = std::numeric_limits<double>::quiet_NaN(),
T max_value = std::numeric_limits<double>::quiet_NaN(),
T min_first_derivative_neg = std::numeric_limits<double>::quiet_NaN(),
T max_first_derivative_pos = std::numeric_limits<double>::quiet_NaN(),
T min_first_derivative_pos = std::numeric_limits<double>::quiet_NaN(),
T max_first_derivative_neg = std::numeric_limits<double>::quiet_NaN(),
T min_second_derivative = std::numeric_limits<double>::quiet_NaN(),
T max_second_derivative = std::numeric_limits<double>::quiet_NaN());
T min_value = std::numeric_limits<T>::quiet_NaN(),
T max_value = std::numeric_limits<T>::quiet_NaN(),
T min_first_derivative_neg = std::numeric_limits<T>::quiet_NaN(),
T max_first_derivative_pos = std::numeric_limits<T>::quiet_NaN(),
T min_first_derivative_pos = std::numeric_limits<T>::quiet_NaN(),
T max_first_derivative_neg = std::numeric_limits<T>::quiet_NaN(),
T min_second_derivative = std::numeric_limits<T>::quiet_NaN(),
T max_second_derivative = std::numeric_limits<T>::quiet_NaN());

/**
* \brief Limit the value and first_derivative
Expand Down Expand Up @@ -114,14 +114,14 @@ class RateLimiter
* If min_first_derivative_pos/max_first_derivative_neg values are NAN, symmetric limits are used
*/
void set_params(
T min_value = std::numeric_limits<double>::quiet_NaN(),
T max_value = std::numeric_limits<double>::quiet_NaN(),
T min_first_derivative_neg = std::numeric_limits<double>::quiet_NaN(),
T max_first_derivative_pos = std::numeric_limits<double>::quiet_NaN(),
T min_first_derivative_pos = std::numeric_limits<double>::quiet_NaN(),
T max_first_derivative_neg = std::numeric_limits<double>::quiet_NaN(),
T min_second_derivative = std::numeric_limits<double>::quiet_NaN(),
T max_second_derivative = std::numeric_limits<double>::quiet_NaN());
T min_value = std::numeric_limits<T>::quiet_NaN(),
T max_value = std::numeric_limits<T>::quiet_NaN(),
T min_first_derivative_neg = std::numeric_limits<T>::quiet_NaN(),
T max_first_derivative_pos = std::numeric_limits<T>::quiet_NaN(),
T min_first_derivative_pos = std::numeric_limits<T>::quiet_NaN(),
T max_first_derivative_neg = std::numeric_limits<T>::quiet_NaN(),
T min_second_derivative = std::numeric_limits<T>::quiet_NaN(),
T max_second_derivative = std::numeric_limits<T>::quiet_NaN());

private:
// Enable/Disable value/first_derivative/second_derivative limits:
Expand All @@ -130,18 +130,18 @@ class RateLimiter
bool has_second_derivative_limits_ = true;

// value limits:
T min_value_ = std::numeric_limits<double>::quiet_NaN();
T max_value_ = std::numeric_limits<double>::quiet_NaN();
T min_value_ = std::numeric_limits<T>::quiet_NaN();
T max_value_ = std::numeric_limits<T>::quiet_NaN();

// first_derivative limits:
T min_first_derivative_neg_ = std::numeric_limits<double>::quiet_NaN();
T max_first_derivative_pos_ = std::numeric_limits<double>::quiet_NaN();
T min_first_derivative_pos_ = std::numeric_limits<double>::quiet_NaN();
T max_first_derivative_neg_ = std::numeric_limits<double>::quiet_NaN();
T min_first_derivative_neg_ = std::numeric_limits<T>::quiet_NaN();
T max_first_derivative_pos_ = std::numeric_limits<T>::quiet_NaN();
T min_first_derivative_pos_ = std::numeric_limits<T>::quiet_NaN();
T max_first_derivative_neg_ = std::numeric_limits<T>::quiet_NaN();

// second_derivative limits:
T min_second_derivative_ = std::numeric_limits<double>::quiet_NaN();
T max_second_derivative_ = std::numeric_limits<double>::quiet_NaN();
T min_second_derivative_ = std::numeric_limits<T>::quiet_NaN();
T max_second_derivative_ = std::numeric_limits<T>::quiet_NaN();
};

template <typename T>
Expand Down
34 changes: 33 additions & 1 deletion src/control_filters/rate_limiter_parameters.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -3,38 +3,70 @@ rate_limiter:
type: double,
description: "Sampling interval in seconds",
validation: {
gt<>: [0.0]
gt<>: [0.0],
},
}
max_value: {
type: double,
default_value: .NAN,
description: "Maximum value, e.g. [m/s]",
validation: {
"control_filters::gt_eq_or_nan<>": [0.0]
},
Comment on lines 11 to +15
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is infinite a better default value here? Or Nan is better?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

in principle you are right, and it would already work setting it + or -infinite. However, NaN is the default value of the diff_drive_controller. And the logic of "copying the positive value if negative is not given" would not work because infinite is a valid limit 🤔

}
min_value: {
type: double,
default_value: .NAN,
description: "Minimum value, e.g. [m/s]",
validation: {
"control_filters::lt_eq_or_nan<>": [0.0]
},
}
max_first_derivative_pos: {
type: double,
default_value: .NAN,
description: "Maximum value of the first derivative if **value** is positive, e.g. [m/s^2]",
validation: {
"control_filters::gt_eq_or_nan<>": [0.0]
},
}
min_first_derivative_pos: {
type: double,
default_value: .NAN,
description: "Minimum value of the first derivative if **value** is positive, e.g. [m/s^2]",
validation: {
"control_filters::lt_eq_or_nan<>": [0.0]
},
}
max_first_derivative_neg: {
type: double,
default_value: .NAN,
description: "Maximum value of the first derivative if **value** is negative, e.g. [m/s^2]",
validation: {
"control_filters::gt_eq_or_nan<>": [0.0]
},
}
min_first_derivative_neg: {
type: double,
default_value: .NAN,
description: "Minimum value of the first derivative if **value** is negative, e.g. [m/s^2]",
validation: {
"control_filters::lt_eq_or_nan<>": [0.0]
},
}
max_second_derivative: {
type: double,
default_value: .NAN,
description: "Maximum value of the second derivative, e.g. [m/s^3]",
validation: {
"control_filters::gt_eq_or_nan<>": [0.0]
},
}
min_second_derivative: {
type: double,
default_value: .NAN,
description: "Minimum value of the second derivative, e.g. [m/s^3]",
validation: {
"control_filters::lt_eq_or_nan<>": [0.0]
},
}
2 changes: 1 addition & 1 deletion test/control_filters/test_load_rate_limiter.cpp
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
// Copyright (c) 2023, Stogl Robotics Consulting UG (haftungsbeschränkt)
// Copyright 2024 AIT - Austrian Institute of Technology GmbH
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
Expand Down
101 changes: 101 additions & 0 deletions test/control_filters/test_rate_limiter.cpp
Original file line number Diff line number Diff line change
@@ -0,0 +1,101 @@
// Copyright 2024 AIT - Austrian Institute of Technology GmbH
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

#include "test_rate_limiter.hpp"

TEST_F(RateLimiterTest, TestRateLimiterAllParameters)
{
std::shared_ptr<filters::FilterBase<double>> filter_ =
std::make_shared<control_filters::RateLimiter<double>>();

// should allow configuration and find parameters in sensor_filter_chain param namespace
ASSERT_TRUE(filter_->configure("", "TestRateLimiter",
node_->get_node_logging_interface(), node_->get_node_parameters_interface()));

// change a parameter
node_->set_parameter(rclcpp::Parameter("sampling_interval", 0.5));
// accept second call to configure with valid parameters to already configured filter
ASSERT_TRUE(filter_->configure("", "TestRateLimiter",
node_->get_node_logging_interface(), node_->get_node_parameters_interface()));
}


TEST_F(RateLimiterTest, TestRateLimiterMissingParameter)
{
std::shared_ptr<filters::FilterBase<double>> filter_ =
std::make_shared<control_filters::RateLimiter<double>>();

// should deny configuration as sampling_interval is missing
ASSERT_FALSE(filter_->configure("", "TestRateLimiter",
node_->get_node_logging_interface(), node_->get_node_parameters_interface()));
}

TEST_F(RateLimiterTest, TestRateLimiterInvalidThenFixedParameter)
{
std::shared_ptr<filters::FilterBase<double>> filter_ =
std::make_shared<control_filters::RateLimiter<double>>();

// should deny configuration as sampling_interval is invalid
ASSERT_FALSE(filter_->configure("", "TestRateLimiter",
node_->get_node_logging_interface(), node_->get_node_parameters_interface()));

// fix the param
node_->set_parameter(rclcpp::Parameter("sampling_interval", 1.0));
// should allow configuration and pass second call to unconfigured filter
ASSERT_TRUE(filter_->configure("", "TestRateLimiter",
node_->get_node_logging_interface(), node_->get_node_parameters_interface()));
}

TEST_F(RateLimiterTest, TestRateLimiterThrowsUnconfigured)
{
std::shared_ptr<filters::FilterBase<double>> filter_ =
std::make_shared<control_filters::RateLimiter<double>>();
double in, out;
ASSERT_THROW(filter_->update(in, out), std::runtime_error);
}

TEST_F(RateLimiterTest, TestRateLimiterCompute)
{
std::shared_ptr<filters::FilterBase<double>> filter_ =
std::make_shared<control_filters::RateLimiter<double>>();

ASSERT_TRUE(filter_->configure("", "TestRateLimiter",
node_->get_node_logging_interface(), node_->get_node_parameters_interface()));

double in = 10.0, out;
for (int i = 0; i < 10; i++)
{
ASSERT_NO_THROW(filter_->update(in, out));
// no change
EXPECT_THAT(out, ::testing::DoubleEq(in));
}
in = 0.0;
// takes 12 steps to reach 0 (first and second derivative limits)
for (int i = 0; i < 11; i++)
{
ASSERT_NO_THROW(filter_->update(in, out));
EXPECT_THAT(out, ::testing::Not(::testing::DoubleNear(in, 1e-6))) << "i=" << i;
}
ASSERT_NO_THROW(filter_->update(in, out));
EXPECT_THAT(out, ::testing::DoubleNear(in, 1e-6));
}

int main(int argc, char ** argv)
{
::testing::InitGoogleTest(&argc, argv);
rclcpp::init(argc, argv);
int result = RUN_ALL_TESTS();
rclcpp::shutdown();
return result;
}
Loading