Verification of Hybrid Systems via Mathematical Programming
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Information and Computation
Hi-index | 0.00 |