A hot method for synthesising cool controllers
| Autor: | Nicolas Berthier, Idress Husien, Sven Schewe |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
Engineering
business.industry Computation Control (management) Control engineering Context (language use) Genetic programming 0102 computer and information sciences 02 engineering and technology 01 natural sciences Measure (mathematics) 020202 computer hardware & architecture 010201 computation theory & mathematics Control theory Simulated annealing 0202 electrical engineering electronic engineering information engineering business Program synthesis |
| Zdroj: | SPIN SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|