BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260921T003338Z
UID:Seminar-verification-658@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Patrick Totzke:MAILTO:totzke@liverpool.ac.uk
DTSTART:20171214T140000
DTEND:20171214T150000
SUMMARY:Verification Series
DESCRIPTION:Nicholas Berthier: Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management\n\nI will discuss the problem of enforcing best-effort control on symbolic logico-numerical systems.  The latter involve state and input variables defined on infinite domains (e.g, Integers), thereby no exact algorithm exist even for safety control.  Yet, relaxed versions of such control objectives are still of interest for a number of non-critical applications.  I will thus present the notion of limited lookahead, and associated best-effort control objectives targeting safety and optimization on a sliding window for a number of steps ahead.  I will describe new symbolic algorithms, and illustrate their application on a case study for dynamic resource management.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=658
LOCATION:
END:VEVENT
END:VCALENDAR