Pavithra Prabhakar, Miriam Garcia Soto. An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary. In Sergiy Bogomolov, Ashish Tiwari, editors, 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015. Volume 37 of EPiC Series in Computing, pages 32-39, EasyChair, 2015. [doi]
@inproceedings{PrabhakarS15-1,
title = {An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary},
author = {Pavithra Prabhakar and Miriam Garcia Soto},
year = {2015},
url = {http://www.easychair.org/publications/paper/An_Algorithmic_Approach_to_Stability_Verification_of_Hybrid_Systems_A_Summary},
researchr = {https://researchr.org/publication/PrabhakarS15-1},
cites = {0},
citedby = {0},
pages = {32-39},
booktitle = {1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
volume = {37},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}