Abstract
Based on the Internet of Behavior (IoB), mobile crowd-sensing (MCS) utilizes the Internet of Things (IoT) to recruit users by analyzing behavioral patterns. MCS is widely used in numerous large-scale and complex monitoring services, but it cannot provide stable and high-quality services due to nondeterministic user mobility and behaviors, which has a vital impact on recruiting high-quality users. In this article, a stochastic semi-algebraic hybrid system (SSAHS) model is constructed to characterize the user mobility and behaviors of the MCS systems. Based on the definition of probabilistic path and task execution rate, a nondeterministic evaluation mechanism is proposed to measure nondeterministic user mobility and behaviors and to give the probability of the user completing the MCS task under the specified time bound and space conditions. The greater the probability is, the higher the quality of the user. Furthermore, a user recruitment scheme based on a nondeterministic evaluation mechanism (NUR) is developed. The NUR employs historical user data to predict user mobility and behaviors; high-quality users are recruited to quickly upload reliable sensing data. We conduct simulation experiments based on a real-world user trace dataset, Geolife.The results show that compared with competing recruitment strategies, NUR achieves a higher quality of service for the same MCS sensing tasks.
- [1] T. Guelzim, M. S. Obaidat, and B. Sadoun. 2016. Chapter 1 - Introduction and overview of key enabling technologies for smart cities and homes. In Smart Cities and Homes, and (Eds.). Morgan Kaufmann, Boston, 1–16.Google ScholarCross Ref
- [2] 2017. Quantifying sensing quality of crowd sensing networks with confidence interval. In IEEE SmartWorld, Ubiquitous Intelligence Computing, Advanced Trusted Computed, Scalable Computing Communications, Cloud Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI’17). IEEE, San Francisco, CA, 1–6.
DOI: Google ScholarCross Ref - [3] 2020. Bio-inspired drones recruiting strategy for precision agriculture domain. In IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT’20). IEEE, Ales, 1–4.
DOI: Google ScholarCross Ref - [4] 2015. Static node center hexagonal deployment in hybrid crowd sensing. In IEEE 17th International Conference on High Performance Computing and Communications, IEEE 7th International Symposium on Cyberspace Safety and Security, and IEEE 12th International Conference on Embedded Software and Systems. IEEE, New York, NY, 515–520.
DOI: Google ScholarDigital Library - [5] 2020. Simulation of trust-based mechanism for enhancing user confidence in mobile crowdsensing systems. IEEE Access 8 (2020), 20870–20883.
DOI: Google ScholarCross Ref - [6] 2018. Data quality guarantee for credible caching device selection in mobile crowdsensing systems. IEEE Wireless Communications 25, 3 (2018), 58–64.
DOI: Google ScholarCross Ref - [7] 2011. Non-termination analysis of polynomial programs by solving semi-algebraic systems. Advances in Multimedia, Software Engineering and Computing. 1 (2011), 205–211.Google ScholarCross Ref
- [8] 2009. Termination of a class of nonlinear loop programs. Journal of Sichuan University (Engineering Science Edition) 14, 1 (2009), 129–133.Google Scholar
- [9] 2007. Discovering non-linear ranking functions by solving semi-algebraic systems. In Proceedings of Theoretical Aspects of Computing (ICTAC’07), 4th International Colloquium, Macau, China, September 26-28, 2007. Springer, Macau, 34–49.
DOI: DOI: http://dx.doi.org/DOI:10.1007/978-3-540-75292-9_3Google ScholarCross Ref - [10] 2021. Fine-grained user profiling for personalized task matching in mobile crowdsensing. IEEE Transactions on Mobile Computing 20, 10 (2021), 2961–2976.
DOI: Google ScholarDigital Library - [11] 2020. Coverage-oriented task assignment for mobile crowdsensing. IEEE Internet of Things Journal 7, 8 (2020), 7407–7418.
DOI: Google ScholarCross Ref - [12] 2017. DTRF: A dynamic-trust-based recruitment framework for mobile crowd sensing system. In IFIP/IEEE Symposium on Integrated Network and Service Management (IM). IEEE, Lisbon, 632–635.
DOI: Google ScholarDigital Library - [13] 2021. QoS-based budget constrained stable task assignment in mobile crowdsensing. IEEE Transactions on Mobile Computing 20, 11 (2021), 3194–3210.
DOI: Google ScholarCross Ref - [14] 2021. Matchmaker: Stable task assignment with bounded constraints for crowdsourcing platforms. IEEE Internet of Things Journal 8, 3 (2021), 1599–1610.
DOI: Google ScholarCross Ref - [15] 2018. Mobility-aware participant recruitment for vehicle-based mobile crowdsensing. IEEE Transactions on Vehicular Technology 67, 5 (2018), 4415–4426.
DOI: Google ScholarCross Ref - [16] 2017. Multiobjective optimization model for service node selection based on a tradeoff between quality of service and resource consumption in mobile crowd sensing. IEEE Internet of Things Journal 4, 1 (2017), 258–268.
DOI: Google ScholarCross Ref - [17] . 2021. Quality-aware user recruitment based on federated learning in mobile crowd sensing. Tsinghua Science and Technology 26, 6 (2021), 869–877.
DOI: Google ScholarCross Ref - [18] 2015. Dynamic participant recruitment of mobile crowd sensing for heterogeneous sensing tasks. In IEEE 12th International Conference on Mobile Ad Hoc and Sensor Systems (MASS’15). Institute of Electrical and Electronics Engineers Inc., Dallas, 136–144.
DOI: Google ScholarDigital Library - [19] 2018. An efficient prediction-based user recruitment for mobile crowdsensing. IEEE Transactions on Mobile Computing 17, 1 (2018), 16–28.
DOI: Google ScholarCross Ref - [20] 2019. Trust evaluation mechanism for user recruitment in mobile crowd-sensing in the Internet of Things. IEEE Transactions on Information Forensics and Security 14, 10 (2019), 2705–2719.
DOI: Google ScholarDigital Library - [21] 2013. Conservation of mass analysis for bio-PEPA. Electronic Notes in Theoretical Computer Science 296, B (2013), 107–126.Google ScholarDigital Library
- [22] 2020. Intelligent hazard-risk prediction model for train control systems. IEEE Transactions on Intelligent Transportation Systems 21, 11 (2020), 4693–4704.
DOI: Google ScholarCross Ref - [23] . 2014. A survey on process algebraic stochastic modelling of large distributed systems for its performance analysis. In 3rd International Conference on Eco-friendly Computing and Communication Systems. IEEE, Mangalore, 206–211.
DOI: Google ScholarCross Ref - [24] 2009. Mapping UML sequence diagram to time Petri net for requirement validation of embedded real-time systems with energy constraints. In ACM Symposium on Applied Computing. 377–381.Google Scholar
- [25] 2015. Complementarity modeling of hybrid systems. IEEE TTransactions on Automatic Control 43, 4 (2015), 483–490.Google ScholarCross Ref
- [26] . 2003. Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering 29, 6 (2003), 524–541.Google ScholarDigital Library
- [27] 2019. Dynamic measurement of task scheduling algorithm in multi-processor system. Journal of Shanghai Jiaotong University (Science) 24, 3 (2019), 372–380.Google ScholarCross Ref
- [28] 2019. Multi-objective constraint task scheduling algorithm for multi-core processors. Cluster Computing 22, 3 (2019), 953–964.Google ScholarDigital Library
- [29] 2016. An experiment on decision diagrams for model checking probabilistic timed automata. In 21st International Conference on Engineering of Complex Computer Systems (ICECCS’16). IEEE, Dubai, 111–121.
DOI: Google ScholarCross Ref - [30] 2016. Uncertainty analysis of phased mission systems with probabilistic timed automata. In IEEE International Conference on Prognostics and Health Management (ICPHM’16). IEEE, Ottawa, ON, 1–8.
DOI: Google ScholarCross Ref - [31] 2021. Observers for a class of timed automata based on elapsed time graphs. IEEE Transactions on Automatic Control (2021), 1–1.
DOI: Google ScholarCross Ref - [32] 2020. Recursive Bayesian estimation based indoor fire location by fusing rotary UV sensors. In 2020 IEEE/ASME International Conference on Advanced Intelligent Mechatronics (AIM). IEEE, Boston, MA, 528–533.
DOI: Google ScholarDigital Library - [33] 2016. Anomalies detection in wireless sensor networks using Bayesian changepoints. In IEEE 13th International Conference on Mobile Ad Hoc and Sensor Systems (MASS’16). IEEE, Brasilia, 384–385.
DOI: Google ScholarCross Ref - [34] 2018. Efficient time domain deterministic-stochastic model of spectrum usage. IEEE Transactions on Wireless Communications 17, 3 (2018), 1518–1527.
DOI: Google ScholarCross Ref - [35] 2008. GeoLife: Managing and understanding your past life over maps. In 9th International Conference on Mobile Data Management (MDM’08). IEEE, Beijing, 211–212.
DOI: Google ScholarDigital Library - [36] 2017. UDAT: User discrimination using activity-time information. In 2017 IEEE International Conference on Mobile Data Management (MDM’17). IEEE, Daejeon, 352–355.
DOI: Google ScholarCross Ref
Index Terms
- Nondeterministic Evaluation Mechanism for User Recruitment in Mobile Crowd-Sensing
Recommendations
Incentive Mechanism with Task Bundling for Mobile Crowd Sensing
Mobile crowd sensing (MCS) has become a powerful sensing paradigm that allows requesters to outsource sensing tasks to a crowd of mobile users. Aware of the paramount importance of incentivizing participation for MCS, researchers have proposed various ...
Trust Evaluation Mechanism for User Recruitment in Mobile Crowd-Sensing in the Internet of Things
Mobile crowd-sensing (MCS) has appeared as a prospective solution for large-scale data collection, leveraging built-in sensors and social applications in mobile devices that enables a variety of Internet of Things (IoT) services. However, the human ...
Participant Density-Independent Location Privacy Protection for Data Aggregation in Mobile Crowd-Sensing
Mobile crowd-sensing applications produce useful knowledge of the surrounding environment, which makes our life more predictable. However, these applications often require users to contribute, consciously or unconsciously, location-related data for ...
Comments