2025/05/16 by Giorgia Disarò, Maria Elena Valcher, Disarò, Giorgia +1
Biochemistry, Genetics and Molecular Biology · Computer Science · #FOS: Electrical engineering #Formal Methods in Verification #Gene Regulatory Network Analysis #Microbial Metabolic Engineering and Bioproduction #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.2505.11667
openalex publication_date 2025/05/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In recent years, data-driven approaches have become increasingly pervasive across all areas of control engineering. However, the applications of data-based techniques to Boolean control networks (BCNs) are still very limited. In this paper we aim to fill this gap, by exploring the possibility of evaluating some basic features, i.e., reachability and equilibria, and of solving two fundamental control problems, i.e., safe control and output regulation, for a BCN, leveraging only a limited amount of data generated by the network, without knowing or identifying its model.