Timed Automata with Integer Resets: Language Inclusion and Expressiveness

DOI10.1007/978-3-540-85778-5_7MaRDI QIDQ3543291zbMATH OpenOpenAlexFDO

Authors P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa

Publication date 2 December 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85778-5_7

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions
• Adding dense-timed stack to integer reset timed automata
• Automata, Languages and Programming
• A theory of timed automata
• scientific article; zbMATH DE number 1956642

Cites work

• scientific article; zbMATH DE number 1337733 (Why is no real title available?)
• scientific article; zbMATH DE number 1530301 (Why is no real title available?)
• A theory of timed automata
• CONCUR 2004 - Concurrency Theory
• Event-clock automata: a determinizable class of timed automata
• Folk theorems on the determinization and minimization of timed automata
• Formal Methods for the Design of Real-Time Systems
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Timed Automata with Integer Resets: Language Inclusion and Expressiveness
• Undecidability Results for Timed Automata with Silent Transitions
• Undecidable Problems About Timed Automata

Cited in

(17)

• A survey of timed automata for the development of real-time systems
• Model checking weighted integer reset timed automata
• scientific article; zbMATH DE number 7156375 (Why is no real title available?)
• A game approach to determinize timed automata
• scientific article; zbMATH DE number 7566065 (Why is no real title available?)
• Timed bounded verification of inclusion based on timed bounded discretized language
• New insights into opacity verification in timed discrete-event systems
• Timed Automata with Integer Resets: Language Inclusion and Expressiveness
• Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions
• Incremental Language Inclusion Checking for Networks of Timed Automata
• Adding dense-timed stack to integer reset timed automata
• A Myhill-Nerode style characterization for timed automata with integer resets
• Control strategies for off-line testing of timed systems
• scientific article; zbMATH DE number 1956642 (Why is no real title available?)
• scientific article; zbMATH DE number 7559498 (Why is no real title available?)
• Developments in Language Theory
• An introduction to timed automata

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: Timed Automata with Integer Resets: Language Inclusion and Expressiveness

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