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
Proceedings Articles
16.
Interval Markov Decision Processes with Continuous Action-Spaces Proceedings Article
In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, pp. 1–10, 2023.
17.
Distributionally robust strategy synthesis for switched stochastic systems Best Paper Proceedings Article
In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, pp. 1–10, 2023.
18.
Computing the sampling performance of event-triggered control Proceedings Article
In: Proceedings of the 24th International Conference on Hybrid Systems (HSCC 2021), Association for Computing Machinery (ACM), United States, 2021, (24th ACM International Conference on Hybrid Systems Computation and Control, HSCC 2021, held as part of the 14th Cyber Physical Systems and Internet-of-Things Week, CPS-IoT Week 2021 ; ).
19.
Abstracting the Sampling Behaviour of Stochastic Linear Periodic Event-Triggered Control Systems Proceedings Article
In: Proceedings of the 60th IEEE Conference on Decision and Control (CDC 2021), pp. 1287–1294, IEEE, United States, 2021, ISBN: 978-1-6654-3659-5, (60th IEEE Conference on Decision and Control (CDC 2021) ; Conference date: 14-12-2021 Through 17-12-2021).
20.
Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers Proceedings Article
In: Huisman, Marieke; areanu, Corina Pu; Zhan, Naijun (Ed.): Formal Methods, pp. 182–199, Springer, 2021, ISBN: 978-3-030-90869-0, (24th International Symposium on Formal Methods, FM 2021 ; Conference date: 20-11-2021 Through 26-11-2021).