Controller synthesis: From modelling to enactment

@article{Braberman2013ControllerSF,
  title={Controller synthesis: From modelling to enactment},
  author={V{\'i}ctor A. Braberman and Nicol{\'a}s D'Ippolito and Nir Piterman and Daniel Sykes and Sebasti{\'a}n Uchitel},
  journal={2013 35th International Conference on Software Engineering (ICSE)},
  year={2013},
  pages={1347-1350}
}
Controller synthesis provides an automated means to produce architecture-level behaviour models that are enacted by a composition of lower-level software components, ensuring correct behaviour. Such controllers ensure that goals are satisfied for any model-consistent environment behaviour. This paper presents a tool for developing environment models, synthesising controllers efficiently, and enacting those controllers using a composition of existing third-party components. Video: www.youtube… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 18 extracted citations

References

Publications referenced by this paper.
Showing 1-2 of 2 references

Similar Papers

Loading similar papers…