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

VMCAI-2019
09:00 - 10:30: VMCAI 2019 - Invited Talk 1 at Sala III
Chair(s): Constantin EneaUniversité Paris Diderot
VMCAI-201909:00 - 10:30
Talk
Sylvie PutotÉcole Polytechnique