//@pausable do { //@previous initialValue = new ControlSignal( force => 0 ) accept(ctlInitialInstant:ControlSignal); if (ctlInitialInstant == null) { force = 0; } else { //@previous initialValue = new ControlSignal( force => 0 ) accept(ctl:ControlSignal); force = ctl.force; } this.force = force; //@edge v = this.velocity; this.controller.ReceptionPlantState( new PlantStateSignal(velocity => v) ); } while(true);