Miriam García Soto
AuthID: R-00J-VPA
1
TITLE: A Compositional Algorithm for Computing a Switched System Representation of Neural Network Controllers
AUTHORS: Miriam García Soto; Pavithra Prabhakar;
PUBLISHED: 2025, SOURCE: 2025 IEEE 64th Conference on Decision and Control (CDC)
AUTHORS: Miriam García Soto; Pavithra Prabhakar;
PUBLISHED: 2025, SOURCE: 2025 IEEE 64th Conference on Decision and Control (CDC)
2
TITLE: Design and Validation of a PLC-Controlled Morbidostat for Investigating Bacterial Drug Resistance
AUTHORS: Pedreira, Adrian; Vazquez, Jose A.; Romanenko, Andrey; Garcia, Miriam R.;
PUBLISHED: 2024, SOURCE: BIOENGINEERING-BASEL, VOLUME: 11, ISSUE: 8
AUTHORS: Pedreira, Adrian; Vazquez, Jose A.; Romanenko, Andrey; Garcia, Miriam R.;
PUBLISHED: 2024, SOURCE: BIOENGINEERING-BASEL, VOLUME: 11, ISSUE: 8
INDEXED IN: 
Scopus 
WOS
Scopus WOS3
TITLE: Synthesis of Parametric Hybrid Automata from Time Series
AUTHORS: Miriam García Soto; Thomas A Henzinger; Christian Schilling;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science - Automated Technology for Verification and Analysis
AUTHORS: Miriam García Soto; Thomas A Henzinger; Christian Schilling;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science - Automated Technology for Verification and Analysis
4
TITLE: Synthesis of hybrid automata with affine dynamics from time-series data
AUTHORS: Miriam García Soto; Thomas A Henzinger; Christian Schilling;
PUBLISHED: 2021, SOURCE: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control
AUTHORS: Miriam García Soto; Thomas A Henzinger; Christian Schilling;
PUBLISHED: 2021, SOURCE: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control
5
TITLE: Hybridization for Stability Verification of Nonlinear Switched Systems
AUTHORS: Miriam Garcia Soto; Pavithra Prabhakar;
PUBLISHED: 2020, SOURCE: 2020 IEEE Real-Time Systems Symposium (RTSS)
AUTHORS: Miriam Garcia Soto; Pavithra Prabhakar;
PUBLISHED: 2020, SOURCE: 2020 IEEE Real-Time Systems Symposium (RTSS)
