Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published July 2019 | public
Book Section - Chapter

Realizable Set Invariance Conditions for Cyber-Physical Systems

Abstract

There is currently a gap between control-theoretical results and the reality of robotic implementations-this makes it difficult to transfer analytical guarantees to practice. This problem is especially troubling when it comes to safety guarantees for safety-critical systems. In this paper we seek to help bridge this gap. We first make a clear theoretical distinction between a system and a model, and outline how the two need to be related for guarantees to transfer from the latter to the former. We then introduce various imperfections into the model, including uncertainty in actuation and sensing, as well as time discretization effects from digital control implementations. These assumptions lead to new criteria for controlled invariance to be realizable. We investigate these criteria and propose a digital control implementation for enforcing safety in the presence of uncertainty. Our ideas are illustrated with a numerical example where a ground robot satisfies safety constraints in the presence of perception noise.

Additional Information

© 2019 AACC. This work was supported by NSF CPS award #1724457 and a grant from the NASA JPL President's and Director's Fund.

Additional details

Created:
August 19, 2023
Modified:
October 18, 2023