Login / Signup

Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems.

Trevor J. BirdHerschel C. PangbornNeera JainJustin P. Koeln
Published in: Autom. (2023)
Keyphrases
  • dynamical systems
  • qualitative simulation
  • sufficient conditions
  • reachability analysis
  • search algorithm
  • dynamic systems
  • nonlinear dynamical systems