3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.IT2023
Meta-Reinforcement Learning for Timely and Energy-efficient Data Collection in Solar-powered UAV-assisted IoT Networks
Mengjie Yi, Xijun Wang, Juan Liu +2
Unmanned aerial vehicles (UAVs) have the potential to greatly aid Internet of Things (IoT) networks in mission-critical data collection, thanks to their flexibility and cost-effect…
cs.IT2023★ 3 cited
Cooperative Data Collection with Multiple UAVs for Information Freshness in the Internet of Things
Xijun Wang, Mengjie Yi, Juan Liu +3
Maintaining the freshness of information in the Internet of Things (IoT) is a critical yet challenging problem. In this paper, we study cooperative data collection using multiple U…
cs.LO2022
A Formal Specification of Operating System based on ARINC 653
Ziyan Wang, Yan Zhang
In this paper, by using the formal language \emph{Circus}, we give a formal specification of an operating system based on ARINC 653 standard. Our specification includes interrupt h…