Abstract
Abstract This work extends recent results on lifted controlled invariant sets for discrete-time controllable linear systems to non-convex safe sets, consisting of a union of polytopes. First, we show how to construct a closed-form expression of an invariant set in an extended state and input space using additional binary variables. A more efficient encoding is also provided albeit with additional conservativeness. By avoiding the projection of this set onto the original state space, we use this implicit representation in the lifted space as a supervisor in an online planning context where the safe set grows as new information about the environment is sensed. An example with a double-integrator model with a LiDAR sensor is used to demonstrate the overall approach.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
