ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Compositional hierarchical monitoring automaton construction for LTL

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


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 View Item