D’Souza, Deepak and Matteplackel, Raj Mohan (2012) Compositional hierarchical monitoring automaton construction for LTL. In: Proceedings of 9th International Colloquium, September 24-27, 2012, Bangalore, India, pp. 16-29.
Full text not available from this repository. (Request a copy)
Official URL: http://dx.doi.org/10.1007/978-3-642-32943-2_2
Abstract
In this paper we give a compositional (or inductive) construction of monitoring automata for LTL formulas. Our construction is similar in spirit to the compositional construction of Kesten and Pnueli [5]. We introduce the notion of hierarchical Büchi automata and phrase our constructions in the framework of these automata. We give detailed constructions for all the principal LTL operators including past operators, along with proofs of correctness of the constructions.
Item Type: | Conference Paper |
---|---|
Publication: | Theoretical Aspects of Computing – ICTAC 2012 |
Publisher: | Springer Berlin Heidelberg |
Additional Information: | Copyright of this article belongs to Springer Berlin Heidelberg. |
Department/Centre: | Division of Electrical Sciences > Computer Science & Automation |
Date Deposited: | 05 Nov 2013 07:33 |
Last Modified: | 05 Nov 2013 07:33 |
URI: | http://eprints.iisc.ac.in/id/eprint/47705 |
Actions (login required)
View Item |