Describir: Математическое исследование групповой автоматики скоростных лифтов