1 paper · 1 filter
Promit Panja, André Platzer
Control invariance validates that dynamical systems have a control input that preserves a given property at all times. This paper introduces a set of sound axioms and proof rules i…