A Contract Theory for Layered Control Architectures

Manuel Mazo, Will Compton, Max H. Cohen +1

Autonomous systems typically leverage layered control architectures with a combination of discrete and continuous models operating at different timescales. As a result, layered sys…