Automata, circuits and hybrids: facets of continuous time

Authors:
Boris Trakhtenbrot
Affiliations:
School of Computer Science, Tel Aviv University, Tel Aviv, 69978, Israel
Venue:
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Year:
2001

Mathematical control theory: deterministic systems

Mathematical control theory: deterministic systems
Timing analysis of asynchronous circuits using timed automata

CHARME '95 Proceedings of the IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems

Hybrid Systems
From Finite Automata toward Hybrid Systems (Extended Abstract)

FCT '97 Proceedings of the 11th International Symposium on Fundamentals of Computation Theory
Origins and Metamorphoses of The Trinity: Logic, Nets, Automata

LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

Hi-index	0.00