Real-Time Logics: Complexity and Expressiveness

@article{Alur1993RealTimeLC,
  title={Real-Time Logics: Complexity and Expressiveness},
  author={Rajeev Alur and Thomas A. Henzinger},
  journal={Inf. Comput.},
  year={1993},
  volume={104},
  pages={35-77}
}
The theory of the natural numbers with linear order and monadic predicates underlies propositional linear temporal logic. To study temporal logics that are suitable for reasoning about real-time systems, we combine this classical theory of infinite state sequences with a theory of discrete time, via a monotonic function that maps every state to its time. The resulting theory of timed state sequences is shown to be decidable, albeit nonelementary, and its expressive power is characterized by… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 405 CITATIONS

Theorem Proving for Metric Temporal Logic over the Naturals

VIEW 9 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Bounded variability of metric temporal logic

  • Annals of Mathematics and Artificial Intelligence
  • 2014
VIEW 14 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice

  • ACM Trans. Design Autom. Electr. Syst.
  • 2012
VIEW 16 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Auxiliary Specifications for Context-Sensitive Monitoring of AMS Assertions

  • IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
  • 2011
VIEW 8 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Embedded Systems

  • Encyclopedia of Biometrics
  • 2009
VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Model-driven development and analysis of high assurance systems

VIEW 10 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A decidable theory of nitely-layered metric temporal structures

VIEW 16 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1991
2019

CITATION STATISTICS

  • 105 Highly Influenced Citations

  • Averaged 15 Citations per year from 2017 through 2019

References

Publications referenced by this paper.
SHOWING 1-10 OF 41 REFERENCES

Temporal Logic Can Be More Expressive

  • Information and Control
  • 1983
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

Specifying real-time properties with metric temporal logic

  • Real-Time Systems
  • 1990
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Safety analysis of timing properties in real-time systems

  • IEEE Transactions on Software Engineering
  • 1986
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Asynchronous propositional temporal logic

F. Wang, A. K. Mok, E. A. Emerson
  • Proceedings of the 12th ICSE
  • 1992
VIEW 1 EXCERPT

Back to the future: towards a theory of timed regular languages

  • Proceedings., 33rd Annual Symposium on Foundations of Computer Science
  • 1992
VIEW 1 EXCERPT