Skip to main content

Advertisement

Log in

Reconfiguring system hierarchies with multi-valued logic

  • Intellectual Control Systems
  • Published:
Automation and Remote Control Aims and scope Submit manuscript

Abstract

We propose a mathematical formalism to define a system hierarchy and choose a way to reconfigure it based on multi-valued logic. We consider an application of this formalism to control over a group surveying the danger zone after a natural disaster.

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

Access this article

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Birkhoff, G.D., Lattice Theory, Providence: AMS, 1979. Translated under the title Teoriya reshetok, Moscow: Nauka, 1984.

    MATH  Google Scholar 

  2. Goldblatt, R., Topoi: The Categorial Analysis of Logic, New York: Elsevier, 1984. Translated under the title Toposy. Kategornyi analiz logiki, Moscow: Mir, 1983.

    MATH  Google Scholar 

  3. Volkova, V.N. and Denisov, A.A., Teoriya sistem i sistemnyi analiz (Theory of Systems and Systems Analysis), Moscow: Yurait, 2010.

    Google Scholar 

  4. Ehrig, H. and Padberg, J., Graph Grammars and Petri Net Transformations, LNCS, 2004, vol. 3098, pp. 496–536.

    MathSciNet  MATH  Google Scholar 

  5. Legovich, Yu.S. and Maksimov, D.Yu., LogicalModels for Choosing Solutions in Self-Organized Systems, Probl. Upravlen., 2013, no. 3, pp. 18–27.

    Google Scholar 

  6. Maksimov, D.Yu., Implication in Self-Organizing Control Systems, Proc. III Russian Conf. with Intl. Participation “Hardware and Software for Control, Evaluation, and Measurement Systems,” Moscow: IPU RAN, 2012, pp. 991–996.

    Google Scholar 

  7. Maximov, D.Yu., N. Vasiliev’s Logic Ideas and Categorical Semantics of Many-valued Logic, Logica Universalis, 2015, pp. 1–23.

    Google Scholar 

  8. Hoffman, K., Formal Modelling and Analysis of Mobil Ad Hoc Networks and Communication Based Systems Using Graf and Net Technologies, Bull. EATCS, 2010, June, no. 101, pp. 148–160.

    Google Scholar 

  9. Ehrig, H., et al., Petri Net Transformations, in Petri Net, Theory Appl., Vienna: I-Tech Educat. Publish., 2008, February, pp. 534.

    Google Scholar 

  10. Rozhnov, A.V., Krivonozhko, V.E., and Lychev, A.V., Constructing Hybrid Intelligent Informational Environments and Components of Expert Systems with a Generalized Model of Analyzing the Operational Environment, Neirokomp. Razrabotka, Primen., 2013, no. 6, pp. 3–12.

    Google Scholar 

  11. Belavkin, P.A., Fedoseev, S.A., Rozhnov, A.V., et al., Studying Strategic Mobility of Problem–Oriented Control Systems and Their Positioning in the Development of the Information Space, Izv. YuFU. Tekhn. Nauk., “Promising Control Systems and Problems,” 2013, no. 3, pp. 211–217.

    Google Scholar 

  12. Rozhnov, A.V., Antiokh, G.M., Seliverstov, D.E., et al., System Integration of Research Directions in the Creation of Preintelligent Infrastructure, Inform.-Izmerit. Upravl. Sist., 2014, no. 11, pp. 59–64, http://wwwradiotecru/catalogphp?cat=jr9.

    Google Scholar 

  13. Baryshev, P.F., Rozhnov, A.V., Gubin, A.N., et al., Justifying an Information–Analytic System in the Development of Methods and Models for Coordinating Hierarchical Solutions, Dinam. Slozhn. Sist.— XXI v., 2014, no. 3, pp. 43–52.

    Google Scholar 

  14. Bucchiarone, A., Ehrig, H., Ermel, C., et al., Rule-Based Modeling and Static Analysis of Self-Adaptive Systems by Graph Transformation, Lect. Notes Comput. Sci., 2015, vol. 8950, pp. 582–601.

    Article  MATH  Google Scholar 

  15. Pirogov, M.V., Development of a Method of Intellectualization for Complex Systems Based on Radicals, PhD Dissertation, Moscow: Mosk. Gos. Univ., 2011. http://mechmathmsusu/~snark/files/vak/ arv4pdf

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to D. Yu. Maksimov.

Additional information

Original Russian Text © D.Yu. Maksimov, 2016, published in Avtomatika i Telemekhanika, 2016, No. 3, pp. 123–136.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Maksimov, D.Y. Reconfiguring system hierarchies with multi-valued logic. Autom Remote Control 77, 462–472 (2016). https://doi.org/10.1134/S0005117916030085

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0005117916030085

Keywords

Navigation