Miriam García Soto


AuthID: R-00J-VPA

Confirmed Publications: 14



1
TITLE: Abstraction based verification of stability of polyhedral switched systems
AUTHORS: Soto, MG ; Prabhakar, P;
PUBLISHED: 2020, SOURCE: NONLINEAR ANALYSIS-HYBRID SYSTEMS, VOLUME: 36
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
2
TITLE: Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems
AUTHORS: Kundu, A; Soto, MG ; Prabhakar, P;
PUBLISHED: 2019, SOURCE: 5th Indian Control Conference, ICC 2019 in 2019 5th Indian Control Conference, ICC 2019 - Proceedings
INDEXED IN: Scopus CrossRef
IN MY: ORCID
3
TITLE: Membership-Based Synthesis of Linear Hybrid Automata
AUTHORS: Soto, MG ; Henzinger, TA; Schilling, C; Zeleznik, L;
PUBLISHED: 2019, SOURCE: 31st International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, CAV 2019, PT I, VOLUME: 11561
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
4
TITLE: Averist. Algorithmic Verifier for Stability of Linear Hybrid Systems
AUTHORS: Miriam García Soto ; Pavithra Prabhakar;
PUBLISHED: 2018, SOURCE: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
INDEXED IN: CrossRef: 2
IN MY: ORCID
5
TITLE: AVERIST: Algorithmic Verifier for Stability of Linear Hybrid Systems
AUTHORS: Soto, MG ; Prabhakar, P;
PUBLISHED: 2018, SOURCE: 21st ACM International Conference on Hybrid Systems - Computation and Control (HSCC) in HSCC 2018: PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK)
INDEXED IN: Scopus WOS
IN MY: ORCID
6
TITLE: Formal Synthesis of Stabilizing Controllers for Switched Systems
AUTHORS: Prabhakar, P; Soto, MG ;
PUBLISHED: 2017, SOURCE: 20th ACM International Conference on Hybrid Systems - Computation and Control (HSCC) held as part of the 10th Cyber Physical Systems Week (CPS Week) in PROCEEDINGS OF THE 20TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK) (HSCC' 17)
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID
7
TITLE: An Algorithmic Approach to Global Asymptotic Stability Verification of Hybrid Systems
AUTHORS: Prabhakar, P; Soto, MG ;
PUBLISHED: 2016, SOURCE: 16th International Conference on Embedded Software (EMSOFT) in 2016 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
8
TITLE: Counterexample Guided Abstraction Refinement for Stability Analysis
AUTHORS: Prabhakar, P; Soto, MG ;
PUBLISHED: 2016, SOURCE: 28th International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, (CAV 2016), PT I, VOLUME: 9779
INDEXED IN: Scopus WOS CrossRef: 9
IN MY: ORCID
9
TITLE: Hybridization for Stability Analysis of Switched Linear Systems
AUTHORS: Prabhakar, P; Soto, MG ;
PUBLISHED: 2016, SOURCE: 19th International Conference on Hybrid Systems - Computation and Control (HSCC) in HSCC'16: PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL
INDEXED IN: Scopus WOS CrossRef: 6
IN MY: ORCID
10
TITLE: Verification Techniques for Hybrid Systems
AUTHORS: Pavithra Prabhakar; Miriam Garcia Soto ; Ratan Lal;
PUBLISHED: 2016, SOURCE: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID
Page 1 of 2. Total results: 14.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service