Miriam Garcia Soto
Henzinger Group
5 Publications
2021 | Conference Paper | IST-REx-ID: 9200 |

M. Garcia Soto, T. A. Henzinger, and C. Schilling, “Synthesis of hybrid automata with affine dynamics from time-series data,” in HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Nashville, TN, United States, p. 2102.12734.
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 9202 |

M. Garcia Soto and P. Prabhakar, “Hybridization for stability verification of nonlinear switched systems,” in 2020 IEEE Real-Time Systems Symposium, Houston, TX, USA , 2021, pp. 244–256.
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7426 |

M. Garcia Soto and P. Prabhakar, “Abstraction based verification of stability of polyhedral switched systems,” Nonlinear Analysis: Hybrid Systems, vol. 36, no. 5. Elsevier, 2020.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6493 |

M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6565 |

A. Kundu, M. Garcia Soto, and P. Prabhakar, “Formal synthesis of stabilizing controllers for periodically controlled linear switched systems,” in 5th Indian Control Conference Proceedings, Delhi, India, 2019.
View
| Files available
| DOI
5 Publications
2021 | Conference Paper | IST-REx-ID: 9200 |

M. Garcia Soto, T. A. Henzinger, and C. Schilling, “Synthesis of hybrid automata with affine dynamics from time-series data,” in HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Nashville, TN, United States, p. 2102.12734.
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 9202 |

M. Garcia Soto and P. Prabhakar, “Hybridization for stability verification of nonlinear switched systems,” in 2020 IEEE Real-Time Systems Symposium, Houston, TX, USA , 2021, pp. 244–256.
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7426 |

M. Garcia Soto and P. Prabhakar, “Abstraction based verification of stability of polyhedral switched systems,” Nonlinear Analysis: Hybrid Systems, vol. 36, no. 5. Elsevier, 2020.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6493 |

M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6565 |

A. Kundu, M. Garcia Soto, and P. Prabhakar, “Formal synthesis of stabilizing controllers for periodically controlled linear switched systems,” in 5th Indian Control Conference Proceedings, Delhi, India, 2019.
View
| Files available
| DOI