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

Garcia Soto, Miriam, et al. “Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data.” HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Association for Computing Machinery, p. 2102.12734, doi:10.1145/3447928.3456704.
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 9202 |

Garcia Soto, Miriam, and Pavithra Prabhakar. “Hybridization for Stability Verification of Nonlinear Switched Systems.” 2020 IEEE Real-Time Systems Symposium, IEEE, 2021, pp. 244–56, doi:10.1109/RTSS49844.2020.00031.
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7426 |

Garcia Soto, Miriam, and Pavithra Prabhakar. “Abstraction Based Verification of Stability of Polyhedral Switched Systems.” Nonlinear Analysis: Hybrid Systems, vol. 36, no. 5, 100856, Elsevier, 2020, doi:10.1016/j.nahs.2020.100856.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6493 |

Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 297–314, doi:10.1007/978-3-030-25540-4_16.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6565 |

Kundu, Atreyee, et al. “Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.” 5th Indian Control Conference Proceedings, 8715598, IEEE, 2019, doi:10.1109/INDIANCC.2019.8715598.
View
| Files available
| DOI
5 Publications
2021 | Conference Paper | IST-REx-ID: 9200 |

Garcia Soto, Miriam, et al. “Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data.” HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, Association for Computing Machinery, p. 2102.12734, doi:10.1145/3447928.3456704.
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 9202 |

Garcia Soto, Miriam, and Pavithra Prabhakar. “Hybridization for Stability Verification of Nonlinear Switched Systems.” 2020 IEEE Real-Time Systems Symposium, IEEE, 2021, pp. 244–56, doi:10.1109/RTSS49844.2020.00031.
View
| Files available
| DOI
2020 | Journal Article | IST-REx-ID: 7426 |

Garcia Soto, Miriam, and Pavithra Prabhakar. “Abstraction Based Verification of Stability of Polyhedral Switched Systems.” Nonlinear Analysis: Hybrid Systems, vol. 36, no. 5, 100856, Elsevier, 2020, doi:10.1016/j.nahs.2020.100856.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6493 |

Garcia Soto, Miriam, et al. “Membership-Based Synthesis of Linear Hybrid Automata.” 31st International Conference on Computer-Aided Verification, vol. 11561, Springer, 2019, pp. 297–314, doi:10.1007/978-3-030-25540-4_16.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6565 |

Kundu, Atreyee, et al. “Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.” 5th Indian Control Conference Proceedings, 8715598, IEEE, 2019, doi:10.1109/INDIANCC.2019.8715598.
View
| Files available
| DOI