Model checking for autonomous vehicles
First Claim
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.
7 Assignments
0 Petitions
Accused Products
Abstract
In an example method, a vehicle configured to operate in an autonomous mode could predict an output of the vehicle based on an input provided to control the vehicle and a state of the vehicle. The method could include receiving an indication of an input from at least one input-indication sensor and an indication of an output from at least one output-indication sensor. A predicted output value could be calculated based on the indication of the input and a state of the vehicle. The predicted output value could be compared with the indication of the output. If the comparison is not within a threshold range, an alert indicator could be created. Upon creating the alert indicator, an alert action could be activated.
123 Citations
11 Claims
-
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 Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9, 10)
-
-
11. A method comprising:
-
receiving, at a computing system from at least one input-indication sensor, an indication of an input provided to a braking system of a vehicle, wherein the computing system is operating the braking system in an autonomous mode; receiving, at the computing system from at least one output-indication sensor, an indication of an output of the braking system of the vehicle; determining, by the computing system, a predicted output value based on the indication of the input, a state of the vehicle, and a wear coefficient indicative of wear associated with the braking system, wherein the state of the vehicle includes at least a speed of the vehicle; determining whether the predicted output value is within a threshold range of the indication of the output; and based on determining that the predicted output value is not within the threshold range of the indication of the output, causing, by the computing system, the braking system to perform an alert action that includes at least reducing the speed of the vehicle.
-
Specification