Package net.maswag.falcaun

Class RoSI

java.lang.Object
net.maswag.falcaun.RoSI
public class RoSI extends Object
The RoSI class representing a robust satisfaction interval (RoSI).

A RoSI is a range of possible robustness values after concatenating a suffix.

Reference: Deshmukh, Jyotirmoy V., et al. "Robust online monitoring of signal temporal logic." Formal Methods in System Design 51 (2017): 5-30.

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    (package private) Double
    lowerBound
     
    (package private) Double
    upperBound
     

  • Constructor Summary

    Constructors
    Constructor
    Description
    RoSI(double value)
    Construct a RoSI with a single value, i.e., the lower bound and the upper bound are the same.
    RoSI(double lowerBound, double upperBound)
    Construct a RoSI with a range of values.

  • Method Summary

    Modifier and Type
    Method
    Description
    (package private) RoSI
    assignMax(RoSI element)
    Destructive max, i.e., assign the elementwise max of two RoSIs to this RoSI.
    (package private) RoSI
    assignMin(RoSI element)
    Destructive min, i.e., assign the elementwise min of two RoSIs to this RoSI.
    (package private) RoSI
    assignNegate()
    Destructive negate, i.e., assign the negated RoSI to this RoSI.
    (package private) Double
    getRobustness()
    Compute the robustness value of the RoSI as a single value.
    (package private) RoSI
    max(RoSI element)
    The elementwise max of two RoSIs.
    (package private) RoSI
    min(RoSI element)
    The elementwise min of two RoSIs.
    (package private) RoSI
    negate()
    Negate the RoSI.

    Methods inherited from class java.lang.Object

    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

  • Field Details

    • lowerBound

      Double lowerBound

    • upperBound

      Double upperBound

  • Constructor Details

    • RoSI

      RoSI(double lowerBound, double upperBound)
      Construct a RoSI with a range of values.

    • RoSI

      RoSI(double value)
      Construct a RoSI with a single value, i.e., the lower bound and the upper bound are the same.

  • Method Details

    • max

      RoSI max(RoSI element)
      The elementwise max of two RoSIs.

    • assignMax

      RoSI assignMax(RoSI element)
      Destructive max, i.e., assign the elementwise max of two RoSIs to this RoSI.
      Parameters:
      element - the RoSI to compare with
      Returns:
      this RoSI

    • min

      RoSI min(RoSI element)
      The elementwise min of two RoSIs.

    • assignMin

      RoSI assignMin(RoSI element)
      Destructive min, i.e., assign the elementwise min of two RoSIs to this RoSI.
      Parameters:
      element - the RoSI to compare with
      Returns:
      this RoSI

    • negate

      RoSI negate()
      Negate the RoSI.
      Returns:
      the negated RoSI

    • assignNegate

      RoSI assignNegate()
      Destructive negate, i.e., assign the negated RoSI to this RoSI.
      Returns:
      this RoSI

    • getRobustness

      Double getRobustness()
      Compute the robustness value of the RoSI as a single value.