Invariant set analysis for SISO discrete-time polynomial systems with dynamic quantizers: Invariant set analysis for SISO discrete-time polynomial systems with dynamic quantizers
Sign Up to like & getrecommendations! Published in 2018 at "International Journal of Robust and Nonlinear Control"
DOI: 10.1002/rnc.4326
Abstract: This paper deals with the stability analysis problem of discrete‐time polynomial systems subject to input quantization. The quantizer under consideration is supposed to be dynamic. Indeed, considering the quantization error as bounded disturbances, the regional… read more here.
Keywords: discrete time; analysis; time polynomial; invariant set ... See more keywords
On sample-based computations of invariant sets
Sign Up to like & getrecommendations! Published in 2018 at "Nonlinear Dynamics"
DOI: 10.1007/s11071-018-4512-7
Abstract: In this paper, the classical problem of uncovering the maximal invariant set of a (discrete-time) dynamical system is illuminated from a novel perspective, which in particular leads to a novel sample-based computational procedure to compute… read more here.
Keywords: sample based; computations invariant; invariant set; invariant sets ... See more keywords
Invariant Set Design for Constrained Discrete-Time Linear Systems with Bounded Matched Disturbance
Sign Up to like & getrecommendations! Published in 2018 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2018.11.081
Abstract: Abstract Invariant set theory has been recognized as an important tool for control design of constrained systems subject to disturbances. Indeed, for a given control law, entering an invariant set guarantees recursive state and input… read more here.
Keywords: bounded matched; discrete time; invariant set; linear systems ... See more keywords
Tree-Structured Polyhedral Invariant Set Calculations
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Control Systems Letters"
DOI: 10.1109/lcsys.2019.2945721
Abstract: This letter provides a description of how hierarchical dependencies between inequalities can be exploited in order to efficiently calculate polyhedral approximations of maximal robust positive invariant sets using geometrically motivated methods. Due to the hierarchical… read more here.
Keywords: structured polyhedral; polyhedral invariant; invariant set; set calculations ... See more keywords
Robust Invariant Sets Computation for Discrete-Time Perturbed Nonlinear Systems
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2021.3063315
Abstract: In this article, we study the maximal robust invariant set estimation problem for discrete-time perturbed nonlinear systems within the optimal control framework. The maximal robust invariant set of interest is a set of all states… read more here.
Keywords: invariant set; discrete time; maximal robust; robust invariant ... See more keywords
Exact Computation of Maximal Invariant Sets for Safe Markov Chains—Lattice Theoretic Approach
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2022.3211959
Abstract: Set theoretic analysis plays a crucial part in understanding safety requirements for control systems. We apply the lattice theoretic insights of fixed point theorems to construct the maximal invariant set and verify safety constraint satisfaction.… read more here.
Keywords: maximal invariant; safety; lattice theoretic; invariant set ... 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