The 76th GRACE Seminar on Advanced Software Science and Engineering
Time: 15:00-17:00, Apr 6th, 2015
Place: Meeting Room(2009,2010), 20F, National Institute of Informatics(map)
Inquiry: Fuyuki Ishikawa(seminar-steering_AT_nii.ac.jp)
Fee: Free
Please register via the following page:
http://ws.formzu.net/fgen/S17253141″
—-
Name:
Sebastian Uchitel
Title:
Discrete Event Controller Synthesis for Adaptation
Abstract:
In this talk I will argue why Discrete Event Control is a key theory
for architectural level adaptation. I will discuss how Discrete Event
Controller Synthesis fits into a vision for adaptive systems and
discuss how the architecture for such kinds of systems should be
designed.
—-
Name:
Nicolas D’Ippolito
Title:
Discrete controller synthesis Techniques as support for self-adaptation
Abstract:
In this talk I will introduce a number of discrete-event controller
synthesis techniques for architectural-based adaptation that provide
wide support for assured configuration and behaviour adaptation. Among
others, I will cover techniques for synthesising controller for
partial and complete specifications, hard and soft goals, and
qualitative and quantitative environment descriptions.
—-