Travelled to:
1 × USA
Collaborated with:
S.Sankaranarayanan A.Tiwari
Talks about:
abstract (1) control (1) system (1) sampl (1) relat (1) time (1) data (1)
Person: Aditya Zutshi
DBLP: Zutshi:Aditya
Contributed to:
Wrote 1 papers:
- CAV-2012-ZutshiST #abstraction #relational
- Timed Relational Abstractions for Sampled Data Control Systems (AZ, SS, AT), pp. 343–361.