Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming

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

@InProceedings{Verdier:2018:CDC,

• author = "Cees F. Verdier and Manuel Mazo",
• booktitle = "2018 IEEE Conference on Decision and Control (CDC)",
• title = "Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming",
• year = "2018",
• pages = "4896--4901",
• abstract = "This paper presents an automatic formal controller synthesis method for nonlinear sampled-data systems with safety and reachability specifications. Fundamentally, the presented method is not restricted to polynomial systems and controllers. We consider a periodically switched controllers based on a Control Lyapunov Barrier-like function. The proposed method uses genetic programming to synthesize these function in analytic form, as well as the controller modes. Correctness of the controller are subsequently verified by means of a Satisfiability Modulo Theories solver. Effectiveness of the proposed methodology is demonstrated on multiple systems.",
• keywords = "genetic algorithms, genetic programming, Switches, Safety, Grammar, State feedback, Production",
• DOI = "doi:10.1109/CDC.2018.8619121",
• ISSN = "2576-2370",
• month = dec,
• notes = "Also known as \cite{8619121}",

}

Genetic Programming entries for Cees F Verdier Manuel Mazo Espinosa Jr

Citations