Skip to main content

Functional

Several auxiliary modules provided for supporting the computation.

Boundary​

  • interval boundary as interval
  • interval boundary as zonotope
  • polytope boundary as interval
  • polytope boundary as zonotope
  • zonotope boundary as zonotope

Convert​

  • from points to interval
  • from points to polytope
  • from interval to zonotope
  • from interval to polytope
  • from zonotope to interval

Enclose​

  • enclose zonotopes by zonotope

Partition​

  • split interval into cells as interval
  • split interval into cells as zonotope
  • split zonotope into cells as interval
  • split zonotope into cells as zonotope

Branch and Bound​

References​

[1]: Althoff, M., Grebenyuk, D., & Kochdumper, N. (2018). Implementation of Taylor models in CORA 2018. In Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems.

[2]: Balakrishnan, V., Boyd, S., & Balemi, S. (1991). Branch and bound algorithm for computing the minimum stability degree of parameter‐dependent linear systems. International Journal of Robust and Nonlinear Control, 1(4), 295-317.

[3]: Lawler, E. L., & Wood, D. E. (1966). Branch-and-bound methods: A survey. Operations research, 14(4), 699-719.