▎Loyal Wingman
Simplex Architecture
Run-time assurance pattern with a verified backup controller and decision monitor.
Definition
The simplex architecture pairs a high-performance complex controller with a simple, formally verified safety controller, mediated by a decision monitor that switches to safe mode when state predicates indicate impending envelope violation. It is the canonical pattern for hosting learned policies on safety-critical platforms.
Reference attributes
- Origin
- Lui Sha, UIUC
- Components
- Complex controller, safe controller, monitor
Related terms
#safety#autonomy#control