A Hot Method for Synthesising Cool Controllers

Husien, Idress, Berthier, Nicolas ORCID: 0000-0002-0933-8193 and Schewe, Sven ORCID: 0000-0002-9093-9518
(2017) A Hot Method for Synthesising Cool Controllers. In: ISSTA '17: International Symposium on Software Testing and Analysis, 2017-7-13 - 2017-7-14, Santa Barbara, California, United States.

[thumbnail of spin17main-mainid35-p-999d6c1-32247M-final.pdf] Text
spin17main-mainid35-p-999d6c1-32247M-final.pdf - Submitted version

Download (851kB)


Several general search techniques such as genetic programming and simulated annealing have recently been investigated for synthesising programs from specifications of desired objective behaviours. In this context, these techniques explore the space of all candidate programs by performing local changes to candidates selected by means of a measure of their fitness w.r.t. the desired objectives. Previous performance results advocated the use of simulated annealing over genetic programming for such problems. In this paper, we investigate the application of these techniques for the computation of deterministic strategies solving symbolic Discrete Controller Synthesis (DCS) problems, where a model of the system to control is given along with desired objective behaviours. We experimentally confirm that relative performance results are similar to program synthesis, and give a complexity analysis of our simulated annealing algorithm for symbolic DCS.

Item Type: Conference or Workshop Item (Unspecified)
Uncontrolled Keywords: General Search Techniques, Symbolic Model-checking, Discrete Controller Synthesis
Depositing User: Symplectic Admin
Date Deposited: 12 Jul 2017 08:28
Last Modified: 06 Jun 2024 18:13
DOI: 10.1145/3092282.3092299
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3008410