时间自动机.pptVIP

Timed automata and applications 软件理论与系统所 王瑞 08-12-15 Outline The theory of Timed automata A case study First introduced by Rajeev Alur and David L. Dill in 1990, Rajeev Alur and David L. Dill. Automata for modeling real-time systems. In Proceedings, 17th International Colloquium on Automata, Languages and Programming, 1990. R. Alur and D. L. Dill.: `A theory of timed automata‘ In Theoret. Comput. Sci., Vol. 126, No.2, 1994, pp. 183-235 A finite-state Buchi automaton extended with a set of real value variables Timed safety automata Simple Light Control Simple Light Control Timed Automata