ml4cps.automata package

Submodules

• ml4cps.automata.base module
  • Automaton
    • Automaton.Sigma
    • Automaton.accepts()
    • Automaton.add_final_state()
    • Automaton.add_initial_state()
    • Automaton.add_single_transition()
    • Automaton.add_state()
    • Automaton.add_state_data()
    • Automaton.add_states_from()
    • Automaton.add_transition()
    • Automaton.add_transitions_from()
    • Automaton.determinize()
    • Automaton.discrete_event_dynamics()
    • Automaton.discrete_state
    • Automaton.discrete_states
    • Automaton.flow()
    • Automaton.generate()
    • Automaton.get_alternatives()
    • Automaton.get_num_in()
    • Automaton.get_num_out()
    • Automaton.get_transition()
    • Automaton.get_transitions()
    • Automaton.guards()
    • Automaton.in_transitions()
    • Automaton.inv()
    • Automaton.is_decision()
    • Automaton.is_deterministic()
    • Automaton.is_state()
    • Automaton.is_transition()
    • Automaton.learn_transition_probabilities()
    • Automaton.merge()
    • Automaton.num_events
    • Automaton.num_modes
    • Automaton.num_occur()
    • Automaton.num_timings()
    • Automaton.num_transitions
    • Automaton.out_transitions()
    • Automaton.predict_state()
    • Automaton.print_state()
    • Automaton.read_event()
    • Automaton.remove_rare_transitions()
    • Automaton.remove_state()
    • Automaton.remove_transition()
    • Automaton.rename_events()
    • Automaton.sample_initial()
    • Automaton.state
    • Automaton.state_is_deterministic()
    • Automaton.step()
    • Automaton.timed_event()
    • Automaton.transitions
    • Automaton.try_merge_states()
    • Automaton.update_timing_boundaries()
• ml4cps.automata.learn module
  • FnDetectChangePoints()
  • FnShiftAndDiff()
  • FnTraceToTrainingData()
  • build_pta()
  • computeDistance()
  • filterChangePoints()
  • filterindx()
  • findChangePoints()
  • rpni()
  • simple_learn_from_event_logs()
  • simple_learn_from_signal_updates()
  • simple_learn_from_signal_vectors()