Miriam García Soto


AuthID: R-00J-VPA

Publicações Confirmadas: 14



1
TÍTULO: Abstraction based verification of stability of polyhedral switched systems
AUTORES: Soto, MG ; Prabhakar, P;
PUBLICAÇÃO: 2020, FONTE: NONLINEAR ANALYSIS-HYBRID SYSTEMS, VOLUME: 36
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
2
TÍTULO: Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems
AUTORES: Kundu, A; Soto, MG ; Prabhakar, P;
PUBLICAÇÃO: 2019, FONTE: 5th Indian Control Conference, ICC 2019 in 2019 5th Indian Control Conference, ICC 2019 - Proceedings
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
3
TÍTULO: Membership-Based Synthesis of Linear Hybrid Automata
AUTORES: Soto, MG ; Henzinger, TA; Schilling, C; Zeleznik, L;
PUBLICAÇÃO: 2019, FONTE: 31st International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, CAV 2019, PT I, VOLUME: 11561
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
4
TÍTULO: Averist. Algorithmic Verifier for Stability of Linear Hybrid Systems
AUTORES: Miriam García Soto ; Pavithra Prabhakar;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)
INDEXADO EM: CrossRef: 2
NO MEU: ORCID
5
TÍTULO: AVERIST: Algorithmic Verifier for Stability of Linear Hybrid Systems
AUTORES: Soto, MG ; Prabhakar, P;
PUBLICAÇÃO: 2018, FONTE: 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)
INDEXADO EM: Scopus WOS
NO MEU: ORCID
6
TÍTULO: Formal Synthesis of Stabilizing Controllers for Switched Systems
AUTORES: Prabhakar, P; Soto, MG ;
PUBLICAÇÃO: 2017, FONTE: 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)
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID
7
TÍTULO: An Algorithmic Approach to Global Asymptotic Stability Verification of Hybrid Systems
AUTORES: Prabhakar, P; Soto, MG ;
PUBLICAÇÃO: 2016, FONTE: 16th International Conference on Embedded Software (EMSOFT) in 2016 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
8
TÍTULO: Counterexample Guided Abstraction Refinement for Stability Analysis
AUTORES: Prabhakar, P; Soto, MG ;
PUBLICAÇÃO: 2016, FONTE: 28th International Conference on Computer-Aided Verification (CAV) in COMPUTER AIDED VERIFICATION, (CAV 2016), PT I, VOLUME: 9779
INDEXADO EM: Scopus WOS CrossRef: 9
NO MEU: ORCID
9
TÍTULO: Hybridization for Stability Analysis of Switched Linear Systems
AUTORES: Prabhakar, P; Soto, MG ;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: Scopus WOS CrossRef: 6
NO MEU: ORCID
10
TÍTULO: Verification Techniques for Hybrid Systems
AUTORES: Pavithra Prabhakar; Miriam Garcia Soto ; Ratan Lal;
PUBLICAÇÃO: 2016, FONTE: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - Lecture Notes in Computer Science
INDEXADO EM: CrossRef
NO MEU: ORCID
Página 1 de 2. Total de resultados: 14.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service