HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions
暂无分享，去创建一个
[1] Hilal Diab,et al. Control and Safety Analysis of a Platoon under Communication Constraints , 2009 .
[2] Dirk Abel,et al. On the Effects of Network Delays on an Energy-based Controller , 2010 .
[3] Stefan Kowalewski,et al. Safety Verification of a Cooperative Vehicle Platoon with Uncertain Inputs Using Zonotopes , 2011 .