scientific article; zbMATH DE number 1400049

MaRDI QIDQ4939602zbMATH OpenFDO

Authors Jean-François Raskin, Pierre Yves Schobbens

Publication date 20 March 2000

zbMATH Keywords

event clock automatareal-time logic of event clocks

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Complexity of computation (including implicit computational complexity) (03D15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Logical Characterisation of Event Clock Automata
• Real-time logics: Complexity and expressiveness
• Memory event clocks
• Realizability of real-time logics
• scientific article; zbMATH DE number 1304994

Cited in

(28)

• Enzymatic competition: Modeling and verification with timed hybrid Petri nets
• Event-clock automata: a determinizable class of timed automata
• Event-based time-stamped claim logic
• Complexity issues for timeline-based planning over dense time under future and minimal semantics
• Context-free timed formalisms: robust automata and linear temporal logics
• SMT-based satisfiability of first-order LTL with event freezing functions and metric operators
• Time-triggered runtime verification
• A brief account of runtime verification
• scientific article; zbMATH DE number 1696511 (Why is no real title available?)
• Expressiveness of verifiable hierarchical clock systems
• Event clock automata: from theory to practice
• Model Checking Real-Time Systems
• Linear-time temporal logic with event freezing functions
• Timed context-free temporal logics
• Memory event clocks
• scientific article; zbMATH DE number 2038760 (Why is no real title available?)
• scientific article; zbMATH DE number 1927567 (Why is no real title available?)
• On regions and zones for event-clock automata
• scientific article; zbMATH DE number 1390065 (Why is no real title available?)
• Logics meet 1-clock alternating timed automata
• scientific article; zbMATH DE number 5587277 (Why is no real title available?)
• Distributed event clock automata (extended abstract)
• scientific article; zbMATH DE number 6261993 (Why is no real title available?)
• A Logical Characterisation of Event Clock Automata
• Spatial and timing properties in highway traffic
• A unified model for real-time systems: symbolic techniques and implementation
• Simulations for event-clock automata
• Symbolic verification and control of continuous-time systems via \textit{AP}-observation automata

This page was built for publication:

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