Pages that link to "Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems"
From Murray Wiki
Jump to navigationJump to search
The following pages link to Computing Augmented Finite Transition Systems to Synthesize Switching Protocols for Polynomial Switched Systems:
Displayed 2 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems (← links)
- Preprint archive (← links)