Generalized discrete timed automata: Decidable approximations for safety verification.

DOI10.1016/S0304-3975(02)00432-2MaRDI QIDQ1401259zbMATH OpenOpenAlexFDO

Authors Zhe Dang, Oscar H. Ibarra, Richard A. Kemmerer

Publication date 17 August 2003

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(02)00432-2

zbMATH Keywords

\(\langle B,r\rangle\)-crossing-bounded approximation\(B\)-bounded approximation\(r\)-reset-bounded approximation

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1798172
• scientific article; zbMATH DE number 1773082
• Augmenting the discrete timed automaton with other data structures.
• A theory of timed automata
• scientific article; zbMATH DE number 1507209

Cites work

• A really temporal logic
• A theory of timed automata
• ASTRAL
• From timed automata to logic -- and back
• scientific article; zbMATH DE number 1670769 (Why is no real title available?)
• scientific article; zbMATH DE number 1689043 (Why is no real title available?)
• scientific article; zbMATH DE number 1361127 (Why is no real title available?)
• scientific article; zbMATH DE number 1759429 (Why is no real title available?)
• scientific article; zbMATH DE number 1796157 (Why is no real title available?)
• scientific article; zbMATH DE number 2102690 (Why is no real title available?)
• Kronos: A verification tool for real-time systems
• Model-checking in dense real-time
• New Decidability Results Concerning Two-Way Counter Machines
• Parametric real-time reasoning
• Reversal-Bounded Multicounter Machines and Their Decision Problems
• Symbolic model checking for real-time systems
• Uppaal in a nutshell

Cited in

(4)

• On composition and lookahead delegation of \(e\)-services modeled by automata
• Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
• scientific article; zbMATH DE number 1773082 (Why is no real title available?)
• scientific article; zbMATH DE number 1798172 (Why is no real title available?)

Describes a project that uses

Uses Software

• ASTRAL
• Kronos
• Uppaal

This page was built for publication: Generalized discrete timed automata: Decidable approximations for safety verification.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1401259)