Efficient Guaranteed Controllers for Switched Dynamical Systems Using Probabilistic Approximations

View at publisher
Authors: Yahia Bahloul, Adrien Le Coënt, Benoît Barbot, Nihal Pekergin
Cited by: 0

Fields of Study & Subjects

Formal Methods in Verification Bayesian Modeling and Causal Inference Advanced Control Systems Optimization

Publication details

Journal / source
Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
Pages
140–156
Publication date
2 July 2026
Language
EN