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.
- 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)
