6 Publications

Mark all

[6]
2022 | Published | Conference Paper | IST-REx-ID: 12171 | OA
Garcia Soto, Miriam, Thomas A Henzinger, and Christian Schilling. “Synthesis of Parametric Hybrid Automata from Time Series.” In 20th International Symposium on Automated Technology for Verification and Analysis, 13505:337–53. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-19992-9_22.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[5]
2021 | Published | Conference Paper | IST-REx-ID: 9200 | OA
Garcia Soto, Miriam, 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. 2021
[Published Version] View | Files available | DOI | WoS | arXiv
 
[4]
2020 | Published | Conference Paper | IST-REx-ID: 9202 | OA
Garcia Soto, Miriam, and Pavithra Prabhakar. “Hybridization for Stability Verification of Nonlinear Switched Systems.” In 2020 IEEE Real-Time Systems Symposium, 244–56. IEEE, 2020. https://doi.org/10.1109/RTSS49844.2020.00031.
[Submitted Version] View | Files available | DOI | WoS
 
[3]
2020 | Published | Journal Article | IST-REx-ID: 7426 | OA
Garcia Soto, Miriam, and Pavithra Prabhakar. “Abstraction Based Verification of Stability of Polyhedral Switched Systems.” Nonlinear Analysis: Hybrid Systems. Elsevier, 2020. https://doi.org/10.1016/j.nahs.2020.100856.
[Submitted Version] View | Files available | DOI | WoS
 
[2]
2019 | Published | Conference Paper | IST-REx-ID: 6493 | OA
Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.” In 31st International Conference on Computer-Aided Verification, 11561:297–314. Springer, 2019. https://doi.org/10.1007/978-3-030-25540-4_16.
[Published Version] View | Files available | DOI | WoS
 
[1]
2019 | Published | Conference Paper | IST-REx-ID: 6565 | OA
Kundu, Atreyee, Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. 5th Indian Control Conference Proceedings. 2019
[Submitted Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed

Grants


6 Publications

Mark all

[6]
2022 | Published | Conference Paper | IST-REx-ID: 12171 | OA
Garcia Soto, Miriam, Thomas A Henzinger, and Christian Schilling. “Synthesis of Parametric Hybrid Automata from Time Series.” In 20th International Symposium on Automated Technology for Verification and Analysis, 13505:337–53. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-19992-9_22.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[5]
2021 | Published | Conference Paper | IST-REx-ID: 9200 | OA
Garcia Soto, Miriam, 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. 2021
[Published Version] View | Files available | DOI | WoS | arXiv
 
[4]
2020 | Published | Conference Paper | IST-REx-ID: 9202 | OA
Garcia Soto, Miriam, and Pavithra Prabhakar. “Hybridization for Stability Verification of Nonlinear Switched Systems.” In 2020 IEEE Real-Time Systems Symposium, 244–56. IEEE, 2020. https://doi.org/10.1109/RTSS49844.2020.00031.
[Submitted Version] View | Files available | DOI | WoS
 
[3]
2020 | Published | Journal Article | IST-REx-ID: 7426 | OA
Garcia Soto, Miriam, and Pavithra Prabhakar. “Abstraction Based Verification of Stability of Polyhedral Switched Systems.” Nonlinear Analysis: Hybrid Systems. Elsevier, 2020. https://doi.org/10.1016/j.nahs.2020.100856.
[Submitted Version] View | Files available | DOI | WoS
 
[2]
2019 | Published | Conference Paper | IST-REx-ID: 6493 | OA
Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.” In 31st International Conference on Computer-Aided Verification, 11561:297–314. Springer, 2019. https://doi.org/10.1007/978-3-030-25540-4_16.
[Published Version] View | Files available | DOI | WoS
 
[1]
2019 | Published | Conference Paper | IST-REx-ID: 6565 | OA
Kundu, Atreyee, Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. 5th Indian Control Conference Proceedings. 2019
[Submitted Version] View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed