Skip to main content
SpringerLink
Log in
Book cover

International Computer Science Conference on Active Media Technology

AMT 2001: Active Media Technology pp 182–190Cite as

Decentralized Control of Multi-agent Systems Based on Modal Logics and Extended Higher Order Petri Nets

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2252))

Abstract

We introduce the notions of decentralized system structure of multiagent systems, their behavioral and structural correctness, and centralized and decentralized control for attaining correct behavior, and also that of decentralized controllability which are then examined based on modal logical analysis of system behavior and Petri net representation of system structures.

This is a preview of subscription content, 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   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. M. P. Singh(1994): Multiagent Systems, Springer-Verlag

    Google Scholar 

  2. T. Ishida(1997): Real-Time Search for LearningAutonomousAgents, Kluwer Academic Publishers

    Google Scholar 

  3. G. Weiss(ed.)(2000): Multiagent Systems, The MIT Press

    Google Scholar 

  4. J. L. Peterson(1981): Petri Net Theory and the Modeling of Systems, Prentce Hall

    Google Scholar 

  5. G. H. Hughes and M. J. Cresswell(1971): An Introduction of Modal Logic, Methuen

    Google Scholar 

  6. A. N. Prior(1968): Papers on Time and Tense, Oxford Univ. Press

    Google Scholar 

  7. N. Rescher and A. Urquhart(1971): Temporal Logic, Springer-Verlag

    Google Scholar 

  8. G. H. von Wright(1951): An Essay in Modal Logic, North-Holland Pub. Co., Amsterdam

    MATH  Google Scholar 

  9. L. F. Goble(1974): Gentzen Systems for Modal Logic, Notre Dame J. of Formal Logic,Vol.15,No.3, pp.455–461

    Article  MATH  MathSciNet  Google Scholar 

  10. R. Hilpinen(ed.)(1981): Deontic Logic: Introductory and Systematic Readings, Synthese Library, Vol. 33, D. Reidel

    Google Scholar 

  11. O. Katai(1981): Completeness and Expressive Power of Nexttime Temporal Logical System by Semantic Tableau Method, Rapport de Recherche INRIA, No.109

    Google Scholar 

  12. F. Harary et al.(1965):Structural Models; An Introduction to the Theory of Directed Graphs, J.Wiley

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Systems Science, Graduate School of Informatics, Kyoto University, Sakyo-ku, 606-8501, Kyoto, Japan

    Osamu Katai, Kentaro Toda & Hiroshi Kawakami

Authors
  1. Osamu Katai
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kentaro Toda
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hiroshi Kawakami
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Hong Kong Baptist University, Kowloon Tong, Hong Kong, China

    Jiming Liu , Pong C. Yuen , Chun-hung Li  & Joseph Ng , ,  & 

  2. Department of Social Informatics, Kyoto University, Sakyo-ku, 606-8501, Kyoto, Japan

    Toru Ishida

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Katai, O., Toda, K., Kawakami, H. (2001). Decentralized Control of Multi-agent Systems Based on Modal Logics and Extended Higher Order Petri Nets. In: Liu, J., Yuen, P.C., Li, Ch., Ng, J., Ishida, T. (eds) Active Media Technology. AMT 2001. Lecture Notes in Computer Science, vol 2252. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45336-9_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-45336-9_22

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43035-3

  • Online ISBN: 978-3-540-45336-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation