Pages that link to "Efficient control synthesis for augmented finite transition systems with an application to switching protocols"
From Murray Wiki
Jump to navigationJump to search
The following pages link to Efficient control synthesis for augmented finite transition systems with an application to switching protocols:
Displayed 2 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Correct-by-Construction Synthesis of Control Protocols for Aerospace Systems (← links)
- ICyPhy: Industrial Cyber-Physical Systems (← links)