The following pages link to Vinayak S. Prabhu (Q388223):
Displaying 3 items.
- Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems (Q388224) (← links)
- Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances (Q5228316) (← links)
- Quantifying conformance using the Skorokhod metric (Q5892423) (← links)
