block FallingEdge "Output y is true, if the input u has a falling edge (y = edge(not u))"
parameter Boolean pre_u_start = false "Start value of pre(u) at initial time";
extends Blocks.Interfaces.partialBooleanSISO;
protected
Boolean not_u = not u;
initial equation
pre(not_u) = not pre_u_start;
equation
y = edge(not_u);
annotation (
Icon(
coordinateSystem(
preserveAspectRatio = true,
extent = {
{-100, -100},
{100, 100}}),
graphics = {
Text(
extent = {
{-90, 40},
{90, -40}},
textString = "falling")}),
Documentation(info = "<html>\n<p>\nThe output is <strong>true</strong> if the Boolean input has a falling edge\nfrom <strong>true</strong> to <strong>false</strong>, otherwise\nthe output is <strong>false</strong>.\n</p>\n</html>"));
end FallingEdge;