US 11,921,473 B2
Methods and apparatus to generate acceptability criteria for autonomous systems plans
Javier Felip Leon, Hillsboro, OR (US); Javier Sebastian Turek, Beaverton, OR (US); David I. Gonzalez Aguirre, Hillsboro, OR (US); Ignacio Javier Alvarez, Portland, OR (US); Luis Carlos Maria Remis, Hillsboro, OR (US); and Justin Gottschlich, Santa Clara, CA (US)
Assigned to INTEL CORPORATION, Santa Clara, CA (US)
Filed by Intel Corporation, Santa Clara, CA (US)
Filed on Jun. 28, 2019, as Appl. No. 16/456,957.
Prior Publication US 2019/0317455 A1, Oct. 17, 2019
Int. Cl. G05B 13/02 (2006.01); G05B 13/04 (2006.01); G06N 3/086 (2023.01); G06N 3/088 (2023.01); G06N 20/00 (2019.01)
CPC G05B 13/027 (2013.01) [G05B 13/04 (2013.01); G06N 3/086 (2013.01); G06N 3/088 (2013.01); G06N 20/00 (2019.01)] 25 Claims
OG exemplary drawing
 
1. An apparatus for validating commands of an autonomous system, the apparatus comprising:
a data compiler to compile data generated by the autonomous system into an autonomous system task dataset;
a data encoder to encode the dataset for input into a rule distillation neural network architecture;
a model trainer to train the rule distillation neural network architecture;
an adaptor to adapt the trained rule distillation neural network architecture to a new input data domain using the autonomous system task dataset;
a verifier to generate formally verified acceptability criteria; and
an inferer to evaluate a control command, the evaluation resulting in an acceptance or rejection of the command.