no code implementations • 4 Nov 2021 • Rafael Rodrigues da Silva, Kunal Yadav, Hai Lin
This paper describes a Python toolbox for active perception and control synthesis of probabilistic signal temporal logic (PrSTL) formulas of switched linear systems with additive Gaussian disturbances and measurement noises.
no code implementations • 3 Nov 2021 • Rafael Rodrigues da Silva, Vince Kurtz, Hai Lin
This work combines symbolic control with active perception to achieve complex tasks in a partially observed and noisy control system with hybrid dynamics.