Pages that link to "Template:HTDB funding::CMI"
From Murray Wiki
Jump to navigationJump to search
The following pages link to Template:HTDB funding::CMI:
Displayed 3 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Pre-orders for Reasoning about Stability Properties with respect to Input of Hybrid Systems (transclusion) (← links)
- Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems (transclusion) (← links)
- Bisimulations for Reasoning about Input-to-State Stability Properties of Hybrid Systems (transclusion) (← links)