Title: Hybrid Systems III: Verification and Control, Author: Rajeev Alur
Title: Hybrid Systems: Computation and Control: Third International Workshop, HSCC 2000 Pittsburgh, PA, USA, March 23 - 25, 2000 Proceedings, Author: Nancy Lynch
Title: Distributed Consensus in Multi-vehicle Cooperative Control: Theory and Applications, Author: Wei Ren

Pagination Links