[Todos] [Profesor] Próxima charlas del DC - Nicolás D'Ippolito - ¡Y vue lven los Sandwichitos!

[Diego Garbervetsky]

Esta interesante charla sera acompañada por ricos sandwichitos.

Los esperamos en el laboratorio Epsilon.


2011/4/25  <efeuerst en dc.uba.ar>:
> Próximo Evento: 29/4/2011. 14:00 hs
> Orador: Nicolás D'Ippolito
> Departamento de Computación - FCEyN - UBA
>
> Título: From Worlds to Machines through Games
>
>
> Resumen:
> The design of reactive systems is a highly complex task requiring
> significant expertise. Consequently, it is highly desirable to have
> techniques that automatically generate by construction behaviour models
> satisfying a given set of requirements. We present a novel technique for
> synthesising behaviour models that works for safety and an expressive
> subset of liveness properties and conforms to the foundational
> requirements engineering World/Machine model, dealing explicitly with
> assumptions on environment behaviour and distinguishing controlled and
> monitored actions. This is the first technique that conforms to what is
> considered best practice in requirements specifications: distinguishing
> prescriptive and descriptive assertions. The technique offers a more
> realistic treatment of problem domains by allowing the integration of
> failures of controller actions in the environment model. Classical
> treatment of failures through strong fairness leads to a very high
> computational compl! exity and may be insufficient for many interesting
> cases. We identify a realistic stronger fairness condition on the
> behaviour of failures. We then identify sufficient conditions on the
> environment that ensure the resulting controller will be eager to satisfy
> its goals.
>
>
> _______________________________________________
> Profesor mailing list
> Profesor en dc.uba.ar
> https://listas.dc.uba.ar/cgi-bin/mailman/listinfo/profesor
>



-- 

- Dr Diego Garbervetsky - DC. FCEyN. UBA.