-
公开(公告)号：US11307917B2
公开(公告)日：2022-04-19
申请号：US16992719
申请日：2020-08-13
发明人： Zhiheng Xu , Jun Xian Daniel Ng , Omar Bataineh , Arvind Easwaran , Sidharta Andalam , Bo Woon Jeffrey Soon
摘要： The disclosure relates to a decentralized cyber-physical system including a managing unit and a plurality of components. The managing unit includes a root resilient manager including a root contract and a sub-contract generator. The sub-contract generator is configured to decompose the root contract into a plurality of sub-contracts and assign the plurality of sub-contracts to the plurality of components, respectively. Each component includes at least one observer configured to monitor if the property of the individual component violates the sub-contracts corresponding thereto. When one of the plurality of sub-contracts violates during the runtime of the decentralized cyber-physical system, the root resilience manager issues an alarm.
-
公开(公告)号：US20210049061A1
公开(公告)日：2021-02-18
申请号：US16992719
申请日：2020-08-13
发明人： Zhiheng Xu , Jun Xian Daniel Ng , Omar Bataineh , Arvind Easwaran , Sidharta Andalam , Bo Woon Jeffrey Soon
IPC分类号： G06F11/07
摘要： The disclosure relates to a decentralized cyber-physical system including a managing unit and a plurality of components. The managing unit includes a root resilient manager including a root contract and a sub-contract generator. The sub-contract generator is configured to decompose the root contract into a plurality of sub-contracts and assign the plurality of sub-contracts to the plurality of components, respectively. Each component includes at least one observer configured to monitor if the property of the individual component violates the sub-contracts corresponding thereto. When one of the plurality of sub-contracts violates during the runtime of the decentralized cyber-physical system, the root resilience manager issues an alarm.
-
搜索结果
2 条记录 (耗时 0.014 秒)
