RC Circuits — Charging and Discharging Behaviour

Flow: RCCircuits_ChargingAndDischargingBehaviour_v1_0

Purpose:
Model RC circuits as time-dependent electrical systems in which resistance and capacitance jointly determine charging and discharging behaviour, enabling structured teaching of voltage evolution, current decay, energy storage, and transient response.

System:
S = (I, R, B, K)

----------------------------------------
Teaching Directive
----------------------------------------

Execution_Mode:
Teaching

Audience:
Beginner to Intermediate learner

Teaching_Flow:
Explain → Visualise → Formalise → Apply

Instruction:
- Begin with intuitive explanation of an RC circuit as a resistor and capacitor working together over time
- Explain charging as gradual capacitor voltage buildup through resistance
- Explain discharging as gradual release of stored charge through resistance
- Introduce the time constant as the control of response speed
- Relate RC behaviour to timing, smoothing, filtering, and transient system response
- Reinforce with simple battery-resistor-capacitor examples

Constraints:
H = ∅
Clarity before formalism

Goal:
Student understands that:
- RC circuits show time-dependent behaviour
- capacitor voltage changes gradually rather than instantly
- resistance and capacitance jointly determine response speed
- charging and discharging are transient processes approaching steady state

----------------------------------------
State
----------------------------------------

I = {
  source_voltage,
  resistor_value,
  capacitor_value,
  capacitor_charge,
  capacitor_voltage,
  circuit_current,
  stored_energy,
  connection_state,
  time_state,
  transient_response_state,
  steady_state_condition
}

----------------------------------------
Rules
----------------------------------------

R = {
  detect_rc_structure,
  detect_charge_path,
  detect_discharge_path,
  compute_time_constant,
  accumulate_charge_during_charging,
  release_charge_during_discharging,
  update_capacitor_voltage_over_time,
  update_current_decay_over_time,
  evaluate_transient_to_steady_state_transition
}

----------------------------------------
Boundaries
----------------------------------------

B = {
  resistor_required,
  capacitor_required,
  resistance_positive,
  capacitance_positive,
  valid_charge_or_discharge_path_required,
  source_voltage_required_for_charging,
  no_unphysical_instantaneous_voltage_change_across_capacitor,
  time_progression_required
}

----------------------------------------
Invariants
----------------------------------------

K = {
  rc_circuit_behaviour_is_time_dependent,
  capacitor_voltage_changes_gradually_over_time,
  charging_current_decreases_over_time,
  discharging_current_decreases_in_magnitude_over_time,
  stored_energy_exists_in_capacitor_electric_field,
  tau = R * C,
  charging_response_approaches_source_voltage,
  discharging_response_approaches_zero_voltage,
  transient_response_moves_toward_steady_state
}

----------------------------------------
Execution
----------------------------------------

E_t = expand(I, R)

V_t = {
  x ∈ E_t | x satisfies (B ∧ K)
}

Selection:
x* = argmax_(x ∈ V_t) P(x | I, R, B, K)

Update:
I_(t+1) = update(I_t, x*)

----------------------------------------
Output
----------------------------------------

O = time_dependent_charge_storage_and_release_in_rc_system | (B, K)

----------------------------------------
Failure Condition
----------------------------------------

V_t = ∅ ⇒ O = FAIL

Meaning:
If no valid resistor-capacitor structure, time progression, or charge or discharge path can be established, no coherent RC circuit behaviour can be evaluated.

----------------------------------------
Interpretation
----------------------------------------

An RC circuit combines a resistor and a capacitor to produce time-dependent electrical behaviour. During charging, current flows through the resistor into the capacitor, causing charge to accumulate and capacitor voltage to rise gradually. As the capacitor becomes more charged, the charging current decreases.

During discharging, the capacitor releases its stored charge through the resistor, causing capacitor voltage to fall gradually and current to decay over time. The resistor controls how quickly this happens, while the capacitor determines how much charge and energy can be stored.

The key quantity governing the speed of response is the time constant, tau = R * C. Larger resistance or capacitance gives a slower response, while smaller values give a faster response. RC circuits are therefore fundamental in timing, smoothing, filtering, and transient-response applications.

----------------------------------------
Core Relations
----------------------------------------

tau = R * C
Q = C * V
E = 1 / 2 * C * V^2

----------------------------------------
Derived Relations
----------------------------------------

Charging:
V_C(t) = V_source * (1 - e^(-t / (R * C)))
I_charge(t) = (V_source / R) * e^(-t / (R * C))

Discharging:
V_C(t) = V_initial * e^(-t / (R * C))
I_discharge(t) = -(V_initial / R) * e^(-t / (R * C))

Approximate settling:
near steady state after about 5 * tau

Larger R or C:
slower charging and discharging response

----------------------------------------
Teaching Outcome
----------------------------------------

Student can:
- Understand RC circuits as time-dependent resistor-capacitor systems
- Explain charging and discharging as gradual transient processes
- Relate time constant to circuit response speed
- Use basic RC relations to describe voltage and current evolution
- Recognise RC circuits in timing, smoothing, and filtering applications