Formal Controller Synthesis via Genetic Programming
Created by W.Langdon from
gp-bibliography.bib Revision:1.7970
- @Article{VERDIER:2017:IFAC-PapersOnLine,
-
author = "C. F. Verdier and Manuel {Mazo, Jr.}",
-
title = "Formal Controller Synthesis via Genetic Programming",
-
journal = "IFAC-PapersOnLine",
-
volume = "50",
-
number = "1",
-
pages = "7205--7210",
-
year = "2017",
-
note = "20th IFAC World Congress",
-
keywords = "genetic algorithms, genetic programming, Formal
methods, Lyapunov methods",
-
ISSN = "2405-8963",
-
DOI = "doi:10.1016/j.ifacol.2017.08.1362",
-
URL = "http://www.sciencedirect.com/science/article/pii/S2405896317318979",
-
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",
- }
Genetic Programming entries for
Cees F Verdier
Manuel Mazo Espinosa Jr
Citations