METHODS AND APPARATUS TO GENERATE ACCEPTABILITY CRITERIA FOR AUTONOMOUS SYSTEMS PLANS

Apparatus, systems, articles of manufacture, and methods to generate acceptability criteria for autonomous systems plans are disclosed. An example apparatus includes a data compiler to compile data generated by the autonomous system into an autonomous system task dataset, a data encoder to encode th...

Full description

Saved in:
Bibliographic Details
Main Authors Turek, Javier Sebastian, Gottschlich, Justin, Remis, Luis Carlos Maria, Alvarez, Ignacio Javier, Leon, Javier Felip, Gonzalez Aguirre, David I
Format Patent
LanguageEnglish
Published 17.10.2019
Subjects
CALCULATING
COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
COMPUTING
CONTROL OR REGULATING SYSTEMS IN GENERAL
CONTROLLING
COUNTING
FUNCTIONAL ELEMENTS OF SUCH SYSTEMS
MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS ORELEMENTS
PHYSICS
REGULATING
Online AccessGet full text

Cover

More Information
Summary:Apparatus, systems, articles of manufacture, and methods to generate acceptability criteria for autonomous systems plans are disclosed. An example apparatus includes 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.
Bibliography:Application Number: US201916456957