Algebraic Formalization of Smart Systems

1. The Problem of General Systems Theory’s Formalization
Natalia Serdyukova, Vladimir Serdyukov

2. The Performance of a System by Using an Algebraic System of Factors Determining the System. P-Properties of a System
Natalia Serdyukova, Vladimir Serdyukov

3. The Simulation of the System with the Help of Finite Group of Factors Determining the System. P-Properties of the System. Cayley Tables and Their Role in Modeling Associative Closed System with Feedback
Natalia Serdyukova, Vladimir Serdyukov

4. External and Internal Properties of a System. Integrity and P-Integrity of a System by Predicate P. Formalization Smart Systems’ Axiomatic
Natalia Serdyukova, Vladimir Serdyukov

5. Formalization of System Links: Different Approaches. Duality in Smart Systems Theory
Natalia Serdyukova, Vladimir Serdyukov

6.
P-Innovative and P-Pseudo-Innovative Systems on the Predicate P and Their Properties
Natalia Serdyukova, Vladimir Serdyukov

7. Algebraic Approach to the Risk Description. Linear Programming Models with Risk
Natalia Serdyukova, Vladimir Serdyukov

8. The Transition from an Infinite Model of Factors that Determine the System to a Finite Model. The Model of Algebraic Formalization of Risks of Changing the Scenarios of the Long-Term Development of a Smart System of Six Factors on the Example of a Smart University
Natalia Serdyukova, Vladimir Serdyukov

9. Pro-P-Groups and Algebraically Closed Groups: Application to Smart Systems

Natalia Serdyukova, Vladimir Serdyukov

10.
P-Sustainability of a System. Algebraic Formalization of Sustainability Concept. Sustainability of Ranking Systems in Education
Natalia Serdyukova, Vladimir Serdyukov

Keywords: Engineering, Computational Intelligence, Artificial Intelligence (incl. Robotics)