CADUSY Project
Control And Data-driven modelling Using SYmbolic methods
Project funded under the NWO-TTW OTP Grant #13852
Background
Symbolic regression is a novel evolutionary optimization technique that searches for analytical expressions that fit measured numerical data. Symbolic regression has gained much attention recently in the scientific community for its ability to find mathematical laws that explain observed physical phenomena automatically, without human intervention. This has opened the path for the creation of a “robot scientist” where mathematical expressions are manipulated by a machine in a similar way as humans do. Symbolic regression has the potential to change many fields of science, in particular solving many challenges of system identification and control.
System identification, also known as data-driven modeling, aims at extracting low-complexity, but highly accurate, mathematical models of systems directly from measured data. Such models are crucial to synthesize controllers or to predict the response of the system under study. The major handicap of the state-of-the-art of system identification is the selection a priori of an actual model class. This involves imposing assumptions on the structural relationships of the model, which requires vast experience from the user and often leads to costly iterative processes to arrive at valid structural knowledge. For these reasons, system identification remains an arduous and challenging task.
Likewise, the successful synthesis of model-based nonlinear control systems strongly relies on the prior knowledge of the plant and the experience of the control engineer. The lack of general control synthesis algorithms that fulfill any desired control specification for any nonlinear system, results in each control problem being addressed individually. This results in costly (money and time-wise) processes, only attainable by teams of highly specialized control engineers.
Goal/ objective
The goal of this project is to fully automate the process of system identification and control synthesis. To this end, we will parameterize the different ingredients involved in system identification and control and employ evolutionary symbolic methods to produce succinct and interpretable models and control laws with minimal required human supervision. The symbolic nature of these methods enables the representation and manipulation of models containing continuous dynamical elements alongside with logic expressions, typical of cyber-physical systems. Our main objective is to develop a novel game-changing software tool, which, by employing techniques from artificial intelligence (namely, symbolic regression), enables to automatically manipulate models and/or control laws in order to satisfy complex modeling and/or control objectives dictated by economical, performance and safety specifications. To this end we will expand the scientific knowledge in symbolic regression to new domains, in particular to control synthesis.
Work programme
The project is in collaboration with TU/e. The system identification side of the project is performed by our partners at TU/e and the automatic controller synthesis within DCSC.
For the control synthesis, the project is divided into the following work packages:
- Evolutionary infrastructure
The core of our proposal is rooted in an evolutionary system with a well-defined genome and the proper interfaces between the genes and the operators. - Symbolic control synthesis
In this work-package we will address the automatic synthesis of controllers for complex dynamical systems with complex specifications. By directly manipulating (symbolically) analytical expressions, we eliminate the need for direct discretization of the model in space (quantization), and allow expressing the controllers compactly in the form of analytical expressions, thus also facilitating their synthesis and implementation. - Evaluation
In this work package, we experimentally validate the automated I&C system we propose on two industrial benchmarks:
1) A high performance motion control system for an ASML wafer stepper;
2) A non-linear clutch system provided by Flanders Make.
Partners
The project is in collaboration with TU/e, ASML, Data Stories, Flanders Make and National Instruments.
Team
Publications
Journal Articles
1.
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications Journal Article
In: Automatica, vol. 139, 2022, ISSN: 0005-1098.
Proceedings Articles
2.
Near Optimal Control With Reachability and Safety Guarantees Proceedings Article
In: 5th IFAC Conference on Intelligent Control and Automation Sciences (ICONS), 2019, pp. 230–235, 2019, ISSN: 2405-8963.
3.
Formal Synthesis of Analytic Controllers for Sampled-Data Systems via Genetic Programming Proceedings Article
In: 57th IEEE Conference on Decision and Control (CDC 2018), pp. 4896–4901, IEEE 2018, ISBN: 978-1-5386-1395-5.
4.
Optimal Symbolic Controllers Determinization for BDD storage Proceedings Article
In: 6th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2018, pp. 1–6, Elsevier, 2018.
5.
Formal controller synthesis via genetic programming Proceedings Article
In: 20th IFAC World Congress, pp. 7205–7210, Elsevier, 2017.