Theoretical Computer Science
Reachability analysis of dynamical systems having piecewise-constant derivatives
Theoretical Computer Science - Special issue on hybrid systems
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Timed automata and additive clock constraints
Information Processing Letters
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
On the Power of Non-Observable Actions in Timed Automata
STACS '96 Proceedings of the 13th Annual Symposium on Theoretical Aspects of Computer Science
Theoretical Computer Science
Computation: finite and infinite machines
Computation: finite and infinite machines
Hi-index | 0.00 |
Timed automata [1] are a well established theoretical framework used for modeling real time systems. In this paper, we introduce a class of timed automata with updates of the form x: ~d驴 y. We show that these updates preserve the decidability of emptiness of classical timed automata with diagonal constraints for ~ 驴 { = , , 驴 , 驴 }. When used along with additive constraints, these updates give decidable emptiness with 2 or lesser number of clocks, and become undecidable for 3 clocks. This provides a partial solution to a long standing open problem [5].