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

Garcia Soto M, Henzinger TA, Schilling C. 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. HSCC: 24th ACM International Conference on Hybrid Systems Computation and Control, 2102.12734.
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 9202 |

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

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

Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based synthesis of linear hybrid automata. 31st International Conference on Computer-Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561, 297–314.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6565 |

Kundu A, Garcia Soto M, Prabhakar P. 2019. Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. 5th Indian Control Conference Proceedings. ICC 2019 - Indian Control Conference, 8715598.
View
| Files available
| DOI
Search
Filter Publications
Display / Sort
Export / Embed
5 Publications
2021 | Conference Paper | IST-REx-ID: 9200 |

Garcia Soto M, Henzinger TA, Schilling C. 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. HSCC: 24th ACM International Conference on Hybrid Systems Computation and Control, 2102.12734.
View
| Files available
| DOI
| arXiv
2021 | Conference Paper | IST-REx-ID: 9202 |

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

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

Garcia Soto M, Henzinger TA, Schilling C, Zeleznik L. 2019. Membership-based synthesis of linear hybrid automata. 31st International Conference on Computer-Aided Verification. CAV: Computer-Aided Verification, LNCS, vol. 11561, 297–314.
View
| Files available
| DOI
2019 | Conference Paper | IST-REx-ID: 6565 |

Kundu A, Garcia Soto M, Prabhakar P. 2019. Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. 5th Indian Control Conference Proceedings. ICC 2019 - Indian Control Conference, 8715598.
View
| Files available
| DOI