The following pages link to Synthesis of Correct-by-construction Control Protocols for Hybrid Systems Using Partial State Information:
Displayed 2 items.