Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems
Trevor J. Bird, Herschel C. Pangborn, Neera Jain, Justin P. Koeln
Topics & Concepts
PolytopeMathematicsHybrid systemReachabilityRegular polygonBinary numberRepresentation (politics)Minkowski additionDiscrete mathematicsMathematical optimizationAlgorithmApplied mathematicsComputer scienceLawPoliticsArithmeticMachine learningPolitical scienceGeometryFormal Methods in VerificationAdvanced Control Systems OptimizationPetri Nets in System Modeling