Computing Robust Controlled Invariant Sets of Linear Systems
Sign Up to like & getrecommendations! Published in 2017 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2017.2672859
Abstract: We consider controllable linear discrete-time systems with bounded perturbations and present two methods to compute robust controlled invariant sets. The first method tolerates an arbitrarily small constraint violation to compute an arbitrarily precise outer approximation… read more here.
Keywords: sets linear; robust controlled; controlled invariant; computing robust ... See more keywords
Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"
DOI: 10.1109/tcad.2018.2858464
Abstract: This paper employs correct-by-construction control synthesis, in particular controlled invariant set computations, for falsification. Our hypothesis is that if it is possible to compute a “large enough” controlled invariant set either for the actual system… read more here.
Keywords: controlled invariant; control; corner cases; control synthesis ... See more keywords