Miriam Garcia Soto

Henzinger Group

3 Publications

Mark all

[3]
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, p. 100856, 2020.
View | DOI
 
[2]
2019 | Conference Paper | IST-REx-ID: 6493 | OA
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
 
[1]
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, p. 8715598.
View | DOI
 
Marked Publication(s)

Search

Filter Publications

    • Display / Sort

    Citation Style: IEEE

    Export / Embed

3 Publications

Mark all

[3]
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, p. 100856, 2020.
View | DOI
 
[2]
2019 | Conference Paper | IST-REx-ID: 6493 | OA
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
 
[1]
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, p. 8715598.
View | DOI
 
Marked Publication(s)

Search

Filter Publications

    • Display / Sort

    Citation Style: IEEE

    Export / Embed