On construction of safety signal automata for MITL[U,S] using temporal projections

DOI10.1007/978-3-642-24310-3_16zbMATH Open1348.68106OpenAlexW138580033MaRDI QIDQ3172853FDOQ3172853

Shankara Narayanan Krishna, Dileep Kini, Paritosh K. Pandya

Publication date: 7 October 2011

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

Full work available at URL: https://doi.org/10.1007/978-3-642-24310-3_16

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Temporal logic (03B44)

Cites Work

• From Mtl to Deterministic Timed Automata
• The benefits of relaxing punctuality
• Foundations of Software Science and Computation Structures
• On Synthesizing Controllers from Bounded-Response Properties
• Formal Modeling and Analysis of Timed Systems
• On the Expressiveness of MTL with Past Operators
• Title not available (Why is that?)

Cited In (2)

• Title not available (Why is that?)
• Metric Temporal Logic with Counting

   Recommendations

• From MITL to Timed Automata 👍 👎
• Timed-automata-based verification of MITL over signals 👍 👎
• From \textsc{mtl} to deterministic timed automata 👍 👎
• \textsc{MightyL}: a compositional translation from MITL to timed automata 👍 👎
• From Real-time Logic to Timed Automata 👍 👎

This page was built for publication: On construction of safety signal automata for \(\mathrm{MITL}[\mathcal{U},\mathcal{S}]\) using temporal projections

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