Author | Conference | Journal | Organization | Year | DOI
Look for results that meet for the following criteria:
Academic
Publications
Synthesis of live behaviour models for fallible domains

Synthesis of live behaviour models for fallible domains,10.1145/1985793.1985823,Nicolás D'Ippolito,Víctor A. Braberman,Nir Piterman,Sebastián Uchitel

Edit
Synthesis of live behaviour models for fallible domains  
BibTex | RIS | RefWorks Download
We revisit synthesis of live controllers for event-based op- erational models. We remove one aspect of an idealised problem domain by allowing to integrate failures of con- troller actions in the environment model. Classical treat- ment of failures through strong fairness leads to a very high computational complexity and may be insucient for many interesting cases. We identify a realistic stronger fairness condition on the behaviour of failures. We show how to construct controllers satisfying liveness specifications under these fairness conditions. The resulting controllers exhibit the only possible behaviour in face of the given topology of failures: they keep retrying and never give up. We then identify some well-structure conditions on the environment. These conditions ensure that the resulting controller will be eager to satisfy its goals. Furthermore, for environments that satisfy these conditions and have an underlying prob- abilistic behaviour, the measure of traces that satisfy our fairness condition is 1, giving a characterisation of the kind of domains in which the approach is applicable.
Conference: International Conference on Software Engineering - ICSE , pp. 211-220, 2011
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
More »
Share this on