Index A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | R | S | T | U | V | W | X | Y A A_lib (immrax.refinement.SampleRefinement attribute) add_rows() (immrax.parametric.Polytope method) AdjointEmbedding (class in immrax.parametric) all_corners() (in module immrax.inclusion) all_permutations() (in module immrax.inclusion) alpha (immrax.parametric.Parametope attribute) angular_sweep() (in module immrax.utils) arr (immrax.inclusion.Permutation property) atleast_1d() (immrax.inclusion.Interval method) atleast_2d() (immrax.inclusion.Interval method) atleast_3d() (immrax.inclusion.Interval method) B bot_corner() (in module immrax.inclusion) C center (immrax.inclusion.Interval property) check_containment() (in module immrax.utils) compute_reachset() (immrax.parametric.ParametopeEmbedding method) compute_trajectory() (immrax.system.System method) Control (class in immrax.control) control (immrax.control.ControlledSystem attribute) ControlledSystem (class in immrax.control) Corner (class in immrax.inclusion) crown() (in module immrax.neural) CROWNResult (class in immrax.neural) D d_metzler() (in module immrax.utils) d_positive() (in module immrax.utils) dir (immrax.neural.NeuralNetwork attribute) draw_iarray() (in module immrax.utils) draw_iarray_3d() (in module immrax.utils) draw_iarrays() (in module immrax.utils) draw_iarrays_3d() (in module immrax.utils) draw_refined_trajectory_2d() (in module immrax.utils) draw_sg_union() (in module immrax.utils) draw_trajectory_2d() (in module immrax.utils) dtype (immrax.inclusion.Interval property) (immrax.parametric.Parametope property) E E() (immrax.embedding.EmbeddingSystem method) (immrax.embedding.InclusionEmbedding method) (immrax.neural.NNCEmbeddingSystem method) Ellipsoid (class in immrax.parametric) embed() (in module immrax.embedding) EmbeddingSystem (class in immrax.embedding) evolution (immrax.system.System attribute) F F (immrax.embedding.InclusionEmbedding attribute) f() (immrax.control.ControlledSystem method) (immrax.embedding.EmbeddingSystem method) (immrax.system.LiftedSystem method) (immrax.system.LinearTransformedSystem method) (immrax.system.OpenLoopSystem method) (immrax.system.ReversedSystem method) (immrax.system.System method) fastlin() (in module immrax.neural) FastlinAdjointEmbedding (class in immrax.parametric) FastlinResult (class in immrax.neural) Fi (immrax.embedding.InclusionEmbedding attribute) from_diffrax() (immrax.system.Trajectory static method) from_interval() (immrax.parametric.L2Normotope class method) (immrax.parametric.LinfNormotope class method) (immrax.parametric.Polytope class method) from_normotope() (immrax.parametric.L2Normotope class method) (immrax.parametric.LinfNormotope class method) from_parametope() (immrax.parametric.Ellipsoid class method) (immrax.parametric.hParametope class method) (immrax.parametric.Normotope class method) (immrax.parametric.Parametope class method) (immrax.parametric.Polytope class method) G g() (immrax.parametric.hParametope method) (immrax.parametric.Normotope method) (immrax.parametric.Parametope method) gen_ics() (in module immrax.utils) get_corner() (in module immrax.inclusion) get_corners() (in module immrax.inclusion) (in module immrax.utils) get_faces() (in module immrax.embedding) get_half_intervals() (in module immrax.utils) get_partitions_ut() (in module immrax.utils) get_refine_func() (immrax.refinement.LinProgRefinement method) (immrax.refinement.NullVecRefinement method) (immrax.refinement.SampleRefinement method) get_sparse_corners() (in module immrax.inclusion) get_vertices() (immrax.parametric.Polytope method) H H (immrax.parametric.Normotope property) (immrax.parametric.Polytope property) (immrax.refinement.LinProgRefinement attribute) (immrax.refinement.SampleRefinement attribute) (immrax.system.LiftedSystem attribute) h() (immrax.parametric.Ellipsoid method) (immrax.parametric.hParametope method) (immrax.parametric.L2Normotope method) (immrax.parametric.LinfNormotope method) (immrax.parametric.Normotope method) (immrax.parametric.Polytope method) hinv() (immrax.parametric.Ellipsoid method) (immrax.parametric.hParametope method) (immrax.parametric.L2Normotope method) (immrax.parametric.LinfNormotope method) (immrax.parametric.Normotope method) (immrax.parametric.Polytope method) Hp (immrax.refinement.SampleRefinement attribute) (immrax.system.LiftedSystem attribute) hParametope (class in immrax.parametric) I i2centpert() (in module immrax.inclusion) i2lu() (in module immrax.inclusion) i2ut() (in module immrax.inclusion) icentpert() (in module immrax.inclusion) iconcatenate() (in module immrax.inclusion) icopy() (in module immrax.inclusion) ifemb() (in module immrax.embedding) immrax.control module immrax.embedding module immrax.inclusion module immrax.neural module immrax.parametric module immrax.refinement module immrax.system module immrax.utils module InclusionEmbedding (class in immrax.embedding) induced_norm() (immrax.parametric.L2Normotope class method) (immrax.parametric.LinfNormotope class method) (immrax.parametric.Normotope class method) Interval (class in immrax.inclusion) interval() (in module immrax.inclusion) interval_intersect() (in module immrax.inclusion) interval_union() (in module immrax.inclusion) iy (immrax.parametric.Polytope property) izeros() (in module immrax.inclusion) J jacemb() (in module immrax.embedding) jacif() (in module immrax.inclusion) jacM() (in module immrax.inclusion) K K (immrax.control.LinearControl attribute) k_face() (immrax.parametric.hParametope method) L L2Normotope (class in immrax.parametric) LiftedSystem (class in immrax.system) LinearControl (class in immrax.control) LinearTransformedSystem (class in immrax.system) LinfNormotope (class in immrax.parametric) LinProgRefinement (class in immrax.refinement) loadnpy() (immrax.neural.NeuralNetwork method) loadzeros() (immrax.neural.NeuralNetwork method) logarithmic_norm() (immrax.parametric.L2Normotope class method) (immrax.parametric.LinfNormotope class method) (immrax.parametric.Normotope class method) lower (immrax.inclusion.Interval attribute) lu2i() (in module immrax.inclusion) lud (immrax.neural.FastlinResult property) ly (immrax.parametric.Polytope property) M M_locality (immrax.neural.NNCEmbeddingSystem attribute) mat (immrax.inclusion.Permutation property) mjacemb() (in module immrax.embedding) mjacif() (in module immrax.inclusion) mjacM() (in module immrax.inclusion) module immrax.control immrax.embedding immrax.inclusion immrax.neural immrax.parametric immrax.refinement immrax.system immrax.utils mtx (immrax.inclusion.Permutation property) mu() (immrax.parametric.Normotope class method) N N (immrax.refinement.SampleRefinement attribute) natemb() (in module immrax.embedding) natif() (in module immrax.inclusion) ndim (immrax.inclusion.Interval property) NeuralNetwork (class in immrax.neural) nn_locality (immrax.neural.NNCEmbeddingSystem attribute) nn_verifier (immrax.neural.NNCEmbeddingSystem attribute) NNCEmbeddingSystem (class in immrax.neural) NNCSystem (class in immrax.neural) Normotope (class in immrax.parametric) null_space() (in module immrax.utils) null_vec (immrax.refinement.NullVecRefinement attribute) NullVecRefinement (class in immrax.refinement) num_samples (immrax.refinement.SampleRefinement attribute) O olsystem (immrax.control.ControlledSystem attribute) one_d_proj() (immrax.parametric.Polytope method) OpenLoopSystem (class in immrax.system) out_len (immrax.neural.NeuralNetwork attribute) ox (immrax.parametric.Parametope attribute) P P (immrax.parametric.Ellipsoid property) Parametope (class in immrax.parametric) ParametopeEmbedding (class in immrax.parametric) Permutation (class in immrax.inclusion) pert (immrax.inclusion.Interval property) plot_interval_t() (in module immrax.utils) plot_projection() (immrax.parametric.Ellipsoid method) (immrax.parametric.L2Normotope method) (immrax.parametric.LinfNormotope method) (immrax.parametric.Normotope method) (immrax.parametric.Polytope method) Polytope (class in immrax.parametric) R ravel() (immrax.inclusion.Interval method) reshape() (immrax.inclusion.Interval method) ReversedSystem (class in immrax.system) run_times() (in module immrax.utils) S SampleRefinement (class in immrax.refinement) save() (immrax.neural.NeuralNetwork method) seq (immrax.neural.NeuralNetwork attribute) set_columns_from_corner() (in module immrax.utils) sg_box() (in module immrax.utils) sg_boxes() (in module immrax.utils) shape (immrax.inclusion.Interval property) size (immrax.inclusion.Interval property) standard_permutation() (in module immrax.inclusion) sub() (immrax.inclusion.Permutation method) sys (immrax.embedding.EmbeddingSystem attribute) (immrax.embedding.InclusionEmbedding attribute) (immrax.neural.NNCEmbeddingSystem attribute) (immrax.parametric.ParametopeEmbedding attribute) (immrax.system.LiftedSystem attribute) (immrax.system.LinearTransformedSystem attribute) (immrax.system.ReversedSystem attribute) sys_mjacM (immrax.neural.NNCEmbeddingSystem attribute) System (class in immrax.system) T T (immrax.inclusion.Interval property) tfinite (immrax.system.Trajectory attribute) timed() (in module immrax.utils) to_polytope() (immrax.parametric.LinfNormotope method) top_corner() (in module immrax.inclusion) Trajectory (class in immrax.system) TransformEmbedding (class in immrax.embedding) transpose() (immrax.inclusion.Interval method) tree_flatten() (immrax.inclusion.Interval method) (immrax.parametric.Parametope method) (immrax.system.Trajectory method) tree_unflatten() (immrax.inclusion.Interval class method) (immrax.parametric.hParametope class method) (immrax.parametric.Parametope class method) (immrax.system.Trajectory class method) ts (immrax.system.Trajectory property) two_corners() (in module immrax.inclusion) two_permutations() (in module immrax.inclusion) U u() (immrax.control.Control method) (immrax.control.LinearControl method) (immrax.neural.NeuralNetwork method) unvec() (immrax.parametric.Normotope class method) upper (immrax.inclusion.Interval attribute) ut2i() (in module immrax.inclusion) uy (immrax.parametric.Polytope property) V V() (immrax.parametric.Ellipsoid method) vec() (immrax.parametric.Normotope method) verifier (immrax.neural.NNCEmbeddingSystem attribute) W width (immrax.inclusion.Interval property) X xlen (immrax.system.System attribute) Y y (immrax.parametric.Parametope attribute) ys (immrax.system.Trajectory property)