Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Sun 13 Jan 2019 09:00 - 10:30 at Sala III - Invited Talk 1 Chair(s): Constantin Enea

This talk will present a class of methods to compute under and over approximating flowpipes for differential systems, possibly with delays, systems that are pervasive in the modeling networked control systems. Computing over-approximations of the reachable states has become a classical tool for the safety verification of control systems. Under-approximations are notoriously more difficult to compute, and their use for verification much less studied. We will discuss the guarantees and properties that can be obtained from the joint use of these under and over-approximations for control systems with inputs and disturbances.

Sun 13 Jan
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:00 - 10:30: Invited Talk 1VMCAI at Sala III
Chair(s): Constantin EneaUniversité Paris Diderot
09:00 - 10:30
Under and Over Approximated Reachability Analysis for the Verifcation of Control Systems
Sylvie PutotÉcole Polytechnique