Stability of Hybrid Systems Using LMIs - A Gear-Box Application
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Towards automatic verification of affine hybrid system stability
ACM SIGBED Review - Special issue: IEEE RTAS 2005 work-in-progress
Hi-index | 0.00 |