Safe and Secure Practical Autonomy

Safe practical autonomy is ensured by encapsulating an unreliable or untrusted machine learning algorithm within a control-based algorithm. A safety envelope is utilized to ensure that the machine learning algorithm does not output control signals that are beyond safe thresholds or limits. Secure practical autonomy is ensured by verification using digital certificates or cryptographic signatures. The verification may be for individual partitions of an autonomous system or apparatus. The partitions include trusted and untrusted partitions. Trusted partitions are verified for security, while untrusted partitions are verified for safety and security.