Formal Controller Synthesis via Genetic Programming

Created by W.Langdon from gp-bibliography.bib Revision:1.8098

@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