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
On the Computation of Controlled Invariant and Output Invisible Subspaces for Parameter-Dependent Systems
Sign Up to like & getrecommendations! Published in 2024 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2024.3356170
Abstract: This article proposes a new approach for computing controlled invariant and output invisible subspaces of parameter-dependent systems. Nonstrictly proper systems are considered, and the system matrices can exhibit a polynomial dependence on the parameter. The… read more here.
Keywords: controlled invariant; parameter dependent; invisible subspaces; invariant output ... 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