FORMAL METHODS FOR MULTI-AGENT FEEDBACK CONTROL SYSTEMS