The theory of timed automata Export

@incollection{citeulike:3097280, abstract = {We propose timed automata to model the behavior of real-time systems over time. Our definition provides a simple, and yet powerful, way to annotate state-transition graphs with timing constraints using finitely many real-valued clocks. A timed automaton accepts timed words — strings in which a real-valued time of occurrence is associated with each symbol. We study timed automata from the perspective of formal language theory: we consider closure properties, decision problems, and subclasses. We discuss the application of this theory to automatic verification of real-time requirements of finite-state systems.}, author = {Alur, Rajeev and Dill, David}, citeulike-article-id = {3097280}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/BFb0031987}, citeulike-linkout-1 = {http://www.springerlink.com/content/d8pmj61864706183}, doi = {10.1007/BFb0031987}, journal = {Real-Time: Theory in Practice}, keywords = {1992, automata, modelchecking, read, timed}, pages = {45--73}, posted-at = {2008-08-08 03:47:18}, priority = {0}, title = {The theory of timed automata}, url = {http://dx.doi.org/10.1007/BFb0031987}, year = {1992} }

TY - CHAP ID - citeulike:3097280 L3 - citeulike-article-id:3097280 N2 - We propose timed automata to model the behavior of real-time systems over time. Our definition provides a simple, and yet powerful, way to annotate state-transition graphs with timing constraints using finitely many real-valued clocks. A timed automaton accepts timed words — strings in which a real-valued time of occurrence is associated with each symbol. We study timed automata from the perspective of formal language theory: we consider closure properties, decision problems, and subclasses. We discuss the application of this theory to automatic verification of real-time requirements of finite-state systems. JF - Real-Time: Theory in Practice EP - 73 TI - The theory of timed automata SP - 45 KW - 1992 KW - automata KW - modelchecking KW - read KW - timed AU - Alur, Rajeev AU - Dill, David PY - 1992/// UR - http://dx.doi.org/10.1007/BFb0031987 ER -