Skip to main content

1 Result(s)

within Aditya Zutshi Remove this filter

and

  1. Chapter and Conference Paper

    Timed Relational Abstractions for Sampled Data Control Systems

    In this paper, we define timed relational abstractions for verifying sampled data control systems. Sampled data control systems consist of a plant, modeled as a hybrid system and a synchronous controller, mode...

    Aditya Zutshi, Sriram Sankaranarayanan, Ashish Tiwari in Computer Aided Verification (2012)

    Download PDF (382 KB)