Timed and Hybrid Automata in SAL

被引：0

作者：

Suman, P. Vijay ^{[1
]}

Pandya, Paritosh K. ^{[1
]}

机构：

[1] Tata Inst Fundamental Res, Sch Technol & Comp Sci, Bombay 400005, Maharashtra, India

来源：

PROCEEDINGS OF THE 10TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING | 2009年

关键词：

D O I：

10.1109/SYNASC.2008.9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：480 / 486

页数：7

共 50 条

[1] Membership questions for timed and hybrid automata
Alur, R
Kurshan, RP
Viswanathan, M
[J]. 19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1998, : 254 - 263
[2] Approximate timed abstractions of hybrid automata
D'Innocenzo, A.
Julius, A. A.
Di Benedetto, M. D.
Pappas, G. J.
[J]. PROCEEDINGS OF THE 46TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2007, : 4362 - +
[3] Diagnosis of a dynamic hybrid system by hybrid timed automata
Azzabi, Olfa
Ben Njima, Chakib
Messaoud, Hassani
[J]. 2016 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2016, : 618 - 622
[4] Diagnosis of hybrid systems through Observers and Timed Automata
Mhamdi, L.
Maaref, B.
Dhouibi, H.
Messaoud, H.
Abazi, Z. Simeu
[J]. 2016 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2016, : 164 - 169
[5] Decidability and complexity results for timed automata and semi-linear hybrid automata
Miller, JS
[J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2000, 1790 : 296 - 309
[6] Timed automata
Alur, R
[J]. VERIFICATION OF DIGITAL AND HYBRID SYSTEM, 2000, 170 : 233 - 264
[7] A Compositional Translation of Timed Automata with Deadlines to UPPAAL Timed Automata
Gomez, Rodolfo
[J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2009, 5813 : 179 - 194
[8] Input/Output automata: Basic, timed, hybrid, probabilistic, dynamic,...
Lynch, N
[J]. CONCUR 2003 - CONCURRENCY THEORY, 2003, 2761 : 191 - 192
[9] Verifying hybrid systems modeled as timed automata: A case study
Archer, M
Heitmeyer, C
[J]. HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 171 - 185
[10] Timed unfoldings for networks of timed automata
Bouyer, Patricia
Haddad, Serge
Reynier, Pierre-Alain
[J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 292 - 306

← 1 2 3 4 5 →