Continuous dynamical systems are fundamental in modelling a wide range of real-world phenomena, from cyber-physical systems to industrial automation. Such systems operate in dynamic environments where unanticipated situations can arise. Requirements specified at design time may become partially unachievable when the system is deployed. We propose a novel method for reachability specification degradation tailored to continuous dynamical systems. Our approach involves sampling points within the initial state space region, estimating reachability regions over time using the Lipschitz constant, and augmenting the original specification through disjunction operations. We implement our method to support how a system can adapt to requirements in real time.
原文链接
分享
引用
