Modeling and Design of Wireless Protocols for Networked Control Applications

Wireless networking offers great potentials for the development of new applications in real-time monitoring and control. However, current design processes do not simultaneously consider energy effi ...

[1]  Chang Yong Jung,et al.  Enhanced Markov Chain Model and Throughput Analysis of the Slotted CSMA/CA for IEEE 802.15.4 Under Unsaturated Traffic Conditions , 2009, IEEE Transactions on Vehicular Technology.

[2]  Gianluigi Ferrari,et al.  Markov Chain-based performance analysis of multihop IEEE 802.15.4 wireless networks , 2009, Perform. Evaluation.

[3]  Jong-Tae Lim,et al.  Throughput analysis considering coupling effect in ieee 802.11 networks with hidden stations , 2009, IEEE Commun. Lett..

[4]  Carlo Fischione,et al.  Design principles of wireless sensor networks protocols for control applications , 2011 .

[5]  Giovanni De Micheli,et al.  An Analytical Model for the Contention Access Period of the Slotted IEEE 802.15.4 with Service Differentiation , 2009, 2009 IEEE International Conference on Communications.

[6]  Xuening Sun,et al.  Methodology for the Design of Analog Integrated Interfaces Using Contracts , 2012, IEEE Sensors Journal.

[7]  John N. Tsitsiklis,et al.  Parallel and distributed computation , 1989 .

[8]  Injong Rhee,et al.  Z-MAC: a hybrid MAC for wireless sensor networks , 2005, SenSys '05.

[9]  Emilia Fridman,et al.  Robust sampled-data stabilization of linear systems: an input delay approach , 2004, Autom..

[10]  Carlo Fischione,et al.  Modeling and Optimization of the IEEE 802.15.4 Protocol for Reliable and Timely Communications , 2013, IEEE Transactions on Parallel and Distributed Systems.

[11]  Alberto Sangiovanni-Vincentelli,et al.  Model-Based Hierarchical Optimal Control Design for HVAC Systems , 2014 .

[12]  Alberto L. Sangiovanni-Vincentelli,et al.  Contract-based system-level composition of analog circuits , 2009, 2009 46th ACM/IEEE Design Automation Conference.

[13]  Chang-Gun Lee,et al.  MMSPEED: multipath Multi-SPEED protocol for QoS guarantee of reliability and. Timeliness in wireless sensor networks , 2006, IEEE Transactions on Mobile Computing.

[14]  Panganamala Ramana Kumar,et al.  Toward a theory of in-network computation in wireless sensor networks , 2006, IEEE Communications Magazine.

[15]  Zoran Hadzi-Velkov,et al.  Saturation throughput - delay analysis of IEEE 802.11 DCF in fading channel , 2003, IEEE International Conference on Communications, 2003. ICC '03..

[16]  Robert Tappan Morris,et al.  Span: An Energy-Efficient Coordination Algorithm for Topology Maintenance in Ad Hoc Wireless Networks , 2001, MobiCom '01.

[17]  Deborah Estrin,et al.  Medium access control with coordinated adaptive sleeping for wireless sensor networks , 2004, IEEE/ACM Transactions on Networking.

[18]  Anantha P. Chandrakasan,et al.  An application-specific protocol architecture for wireless microsensor networks , 2002, IEEE Trans. Wirel. Commun..

[19]  Gennaro Boggia,et al.  Comprehensive Evaluation of the IEEE 802.15.4 MAC Layer Performance With Retransmissions , 2010, IEEE Transactions on Vehicular Technology.

[20]  Wilhelm Lerner,et al.  THE FUTURE OF URBAN MOBILITY: TOWARDS NETWORKED, MULTIMODAL CITIES IN 2050 , 2012 .

[21]  Richard Edwin Sonntag,et al.  Fundamentals of Thermodynamics , 1998 .

[22]  Carlo Fischione,et al.  Modeling IEEE 802.15.4 Networks Over Fading Channels , 2014, IEEE Transactions on Wireless Communications.

[23]  J. Doyle,et al.  Essentials of Robust Control , 1997 .

[24]  Konstantinos Paparrizos,et al.  A-Simple-and-Effective-Delay-Distribution-Analysis-for-IEEE-802.11 , 2006, 2006 IEEE 17th International Symposium on Personal, Indoor and Mobile Radio Communications.

[25]  Bhaskar Krishnamachari,et al.  Routing without routes: the backpressure collection protocol , 2010, IPSN '10.

[26]  R. Wattenhofer,et al.  Dozer: Ultra-Low Power Data Gathering in Sensor Networks , 2007, 2007 6th International Symposium on Information Processing in Sensor Networks.

[27]  Deborah Estrin,et al.  Geography-informed energy conservation for Ad Hoc routing , 2001, MobiCom '01.

[28]  Peter F. Al-Hokayem.  Stability Analysis of Networked Control Systems , 2003 .

[29]  Panganamala Ramana Kumar,et al.  A cautionary perspective on cross-layer design , 2005, IEEE Wireless Communications.

[30]  Robin J. Evans,et al.  Feedback Control Under Data Rate Constraints: An Overview , 2007, Proceedings of the IEEE.

[31]  Philip Levis,et al.  Collection tree protocol , 2009, SenSys '09.

[32]  Jan M. Rabaey,et al.  Power-efficient rendez-vous schemes for dense wireless sensor networks , 2004, 2004 IEEE International Conference on Communications (IEEE Cat. No.04CH37577).

[33]  Jean-Philippe Vasseur,et al.  A performance evaluation study of RPL: Routing Protocol for Low power and Lossy Networks , 2010, 2010 44th Annual Conference on Information Sciences and Systems (CISS).

[34]  Dejan Nickovic,et al.  Contracts for the Design of Embedded Systems Part I : Methodology and Use Cases , 2011 .

[35]  Myung J. Lee,et al.  Will IEEE 802.15.4 make ubiquitous networking a reality?: a discussion on a potential low power, low bit rate standard , 2004, IEEE Communications Magazine.

[36]  Olivier Sename,et al.  A Hybrid Model and MIMO Control for Intelligent Buildings Temperature Regulation over WSN , 2009 .

[37]  Periklis Chatzimisios,et al.  IEEE 802.11 packet delay-a finite retry limit analysis , 2003, GLOBECOM '03. IEEE Global Telecommunications Conference (IEEE Cat. No.03CH37489).

[38]  Jelena V. Misic,et al.  Performance of a beacon enabled IEEE 802.15.4 cluster with downlink and uplink traffic , 2006, IEEE Transactions on Parallel and Distributed Systems.

[39]  Hongqiang Zhai,et al.  Physical Carrier Sensing and Spatial Reuse in Multirate and Multihop Wireless Ad Hoc Networks , 2006, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.

[40]  Pangun Park,et al.  Modeling, Analysis and Design of Wireless Sensor Network Protocols , 2011 .

[41]  Ian F. Akyildiz,et al.  XLP: A Cross-Layer Protocol for Efficient Communication in Wireless Sensor Networks , 2010, IEEE Transactions on Mobile Computing.

[42]  Karl-Erik Årzén,et al.  Conclusions of the ARTIST2 roadmap on control of computing systems , 2006, SIGBED.

[43]  Fortunato Santucci,et al.  Generalized Moment Matching for the Linear Combination of Lognormal RVs - Application to Outage Analysis in Wireless Systems , 2006, 2006 IEEE 17th International Symposium on Personal, Indoor and Mobile Radio Communications.

[44]  Marco Conti,et al.  Optimization of Efficiency and Energy Consumption in p-Persistent CSMA-Based Wireless LANs , 2002, IEEE Trans. Mob. Comput..

[45]  John Heidemann,et al.  RMST: reliable data transport in sensor networks , 2003, Proceedings of the First IEEE International Workshop on Sensor Network Protocols and Applications, 2003..

[46]  V. Vitsas,et al.  Throughput and delay analysis of IEEE 802.11 protocol , 2002, Proceedings 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications.

[47]  John S. Baras,et al.  Modelling and optimization for multi-hop wireless networks using fixed point and automatic differentiation , 2008, 2008 6th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks and Workshops.

[48]  Carlo Fischione,et al.  Approximation for a Sum of On-Off Log-Normal Processes With Wireless Applications , 2007, IEEE Trans. Commun..

[49]  A. Goldsmith,et al.  Wireless medium access control in networked control systems , 2004, Proceedings of the 2004 American Control Conference.

[50]  D. Snoonian,et al.  Smart buildings , 2003 .

[51]  Carlo Fischione,et al.  Analytical Modeling of Multi-hop IEEE 802.15.4 Networks , 2012, IEEE Transactions on Vehicular Technology.

[52]  Carlo Fischione,et al.  MAC Protocol Engine for Sensor Networks , 2009, GLOBECOM 2009 - 2009 IEEE Global Telecommunications Conference.

[53]  Nitin H. Vaidya,et al.  On physical carrier sensing in wireless ad hoc networks , 2005, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies..

[54]  Piergiuseppe Di Marco,et al.  Application of an integrated PHY and MAC layer model for half-duplex IEEE 802.15.4 networks to smart grids , 2011, ISABEL '11.

[55]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[56]  Carlo Fischione,et al.  System Level Design for Clustered Wireless Sensor Networks , 2007, IEEE Transactions on Industrial Informatics.

[57]  Andreas Willig,et al.  Wireless Technology in Industrial Networks , 2005, Proceedings of the IEEE.

[58]  Haitao Wu,et al.  Performance of reliable transport protocol over IEEE 802.11 wireless LAN: analysis and enhancement , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[59]  Ian Postlethwaite,et al.  Multivariable Feedback Control: Analysis and Design , 1996 .

[60]  Mohamed-Haykel Zayani,et al.  A joint model for IEEE 802.15.4 physical and medium access control layers , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.

[61]  Dragan Nesic,et al.  Input–Output Stability of Networked Control Systems With Stochastic Protocols and Channels , 2008, IEEE Transactions on Automatic Control.

[62]  Astrom.  Computer Controlled Systems , 1990 .

[63]  Eric Anderson,et al.  X-MAC: a short preamble MAC protocol for duty-cycled wireless sensor networks , 2006, SenSys '06.

[64]  Wolfgang Pree,et al.  Design Patterns for Object-Oriented Software Development , 1994, Proceedings of the (19th) International Conference on Software Engineering.

[65]  Marco Zuniga,et al.  Analyzing the transitional region in low power wireless links , 2004, 2004 First Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2004. IEEE SECON 2004..

[66]  Panagiotis Papadimitratos,et al.  Vehicular communication systems: Enabling technologies, applications, and future outlook on intelligent transportation , 2009, IEEE Communications Magazine.

[67]  Andrew W. Woods,et al.  On buoyancy-driven natural ventilation of a room with a heated floor , 2001, Journal of Fluid Mechanics.

[68]  Michele Zorzi,et al.  Geographic Random Forwarding (GeRaF) for Ad Hoc and Sensor Networks: Energy and Latency Performance , 2003, IEEE Trans. Mob. Comput..

[69]  Dacfey Dzung,et al.  Unplugged but connected [Design and implementation of a truly wireless real-time sensor/actuator interface] , 2007, IEEE Industrial Electronics Magazine.

[70]  José A. Gutiérrez,et al.  On the Use of IEEE Std. 802.15.4 to Enable Wireless Sensor Networks in Building Automation , 2004, Int. J. Wirel. Inf. Networks.

[71]  R. Brockett,et al.  Systems with finite communication bandwidth constraints. I. State estimation problems , 1997, IEEE Trans. Autom. Control..

[72]  Chiara Buratti,et al.  Performance Analysis of IEEE 802.15.4 Beacon-Enabled Mode , 2010, IEEE Transactions on Vehicular Technology.

[73]  V. Bharghavan,et al.  MACAW: A media access protocol for wireless LANs , 1994 .

[74]  Hongqiang Zhai,et al.  Performance analysis of IEEE 802.11 MAC protocols in wireless LANs , 2004, Wirel. Commun. Mob. Comput..

[75]  Arturo Azcorra,et al.  A Control-Theoretic Approach to Distributed Optimal Configuration of 802.11 WLANs , 2011, IEEE Transactions on Mobile Computing.

[76]  Tian He,et al.  Feedback control of data aggregation in sensor networks , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[77]  P. R. Kumar,et al.  New technological vistas for systems and control: the example of wireless networks , 2001 .

[78]  Alessandro D'Innocenzo,et al.  Wireless Ventilation Control for Large-Scale Systems: the Mining Industrial Case , 2009, 2009 6th IEEE Annual Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks Workshops.

[79]  Marco Conti,et al.  IEEE 802.11 protocol: design and performance evaluation of an adaptive backoff mechanism , 2000, IEEE Journal on Selected Areas in Communications.

[80]  Khadambari Shanbagaraman.  Wireless Devices in the Factory Automation – An Overview of Adoption Trends , 2009 .

[81]  David E. Culler,et al.  Versatile low power media access for wireless sensor networks , 2004, SenSys '04.

[82]  Carlo Fischione,et al.  Effects of Rayleigh-lognormal fading on IEEE 802.15.4 networks , 2013, 2013 IEEE International Conference on Communications (ICC).

[83]  Michele Zorzi,et al.  Integrated Cost-Based MAC and Routing Techniques for Hop Count Forwarding in Wireless Sensor Networks , 2007, IEEE Transactions on Mobile Computing.

[84]  James A. Storer.  Special issue on lossless data compression , 2000 .

[85]  Alexandre Seuret.  Stability analysis for sampled-data systems with a time-varying period , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[86]  Bhaskar Krishnamachari,et al.  Enhancement of the IEEE 802.15.4 MAC protocol for scalable data collection in dense sensor networks , 2008, 2008 6th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks and Workshops.

[87]  A. Benveniste,et al.  Contracts for the Design of Embedded Systems Part II : Theory , 2011 .

[88]  Karolos M. Grigoriadis,et al.  A unified algebraic approach to linear control design , 1998 .

[89]  D. Malone,et al.  Modeling the 802.11 Distributed Coordination Function in Nonsaturated Heterogeneous Conditions , 2007, IEEE/ACM Transactions on Networking.

[90]  Olivier Sename,et al.  Robust H ∞ Control of Bilateral Teleoperation Systems Under Communication Time-Delay , 2007 .

[91]  Flaminio Borgonovo,et al.  Performance of capture-division packet access with slow shadowing and power control , 1997 .

[92]  Y. C. Tay,et al.  Sift: A MAC Protocol for Event-Driven Wireless Sensor Networks , 2006, EWSN.

[93]  Adam Dunkels,et al.  Approaching the Maximum 802.15.4 Multi-hop Throughput , 2008 .

[94]  Biplab Sikdar,et al.  Queueing analysis and delay mitigation in IEEE 802.11 random access MAC based wireless networks , 2004, IEEE INFOCOM 2004.

[95]  Carlo Fischione,et al.  TREnD: A Timely, Reliable, Energy-Efficient and Dynamic WSN Protocol for Control Applications , 2010, 2010 IEEE International Conference on Communications.

[96]  Carlo Fischione,et al.  A Dynamic Energy-efficient Protocol for Reliable and Timely Communications for Wireless Sensor Networks in Control and Automation , 2009, 2009 6th IEEE Annual Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks Workshops.

[97]  J. J. Garcia-Luna-Aceves,et al.  A scalable model for channel access protocols in multihop ad hoc networks , 2004, MobiCom '04.

[98]  Wei Zhang,et al.  Stability of networked control systems , 2001 .

[99]  Hamid Aghvami,et al.  Enhancing the performance of RPL using a Receiver-Based MAC protocol in lossy WSNs , 2011, 2011 18th International Conference on Telecommunications.

[100]  Guangxi Zhu,et al.  A Unified Model for Performance Analysis of 802.11 in Heterogeneous Traffic and Saturation Condition , 2008, 2008 IEEE International Conference on Communications.

[101]  K. Keutzer,et al.  System-level design: orthogonalization of concerns andplatform-based design , 2000, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[102]  Omer Gurewitz,et al.  RI-MAC: a receiver-initiated asynchronous duty cycle MAC protocol for dynamic traffic loads in wireless sensor networks , 2008, SenSys '08.

[103]  Pravin Varaiya,et al.  Performance Analysis of Slotted Carrier Sense IEEE 802.15.4 Medium Access Layer , 2008, IEEE Trans. Wirel. Commun..

[104]  João Pedro Hespanha,et al.  Exponential stability of impulsive systems with application to uncertain sampled-data systems , 2008, Syst. Control. Lett..

[105]  Jean-Pierre Richard,et al.  Time-delay systems: an overview of some recent advances and open problems , 2003, Autom..

[106]  David E. Culler,et al.  Mica: A Wireless Platform for Deeply Embedded Networks , 2002, IEEE Micro.

[107]  R. Sittler,et al.  Systems Analysis of Discrete Markov Processes , 1956 .

[108]  Carlo Fischione,et al.  Analytical Modelling of IEEE 802.15.4 for Multi-Hop Networks with Heterogeneous Traffic and Hidden Terminals , 2010, 2010 IEEE Global Telecommunications Conference GLOBECOM 2010.

[109]  David Gay,et al.  Software design patterns for TinyOS , 2005, LCTES '05.

[110]  Yu Wang,et al.  Fair medium access in 802.11 based wireless ad-hoc networks , 2000, 2000 First Annual Workshop on Mobile and Ad Hoc Networking and Computing. MobiHOC (Cat. No.00EX444).

[111]  Corentin Briat,et al.  Limitations and performances of robust control over WSN: UFAD control in intelligent buildings , 2010, IMA J. Math. Control. Inf..

[112]  Marco Conti,et al.  Dynamic tuning of the IEEE 802.11 protocol to achieve a theoretical throughput limit , 2000, TNET.

[113]  Chiara Buratti,et al.  A mathematical model for performance analysis of IEEE 802.15.4 Non-Beacon Enabled Mode , 2008, 2008 14th European Wireless Conference.

[114]  Alberto L. Sangiovanni-Vincentelli,et al.  Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System , 2008, HSCC.

[115]  João Pedro Hespanha,et al.  A Survey of Recent Results in Networked Control Systems , 2007, Proceedings of the IEEE.

[116]  Katia Obraczka,et al.  Energy-efficient collision-free medium access control for wireless sensor networks , 2003, SenSys '03.

[117]  Gennaro Boggia,et al.  Traffic Aware Scheduling Algorithm for reliable low-power multi-hop IEEE 802.15.4e networks , 2012, 2012 IEEE 23rd International Symposium on Personal, Indoor and Mobile Radio Communications - (PIMRC).

[118]  Pravin Varaiya,et al.  PEDAMACS: power efficient and delay aware medium access protocol for sensor networks , 2004, IEEE Transactions on Mobile Computing.

[119]  Kristofer S. J. Pister,et al.  TSMP: TIME SYNCHRONIZED MESH PROTOCOL , 2008 .

[120]  Adam Wolisz,et al.  A Service-Based Universal Application Interface for Ad-hoc Wireless Sensor Networks , 2003 .

[121]  Andreas Willig,et al.  Recent and Emerging Topics in Wireless Industrial Communications: A Selection , 2008, IEEE Transactions on Industrial Informatics.

[122]  M. Lakshmanan,et al.  AN ADAPTIVE ENERGY EFFICIENT MAC PROTOCOL FOR WIRELESS SENSOR NETWORKS , 2009 .

[123]  Carlo Fischione,et al.  A generalized Markov chain model for effective analysis of slotted IEEE 802.15.4 , 2009, 2009 IEEE 6th International Conference on Mobile Adhoc and Sensor Systems.

[124]  Karl Henrik Johansson,et al.  Performance Analysis and Optimization of TCP over Adaptive Wireless Links , 2006, 2006 IEEE 17th International Symposium on Personal, Indoor and Mobile Radio Communications.

[125]  Fouad A. Tobagi,et al.  Throughput Analysis of a Path in an IEEE 802.11 Multihop Wireless Network , 2007, 2007 IEEE Wireless Communications and Networking Conference.

[126]  Carlo Fischione,et al.  Breath: An Adaptive Protocol for Industrial Control Applications Using Wireless Sensor Networks , 2011, IEEE Transactions on Mobile Computing.

[127]  Carlo Fischione,et al.  Delay distribution analysis of Wireless Personal Area Networks , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).

[128]  Bruno Sinopoli,et al.  Foundations of Control and Estimation Over Lossy Networks , 2007, Proceedings of the IEEE.

[129]  Adlen Ksentini,et al.  On Sustained QoS Guarantees in Operated IEEE 802.11 Wireless LANs , 2008, IEEE Transactions on Parallel and Distributed Systems.

[130]  Chiara Buratti,et al.  Capture effect in IEEE 802.15.4 networks: Modelling and experimentation , 2010, IEEE 5th International Symposium on Wireless Pervasive Computing 2010.

[131]  Haitao Wu,et al.  WSN02-1: Analysis of IEEE 802.11 DCF with Hidden Terminals , 2006, IEEE Globecom 2006.

[132]  P. Papadimitratos,et al.  A cross-layer design approach to enhance 802.15.4 , 2005, MILCOM 2005 - 2005 IEEE Military Communications Conference.

[133]  Sanjay Shakkottai,et al.  Geographic Routing With Limited Information in Sensor Networks , 2010, IEEE Transactions on Information Theory.