Automata over continuous time

DOI10.1016/S0304-3975(02)00331-6zbMath1028.68082OpenAlexW2087253521MaRDI QIDQ1399970

Alexander Rabinovich

Publication date: 30 July 2003

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

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

zbMATH Keywords

discrete time

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (5)

Compactness in the Theory of Continuous Automata ⋮ The p-adic Theory of Automata Functions ⋮ Computability of analog networks ⋮ Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems ⋮ A Survey on Analog Models of Computation

Cites Work

• On translations of temporal logic of actions into monadic second-order logic
• A calculus of durations
• A theory of timed automata
• Some definitional suggestions for automata theory
• Finite automata and the logic of one-place predicates
• A logical calculus of the ideas immanent in nervous activity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automata over continuous time