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.
Similar content being viewed by others
References
Birkhoff, G.D., Lattice Theory, Providence: AMS, 1979. Translated under the title Teoriya reshetok, Moscow: Nauka, 1984.
Goldblatt, R., Topoi: The Categorial Analysis of Logic, New York: Elsevier, 1984. Translated under the title Toposy. Kategornyi analiz logiki, Moscow: Mir, 1983.
Volkova, V.N. and Denisov, A.A., Teoriya sistem i sistemnyi analiz (Theory of Systems and Systems Analysis), Moscow: Yurait, 2010.
Ehrig, H. and Padberg, J., Graph Grammars and Petri Net Transformations, LNCS, 2004, vol. 3098, pp. 496–536.
Legovich, Yu.S. and Maksimov, D.Yu., LogicalModels for Choosing Solutions in Self-Organized Systems, Probl. Upravlen., 2013, no. 3, pp. 18–27.
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.
Maximov, D.Yu., N. Vasiliev’s Logic Ideas and Categorical Semantics of Many-valued Logic, Logica Universalis, 2015, pp. 1–23.
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.
Ehrig, H., et al., Petri Net Transformations, in Petri Net, Theory Appl., Vienna: I-Tech Educat. Publish., 2008, February, pp. 534.
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.
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.
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.
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.
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.
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
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © D.Yu. Maksimov, 2016, published in Avtomatika i Telemekhanika, 2016, No. 3, pp. 123–136.
Rights and permissions
About this article
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
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0005117916030085