The Library
Timed and hybrid automata in SAL
Tools
Tools
Tools
Pasupuleti, Vijay S. and Pandya, Paritosh K. (2008) Timed and hybrid automata in SAL. In: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 Sep 2008. Published in: 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2008. SYNASC '08. pp. 480-486. doi:10.1109/SYNASC.2008.9
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Official URL: http://dx.doi.org/10.1109/SYNASC.2008.9
Abstract
Various methodologies to model and analyze timed and hybrid systems using SAL are reported. We assume that the system is specified as a network of timed/hybrid automata with synchronized transitions and urgency. We show how to translate the system into a SAL model with the time domain being either discrete or dense, and the clocks being either saturated or unsaturated. Depending on these choices, various tools provided by SAL to model check reachability properties over the system are used to establish safety properties of timed systems. We profile the performance of these tools with a comparative study.
| Item Type: | Conference Item (Paper) | ||||
|---|---|---|---|---|---|
| Divisions: | Faculty of Science, Engineering and Medicine > Engineering > WMG (Formerly the Warwick Manufacturing Group) | ||||
| Journal or Publication Title: | 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2008. SYNASC '08. | ||||
| Publisher: | IEEE | ||||
| Book Title: | 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | ||||
| Official Date: | 2008 | ||||
| Dates: |
|
||||
| Page Range: | pp. 480-486 | ||||
| DOI: | 10.1109/SYNASC.2008.9 | ||||
| Status: | Peer Reviewed | ||||
| Publication Status: | Published | ||||
| Conference Paper Type: | Paper | ||||
| Title of Event: | 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | ||||
| Type of Event: | Conference | ||||
| Location of Event: | Timisoara, Romania | ||||
| Date(s) of Event: | 26-29 Sep 2008 |
Request changes or add full text files to a record
Repository staff actions (login required)
 |
View Item |
