Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

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

Request Changes to record.

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:
DateEvent
2008Published
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 View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us