Page
%P
-
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...