Formal controller synthesis via genetic programming

Research output: Contribution to journalConference articleScientificpeer-review

9 Citations (Scopus)

Abstract

This paper presents an automatic controller synthesis method for nonlinear systems with reachability and safety specifications. The proposed method consists of genetic programming in combination with an SMT solver, which are used to synthesize both a control Lyapunov function and the modes of a switched state feedback controller. The resulting controller consists of a set of analytic expressions and a switching law based on the control Lyapunov function, which together guarantee the imposed specifications. The effectiveness of the proposed approach is shown on a 2D pendulum.

Original languageEnglish
Pages (from-to)7205-7210
JournalIFAC-PapersOnline
Volume50
Issue number1
DOIs
Publication statusPublished - 2017

Keywords

  • Formal methods
  • Genetic programming
  • Lyapunov methods

Fingerprint Dive into the research topics of 'Formal controller synthesis via genetic programming'. Together they form a unique fingerprint.

Cite this