DMCA

Safety Verification of Hybrid Systems Using Barrier Certificates (2004)

Cached

Download Links

by Stephen Prajna , Ali Jadbabaie
Venue:In Hybrid Systems: Computation and Control
Citations:89 - 6 self