Robust Successor and Precursor Sets of Hybrid Systems Using Hybrid Zonotopes

Jacob A. Siefert, Trevor J. Bird, Justin P. Koeln, Neera Jain, Herschel C. Pangborn

Research output: Contribution to journalArticlepeer-review

3 Scopus citations

Abstract

This letter presents identities for calculating robust successor and precursor sets of discrete-time linear hybrid systems. The proposed technique relies on generating a set containing all possible state transitions of a dynamic system over a region of interest, named the state-update set. Forward and backward reachability can then be performed using only projection, intersection, and Minkowski difference set operations with the state-update set. It is shown how state-update sets may be defined as hybrid zonotopes for mixed logical dynamical systems and linear systems in closed loop with model predictive control.

Original languageEnglish (US)
Pages (from-to)355-360
Number of pages6
JournalIEEE Control Systems Letters
Volume7
DOIs
StatePublished - 2023

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Control and Optimization

Fingerprint

Dive into the research topics of 'Robust Successor and Precursor Sets of Hybrid Systems Using Hybrid Zonotopes'. Together they form a unique fingerprint.

Cite this