Gas supply system

A gas supply system, comprising:

• a gas tank that includes a self-closing valve that opens when a push rod is pushed in and that closes when the push rod is pulled out;
• a gas supply pipe to which the gas tank is connected, at a distal end of which the push rod is provided, and that leads gas from the gas tank to a gas consuming device;
• an actuator that moves the gas tank forward and backward relative to the gas supply pipe;
• a sealing that seals off a connection space including an opening of the self-closing valve and the distal end of the gas supply pipe, when a distance between the self-closing valve and the push rod is shorter than a predetermined threshold value distance;
• a check valve that is provided in the gas supply pipe and that suppresses backflow of gas;
• a first pressure sensor that measures a pressure in the gas supply pipe upstream of the check valve;
• a second pressure sensor that measures a pressure in the gas supply pipe downstream of the check valve;
• and
• a controller, wherein
• the controller controls the actuator to move the gas tank forward until the self-closing valve is pushed open, and then to move the gas tank backward to a position where the self-closing valve is closed while maintaining the connection space in a sealed off state,
• the controller is configured to cause the gas tank to be moved forward such that the self-closing valve opens again when a measurement value of the first pressure sensor is equal to or higher than a measurement value of the second pressure sensor after a predetermined amount of time elapses;
• the controller outputs a signal indicating that a gas leak is occurring when the measurement value of the first pressure sensor is lower than the measurement value of the second pressure sensor.