×

Model checking for autonomous vehicles

  • US 9,315,178 B1
  • Filed: 04/13/2012
  • Issued: 04/19/2016
  • Est. Priority Date: 04/13/2012
  • Status: Active Grant
First Claim
Patent Images

1. An apparatus comprising:

  • at least one input-indication sensor configured to provide an indication of an input provided to a braking system of a vehicle, wherein the vehicle is operating the braking system in an autonomous mode;

    at least one output-indication sensor configured to provide an indication of an output associated with the braking system of the vehicle;

    a processor configured to;

    i) calculate a predicted output value associated with the braking system based on the indication of the input received from the at least one input-indication sensor, a state of the vehicle, and on a coefficient indicative of a value used to at least partially compensate for a change in a performance of the braking system of the vehicle, wherein the predicted output value associated with the braking system is further based on a wear coefficient indicative of wear associated with the braking system;

    ii) compare the predicted output value with the indication of the output; and

    iii) if the comparison is not within a threshold range, create an alert indicator indicative of a malfunction of the braking system of the vehicle; and

    a computing system having an alert module for activating an alert action responsive to the processor creating the alert indictor.

View all claims
  • 7 Assignments
Timeline View
Assignment View
    ×
    ×