Index

A

a2v() (ml4cps.nn.rbm.ThreeWayBinaryBinaryRBM method) accepts() (ml4cps.automata.base.Automaton method) action_space (ml4cps.control.base.EnvironmentTA property) add_final_state() (ml4cps.automata.base.Automaton method) add_initial_state() (ml4cps.automata.base.Automaton method) add_single_transition() (ml4cps.automata.base.Automaton method) add_state() (ml4cps.automata.base.Automaton method)

add_state_data() (ml4cps.automata.base.Automaton method) add_states_from() (ml4cps.automata.base.Automaton method) add_transition() (ml4cps.automata.base.Automaton method) add_transitions_from() (ml4cps.automata.base.Automaton method) Agent (class in ml4cps.control.base) apply_sim_event() (ml4cps.cps.base.CPSComponent method) Automaton (class in ml4cps.automata.base)

B

binary_ordinal_encode() (in module ml4cps.tools) BinaryBinaryRBM (class in ml4cps.nn.rbm)

buck_converter() (in module ml4cps.examples.examples) BuckConverter (class in ml4cps.examples.examples) build_pta() (in module ml4cps.automata.learn)

C

calculate_decision() (ml4cps.cps.decisions.DecisionMaker method) close() (ml4cps.control.base.EnvironmentTA method) com (ml4cps.cps.base.CPS attribute) composite_f1_score() (in module ml4cps.tools) compute_purity() (in module ml4cps.tools) computeDistance() (in module ml4cps.automata.learn) context() (ml4cps.cps.base.CPSComponent method) continuous_dynamics_process() (ml4cps.cps.base.CPSComponent method)

contrastive_divergence() (ml4cps.nn.rbm.ThreeWayBinaryBinaryRBM method) (ml4cps.nn.rbm.XBinaryRBM method) conveyor_system_sfowl() (in module ml4cps.examples.examples) copy() (ml4cps.cps.base.CPS method) (ml4cps.cps.base.CPSComponent method) CPS (class in ml4cps.cps.base) CPSComponent (class in ml4cps.cps.base) create_events_from_concurent_logs() (in module ml4cps.tools) create_events_from_signal_vectors() (in module ml4cps.tools)

D

data_list_to_dataframe() (in module ml4cps.tools) DecisionMaker (class in ml4cps.cps.decisions) decode_input() (ml4cps.nn.rbm.FractionalBinaryRBM method) (ml4cps.nn.rbm.XBinaryRBM method) determinize() (ml4cps.automata.base.Automaton method) df_to_torch_tensor() (in module ml4cps.tools) dict_to_csv() (in module ml4cps.tools) dict_to_df() (in module ml4cps.tools) discrete_dynamics_process() (ml4cps.cps.base.CPSComponent method) discrete_event_dynamics() (ml4cps.automata.base.Automaton method) (ml4cps.cps.base.CPSComponent method)

discrete_state (ml4cps.automata.base.Automaton property) (ml4cps.cps.base.CPSComponent property) discrete_states (ml4cps.automata.base.Automaton property) discrete_time_dynamics_process() (ml4cps.cps.base.CPSComponent method) discretize() (ml4cps.discretization.discretization.EqualFrequencyDiscretizer method) (ml4cps.discretization.discretization.EqualWidthDiscretizer method) (ml4cps.discretization.discretization.KMeansDiscretizer method) (ml4cps.discretization.discretization.MultivariateKMeansDiscretizer method) (ml4cps.discretization.discretization.ThresholdDiscretizer method) (ml4cps.discretization.discretization.TimeSeriesDiscretizer method)

E

encode_columns_to_string() (in module ml4cps.tools) encode_nominal() (in module ml4cps.tools) encode_nominal_list_df() (in module ml4cps.tools) encode_ordinal() (in module ml4cps.tools) EnvironmentTA (class in ml4cps.control.base)

episode_length (ml4cps.control.base.EnvironmentTA property) EqualFrequencyDiscretizer (class in ml4cps.discretization.discretization) EqualWidthDiscretizer (class in ml4cps.discretization.discretization) example_two_tank_system() (in module ml4cps.reconfig.reconfig) expected_cum_reward() (ml4cps.control.base.EnvironmentTA method) extend_derivative() (in module ml4cps.tools)

F

filter_na_and_constant() (in module ml4cps.tools) filter_signals() (in module ml4cps.tools) filterChangePoints() (in module ml4cps.automata.learn) filterindx() (in module ml4cps.automata.learn) findChangePoints() (in module ml4cps.automata.learn) finish() (ml4cps.cps.base.CPSComponent method) finish_condition() (ml4cps.cps.base.CPS method) (ml4cps.cps.base.CPSComponent method) fit() (ml4cps.nn.rbm.XBinaryRBM method) flatten_dict() (in module ml4cps.tools) flatten_dict_data() (in module ml4cps.tools) flow() (ml4cps.automata.base.Automaton method)

FnDetectChangePoints() (in module ml4cps.automata.learn) FnShiftAndDiff() (in module ml4cps.automata.learn) FnTraceToTrainingData() (in module ml4cps.automata.learn) forward() (ml4cps.nn.rbm.XBinaryRBM method) FractionalBinaryRBM (class in ml4cps.nn.rbm) free_energy() (ml4cps.nn.rbm.BinaryBinaryRBM method) (ml4cps.nn.rbm.GaussianBinaryRBM method) (ml4cps.nn.rbm.PoissonBinaryRBM method) (ml4cps.nn.rbm.ReLUBinaryRBM method) (ml4cps.nn.rbm.ReluBinaryRBM method) (ml4cps.nn.rbm.ThreeWayBinaryBinaryRBM method) (ml4cps.nn.rbm.XBinaryRBM method) full_id (ml4cps.cps.base.CPSComponent property)

G

GaussianBinaryRBM (class in ml4cps.nn.rbm) generate() (ml4cps.automata.base.Automaton method) (ml4cps.nn.rbm.ThreeWayBinaryBinaryRBM method) (ml4cps.nn.rbm.XBinaryRBM method) generate_random_walk() (in module ml4cps.tools) get_all_components() (ml4cps.cps.base.CPS method) get_alternatives() (ml4cps.automata.base.Automaton method) (ml4cps.cps.base.CPSComponent method) get_binary_cols() (in module ml4cps.tools) get_component() (ml4cps.cps.base.CPS method) get_component_by_full_id() (ml4cps.cps.base.CPS method) get_components() (ml4cps.cps.base.CPS method) get_decision_making_state() (ml4cps.cps.decisions.DecisionMaker method)

get_decision_state() (ml4cps.cps.base.CPSComponent method) get_execution_data() (ml4cps.cps.base.CPS method) (ml4cps.cps.base.CPSComponent method) get_num_in() (ml4cps.automata.base.Automaton method) get_num_out() (ml4cps.automata.base.Automaton method) get_sim_state() (ml4cps.cps.base.CPSComponent method) get_transition() (ml4cps.automata.base.Automaton method) get_transitions() (ml4cps.automata.base.Automaton method) gmm_model() (ml4cps.nn.rbm.GaussianBinaryRBM method) group_components() (in module ml4cps.tools) group_data_on_discrete_state() (in module ml4cps.tools) guards() (ml4cps.automata.base.Automaton method) (ml4cps.cps.base.CPSComponent method) (ml4cps.examples.examples.BuckConverter method)

H

h2v() (ml4cps.nn.rbm.BinaryBinaryRBM method) (ml4cps.nn.rbm.GaussianBinaryRBM method) (ml4cps.nn.rbm.PoissonBinaryRBM method) (ml4cps.nn.rbm.ReLUBinaryRBM method)

hu2v() (ml4cps.nn.rbm.ThreeWayBinaryBinaryRBM method)

I

id (ml4cps.cps.base.CPS attribute) in_transitions() (ml4cps.automata.base.Automaton method) input() (ml4cps.cps.base.CPSComponent method) interpolate() (in module ml4cps.tools) inv() (ml4cps.automata.base.Automaton method) invariants() (ml4cps.cps.base.CPSComponent method)

is_decision() (ml4cps.automata.base.Automaton method) (ml4cps.cps.base.CPSComponent method) is_deterministic() (ml4cps.automata.base.Automaton method) is_state() (ml4cps.automata.base.Automaton method) is_transition() (ml4cps.automata.base.Automaton method) items() (ml4cps.cps.base.CPS method)

K

KMeansDiscretizer (class in ml4cps.discretization.discretization)

L

learn_transition_probabilities() (ml4cps.automata.base.Automaton method)

M

make_random_decision() (ml4cps.cps.decisions.DecisionMaker method) melt_dataframe() (in module ml4cps.tools) merge() (ml4cps.automata.base.Automaton method) metadata (ml4cps.control.base.EnvironmentTA attribute) ml4cps module ml4cps.automata module ml4cps.automata.base module ml4cps.automata.learn module ml4cps.control module ml4cps.control.base module ml4cps.cps module ml4cps.cps.base module ml4cps.cps.decisions module ml4cps.cps.sim module ml4cps.discretization module ml4cps.discretization.discretization module ml4cps.examples module ml4cps.examples.examples module ml4cps.log_analysis module ml4cps.nn module

ml4cps.nn.rbm module ml4cps.reconfig module ml4cps.reconfig.reconfig module ml4cps.tools module ml4cps.vis module module ml4cps ml4cps.automata ml4cps.automata.base ml4cps.automata.learn ml4cps.control ml4cps.control.base ml4cps.cps ml4cps.cps.base ml4cps.cps.decisions ml4cps.cps.sim ml4cps.discretization ml4cps.discretization.discretization ml4cps.examples ml4cps.examples.examples ml4cps.log_analysis ml4cps.nn ml4cps.nn.rbm ml4cps.reconfig ml4cps.reconfig.reconfig ml4cps.tools ml4cps.vis mse() (in module ml4cps.nn.rbm) MultivariateKMeansDiscretizer (class in ml4cps.discretization.discretization)

N

num_events (ml4cps.automata.base.Automaton property) num_modes (ml4cps.automata.base.Automaton property)

num_occur() (ml4cps.automata.base.Automaton method) num_timings() (ml4cps.automata.base.Automaton method) num_transitions (ml4cps.automata.base.Automaton property)

O

on_entry() (ml4cps.cps.base.CPSComponent method) optimize() (ml4cps.cps.decisions.DecisionMaker method) out_transitions() (ml4cps.automata.base.Automaton method)

output_d() (ml4cps.cps.base.CPSComponent method) output_y() (ml4cps.cps.base.CPSComponent method) overall_system (ml4cps.cps.base.CPS property) (ml4cps.cps.base.CPSComponent property)

P

parent_system (ml4cps.cps.base.CPS property) (ml4cps.cps.base.CPSComponent property) plot2d() (in module ml4cps.vis) plot3d() (in module ml4cps.vis) plot_2d_contour_from_fun() (in module ml4cps.vis) plot_cps() (in module ml4cps.vis) plot_cps_component() (in module ml4cps.vis) plot_cps_plotly() (in module ml4cps.vis) plot_dash_frames() (in module ml4cps.vis) plot_execution_tree() (in module ml4cps.vis)

plot_input_space() (ml4cps.nn.rbm.XBinaryRBM method) plot_learning_curve() (ml4cps.nn.rbm.XBinaryRBM method) plot_state_transitions() (in module ml4cps.vis) plot_stateflow() (in module ml4cps.vis) plot_timeseries() (in module ml4cps.vis) plot_transition() (in module ml4cps.vis) PoissonBinaryRBM (class in ml4cps.nn.rbm) predict_state() (ml4cps.automata.base.Automaton method) prepare_input() (ml4cps.nn.rbm.XBinaryRBM method) print_state() (ml4cps.automata.base.Automaton method)

R

random_split_torch() (in module ml4cps.tools) read_event() (ml4cps.automata.base.Automaton method) recon() (ml4cps.nn.rbm.XBinaryRBM method) recon_error() (ml4cps.nn.rbm.XBinaryRBM method) Reconfigurator (class in ml4cps.reconfig.reconfig) reconfigure() (ml4cps.reconfig.reconfig.Reconfigurator method) reinitialize() (ml4cps.cps.base.CPS method) (ml4cps.cps.base.CPSComponent method) (ml4cps.cps.sim.Simulator method)

ReLUBinaryRBM (class in ml4cps.nn.rbm) ReluBinaryRBM (class in ml4cps.nn.rbm) remove_rare_transitions() (ml4cps.automata.base.Automaton method) remove_state() (ml4cps.automata.base.Automaton method) remove_timestamps_without_change() (in module ml4cps.tools) remove_transition() (ml4cps.automata.base.Automaton method) rename_events() (ml4cps.automata.base.Automaton method) render() (ml4cps.control.base.EnvironmentTA method) reset() (ml4cps.control.base.EnvironmentTA method) rpni() (in module ml4cps.automata.learn)

S

sample_h() (ml4cps.nn.rbm.XBinaryRBM method) sample_initial() (ml4cps.automata.base.Automaton method) sample_u() (ml4cps.nn.rbm.ThreeWayBinaryBinaryRBM method) sample_x() (ml4cps.nn.rbm.BinaryBinaryRBM method) (ml4cps.nn.rbm.GaussianBinaryRBM method) (ml4cps.nn.rbm.PoissonBinaryRBM method) (ml4cps.nn.rbm.ReluBinaryRBM method) (ml4cps.nn.rbm.XBinaryRBM method) set_child_component() (ml4cps.cps.base.CPS method) set_sim_state() (ml4cps.cps.base.CPSComponent method) Sigma (ml4cps.automata.base.Automaton property) signal_vector_to_event() (in module ml4cps.tools) signal_vector_to_state() (in module ml4cps.tools) simple_conveyor() (in module ml4cps.examples.examples) simple_conveyor_8_states() (in module ml4cps.examples.examples) simple_learn_from_event_logs() (in module ml4cps.automata.learn) simple_learn_from_signal_updates() (in module ml4cps.automata.learn)

simple_learn_from_signal_vectors() (in module ml4cps.automata.learn) simulate() (ml4cps.cps.base.CPS method) (ml4cps.cps.base.CPSComponent method) (ml4cps.cps.sim.Simulator method) simulation_process_simpy() (ml4cps.cps.base.CPSComponent method) Simulator (class in ml4cps.cps.sim) sparsity() (in module ml4cps.nn.rbm) split_data_on_signal_value() (in module ml4cps.tools) split_train_valid() (in module ml4cps.tools) standardize() (in module ml4cps.tools) state (ml4cps.automata.base.Automaton property) (ml4cps.control.base.EnvironmentTA property) (ml4cps.cps.base.CPS property) (ml4cps.cps.base.CPSComponent property) state_is_deterministic() (ml4cps.automata.base.Automaton method) step() (ml4cps.automata.base.Automaton method) (ml4cps.control.base.EnvironmentTA method) stop_condition() (ml4cps.cps.sim.Simulator method)

T

ThreeWayBinaryBinaryRBM (class in ml4cps.nn.rbm) ThresholdDiscretizer (class in ml4cps.discretization.discretization) time_continuous_dynamics() (ml4cps.cps.base.CPSComponent method) time_discrete_dynamics() (ml4cps.cps.base.CPSComponent method) (ml4cps.examples.examples.BuckConverter method) (ml4cps.examples.examples.TunnelOven method) timed_event() (ml4cps.automata.base.Automaton method) (ml4cps.cps.base.CPSComponent method) TimeSeriesDiscretizer (class in ml4cps.discretization.discretization)

train() (ml4cps.discretization.discretization.EqualFrequencyDiscretizer method) (ml4cps.discretization.discretization.EqualWidthDiscretizer method) (ml4cps.discretization.discretization.KMeansDiscretizer method) (ml4cps.discretization.discretization.MultivariateKMeansDiscretizer method) (ml4cps.discretization.discretization.TimeSeriesDiscretizer method) train_rbm() (ml4cps.nn.rbm.XBinaryRBM method) transitions (ml4cps.automata.base.Automaton property) try_merge_states() (ml4cps.automata.base.Automaton method) tunnel_oven() (in module ml4cps.examples.examples) TunnelOven (class in ml4cps.examples.examples)

U

update_input() (ml4cps.cps.base.CPSComponent method)

update_timing_boundaries() (ml4cps.automata.base.Automaton method)

V

v2h() (ml4cps.nn.rbm.GaussianBinaryRBM method) (ml4cps.nn.rbm.PoissonBinaryRBM method) (ml4cps.nn.rbm.ReLUBinaryRBM method) (ml4cps.nn.rbm.XBinaryRBM method)

vec2str() (in module ml4cps.tools) vh2u() (ml4cps.nn.rbm.ThreeWayBinaryBinaryRBM method) view_graphviz() (in module ml4cps.vis) vu2h() (ml4cps.nn.rbm.ThreeWayBinaryBinaryRBM method)

W

wait() (ml4cps.cps.base.CPSComponent method)

window() (in module ml4cps.tools)

X

XBinaryRBM (class in ml4cps.nn.rbm)