发表机构
Taras Shevchenko National University of Kyiv（基辅塔拉斯·舍甫琴科国立大学）
机构由 AI 辅助整理，请以论文原文为准。AI 中文总结
本文提出用Lyapunov方法分析边缘计算系统的功能稳定性，通过正不变性、一致最终有界性和输入到状态稳定性等概念，为服务迁移和节点故障转移提供解析恢复时间界限。
AI 中文摘要
功能稳定性已被提出作为边缘计算中一种按功能划分的可靠性概念，其中分析单元是单个服务而非整个系统，并且二元的正常工作/故障评估被具有按功能阈值的连续质量函数所取代。为具体的边缘编排器、迁移策略或分布式推理服务验证这些属性需要一种构造性方法。本文将该功能稳定性与直接Lyapunov方法联系起来。强形式通过容许区域的正不变性来表征；弱形式与一致最终有界性和输入到状态稳定性相联系，并具有解析恢复时间界限。来自服务迁移和节点故障转移的切换动力学通过公共Lyapunov函数处理。有限时域变体针对任务受限的边缘工作负载。
英文摘要
Functional stability has been proposed as a per-function reliability concept for edge computing, in which the unit of analysis is the individual service rather than the whole system and the binary working/failed evaluation is replaced by a continuous quality function with per-function thresholds. Verifying these properties for a concrete edge orchestrator, migration policy, or distributed inference service requires a constructive method. This article connects functional stability to the direct Lyapunov method. The strong form is characterized through positive invariance of the admissible region; the weak form is connected to uniform ultimate boundedness and input-to-state stability with analytical recovery-time bounds. Switched dynamics from service migration and node failover are treated via common Lyapunov functions. Finite-horizon variants address mission-bounded edge workloads.
Comments27 pages, 2 tabeles
