Miriam García Soto
AuthID: R-00J-VPA
1
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 WOS2
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
3
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
4
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)
