Skip to main content
SpringerLink
Log in

Simulating Synthesized Automata from Decentralized Specifications in LTL

  • Conference paper
  • First Online:
Book cover Frontier and Innovation in Future Computing and Communications

Part of the book series: Lecture Notes in Electrical Engineering ((LNEE,volume 301))

  • 2096 Accesses

Abstract

In this paper, we present a technique for simulating the synthesized automata from decentralized specifications in linear temporal logic (LTL). Each automaton is synthesized from individual specifications written by generalized reactivity called GR(1) formula which is a restricted fragment of LTL. GR(1) specifications have a possibility of including mistakes so that it has to be validated. This paper describes the validation technique for simulating synthesized automata. As the result, we found out an inconsistent behavior of specifications.

This work was supported in part by the GRRC (Gyeonggi Regional Research Center) program of Gyeonggi Province. [2013-0548, Developing and Industrializing Core-Technologies for Social Services Convergence Platforms].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 259.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 329.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Piterman N, Pnueli A, Sa’ar Y (2006) Synthesis of reactive(1) designs. In: Proceedings 7th international conference on verification, model checking, and abstract interpretation (VMCAI’06), LNCS vol 3855, pp 364–380

    Google Scholar 

  2. Clarke EM, Grumberg O, Peled DA (1999) Model checking. MIT Press, Cambridge

    Google Scholar 

  3. JADE (Java agent development framework), http://jade.tilab.com

  4. Pnueli A, Sa’ar Y, Zuck, LD (2010) Jtlv: a framework for developing verification algorithm. CAV, pp 171–174

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Kyonggi University, Suwon, South Korea

    Ryoungkwo Kwon & Gihwon Kwon

Authors
  1. Ryoungkwo Kwon
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gihwon Kwon
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ryoungkwo Kwon .

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, Seoul University of Science & and Technology (SeoulTech), Seoul, Korea, Republic of (South Korea)

    James J. (Jong Hyuk) Park

  2. School of Information Technologies, University of Sydney, Sydney, New South Wales, Australia

    Albert Zomaya

  3. Humanitas College, Kyung Hee University, Seoul, Korea, Republic of (South Korea)

    Hwa-Young Jeong

  4. Computer Science & Software Engineering, Monmouth University, W. Long Branch, New Jersey, USA

    Mohammad Obaidat

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer Science+Business Media Dordrecht

About this paper

Cite this paper

Kwon, R., Kwon, G. (2014). Simulating Synthesized Automata from Decentralized Specifications in LTL. In: Park, J., Zomaya, A., Jeong, HY., Obaidat, M. (eds) Frontier and Innovation in Future Computing and Communications. Lecture Notes in Electrical Engineering, vol 301. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-8798-7_52

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-8798-7_52

  • Published:

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-94-017-8797-0

  • Online ISBN: 978-94-017-8798-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation