Reachability Analysis of Perception Layer Scheduling for IoT

Jing Ji; Gui Xiong Liu; Li Ming Wu

doi:10.4028/www.scientific.net/AMM.385-386.1689

Paper Titles

Research on Entity Resolution Algorithm Based on Domain Ontology Using MapReduce
p.1669

An Improved Estimation of Distribution Algorithm Based on the Entropy Increment Theorem
p.1675

Web Service QoS Matching Research Based on Ontology
p.1679

Design and Implementation of a Data Warehouse ETL Tray Program
p.1684

Reachability Analysis of Perception Layer Scheduling for IoT
p.1689

Research on Customizable Modeling Workflow Engine in Information System
p.1693

A Novel Learning Evaluation Method Based on RBF Neural Network
p.1697

CMM Based Requirement Engineering Model in Software Development
p.1701

A Hierarchical Access Control Scheme Based on Lagrange Interpolation and ELGamal Algorithm with Numerical Experiments
p.1705

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 385-386Reachability Analysis of Perception Layer...

Reachability Analysis of Perception Layer Scheduling for IoT

Abstract:

In this paper we present a method of reachability analysis for Internet of Things (IoT) perception layer scheduling. First, the model of perception layer information flow and behavior is formed. Because perception network is a system with coexistence of discrete events and successive events, so we use hybrid dynamic logic modeling approach to form the information perception model; Then inequality proving theory, semi-algebraic system and related tools Discoverer soft package are used to give reachability analysis of the model of perceptual system, and the feasibility of this method is verified by the vehicle condition monitoring system application.

You might also be interested in these eBooks

Applied Scientific Research and Engineering Developments for Industry

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 385-386)

Pages:

1689-1692

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.385-386.1689

Citation:

Cite this paper

Online since:

August 2013

Authors:

Jing Ji, Gui Xiong Liu, Li Ming Wu

Keywords:

Hybrid System, Internet of Things (IOT), Perception Layer, Reachability Analysis, Scheduling

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Wenzhong Guo, Naixue Xiong, Han-Chieh Chao. Design and Analysis of Self-Adapted Task Scheduling Strategies in Wireless Sensor Networks[J]. SENSORS, 2011, 11(7): 6533-6554.

DOI: 10.3390/s110706533

Google Scholar

[2] Bemporad A. Morari M. Control of systems integrating logic, dynamics, and constraints[J]. Automatica, 1999, 35(3): 407-427.

DOI: 10.1016/s0005-1098(98)00178-2

Google Scholar

[3] John Lygeros, Datta N. Godbole, Shankar Sastry. Verified Hybrid Controllers for Automated Vehicles. IEEE Transactions on Automatic Control, 1998, 43(4).

DOI: 10.1109/9.664155

Google Scholar

[4] Lafferrierre G, Pappas G J, Yovine S. Symbolic Reachability Computation for Families of Linear Vector Fields. Journal of Symbolic Computation , 2001, 32(11): 231-253.

DOI: 10.1006/jsco.2001.0472

Google Scholar

[5] Sasa V. Rakovic, E. Kerrigan, D. Mayne, John Lygeros. Reachability analysis of discrete-time systems with disturbances, IEEE Transactions on Automatic Control, 2006, 51(4): 546-561.

DOI: 10.1109/tac.2006.872835

Google Scholar

[6] Wood Tony, P. Mohajerin Esfahani, John Lygeros. Hybrid Modelling and Reachability on Autonomous RC-Cars. IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), Eindhoven, Netherlands (2012).

DOI: 10.3182/20120606-3-nl-3011.00052

Google Scholar