Event-Triggered Formation Control for General Linear Discrete-Time Multi-Agent Systems with Obstacle Avoidance | IEEE Conference Publication | IEEE Xplore