> REPLACE THIS LINE WITH YOUR PAPER IDENTIFICATION NUMBER (DOUBLE-CLICK HERE TO EDIT) < 1

Solid-state lighting is a rapidly developing field. White-light and other visible LEDs are becoming more efficient, have high reliability and can be incorporated into many lighting applications. Recent examples include car head-lights based on white LEDs, and LED illumination as an architectural feature. The prediction that general illumination will use white LEDs in the future has been made, due to the increased energy efficiency that such an approach may have. Such sources can also be modulated at high-speed, offering the possibility of using sources for simultaneous illumination and data communications. Such Visible Light Communications (VLC) was pioneered in Japan, and there is now growing interest worldwide, including within bodies such as the Visible Light Communications Consortium (VLCC) and the Wireless World Research Forum (WWRF). In this paper we outline the basic components in these systems, review the state of the art and discuss some of the challenges and possibilities for this new wireless transmission technique.

[1]  Kenji Shiba,et al.  Design and Development of Low-Loss Transformer for Powering Small Implantable Medical Devices , 2010, IEEE Transactions on Biomedical Circuits and Systems.

[2]  Audrey K. Ellerbee,et al.  Quantifying colorimetric assays in paper-based microfluidic devices by measuring the transmission of light through paper. , 2009, Analytical chemistry.

[3]  E. Fred Schubert,et al.  Light-Emitting Diodes , 2003 .

[4]  Sally Floyd,et al.  HighSpeed TCP for Large Congestion Windows , 2003, RFC.

[5]  P. Ylä‐Oijala.  Application of a novel CFIE for electromagnetic scattering by dielectric objects , 2002 .

[6]  Takehiro Imura,et al.  Flexibility of Contactless Power Transfer using Magnetic Resonance Coupling to Air Gap and Misalignment for EV , 2009 .

[7]  M. Bacic.  On hardware-inthe-loop simulation , 2005 .

[8]  Robert K. Brayton,et al.  The use of observability and external don't cares for the simplification of multi-level networks , 1991, DAC '90.

[9]  I. Fukai,et al.  Application of Boundary-Element Method to Electromagnetic Field Problems (Short Papers) , 1984 .

[10]  Thomas J. Brosnan,et al.  Modular Error Detection for Bit-Serial Multiplication , 1988, IEEE Trans. Computers.

[11]  G. Schatz,et al.  Discrete dipole approximation for calculating extinction and Raman intensities for small particles with arbitrary shapes , 1995 .

[12]  M. Soljačić,et al.  Wireless Power Transfer via Strongly Coupled Magnetic Resonances , 2007, Science.

[13]  F. Delli Priscoli,et al.  Inter-MAC: Convergence at MAC layer in Home Gigabit Network , 2008 .

[14]  Sequential optimisation without state space exploration , 1997, 1997 Proceedings of IEEE International Conference on Computer Aided Design (ICCAD).

[15]  Michael L. Case,et al.  Scalable and scalably-verifiable sequential synthesis , 2008, 2008 IEEE/ACM International Conference on Computer-Aided Design.

[16]  Y. Hori,et al.  Basic study of improving efficiency of wireless power transfer via magnetic resonance coupling based on impedance matching , 2010, 2010 IEEE International Symposium on Industrial Electronics.

[17]  Caicheng Lu.  A fast algorithm based on volume integral equation for analysis of arbitrarily shaped dielectric radomes , 2003 .

[18]  David E. Long,et al.  Identifying sequential redundancies without search , 1996, DAC '96.

[19]  K. Nagel,et al.  TRANSIMS traffic flow characteristics , 1997, adap-org/9710003.

[20]  S. Randel,et al.  Hybrid wireless optics (HWO): Building the next-generation home network , 2008, 2008 6th International Symposium on Communication Systems, Networks and Digital Signal Processing.

[21]  R. Harrington.  Boundary integral formulations for homogeneous material bodies , 1989 .

[22]  Ikuo Awai,et al.  A Simple and versatile design method of resonator-coupled wireless power transfer system , 2010, 2010 International Conference on Communications, Circuits and Systems (ICCCAS).

[23]  Robert K. Brayton,et al.  ABC: An Academic Industrial-Strength Verification Tool , 2010, CAV.

[24]  M. Nicolaidis,et al.  Design for soft error mitigation , 2005, IEEE Transactions on Device and Materials Reliability.

[25]  T. Fujii,et al.  Road-to-vehicle communication using LED traffic light , 2005, IEEE Proceedings. Intelligent Vehicles Symposium, 2005..

[26]  Koen Claessen,et al.  SAT-Based Verification without State Space Traversal , 2000, FMCAD.

[27]  M. Soljačić,et al.  Efficient wireless non-radiative mid-range energy transfer , 2006, physics/0611063.

[28]  B. Hecht,et al.  Principles of nano-optics , 2006 .

[29]  David E. Long,et al.  Surprises in sequential redundancy identification , 1996, Proceedings ED&TC European Design and Test Conference.

[30]  Jon Rigelsford,et al.  Automotive Control Systems: For Engine, Driveline and Vehicle , 2004 .

[31]  O. Martin,et al.  Surface integral formulation for 3D simulations of plasmonic and high permittivity nanostructures. , 2009, Journal of the Optical Society of America. A, Optics, image science, and vision.

[32]  Jian-Ming Jin,et al.  Fast and Efficient Algorithms in Computational Electromagnetics , 2001 .

[33]  M. Majewski,et al.  Optical properties of metallic films for vertical-cavity optoelectronic devices. , 1998, Applied optics.

[34]  Martin Mauve,et al.  A comparison of routing strategies for vehicular ad-hoc networks , 2002, MobiCom 2002.

[35]  Shiuh-Jer Huang,et al.  Adaptive fuzzy controller with sliding surface for vehicle suspension control , 2003, IEEE Trans. Fuzzy Syst..

[36]  Christopher M. Bingham,et al.  Application of fuzzy control algorithms for electric vehicle antilock braking/traction control systems , 2003, IEEE Trans. Veh. Technol..

[37]  John W. Hartwell,et al.  A Procedure for Implementing the Fast Fourier Transform on Small Computers , 1971, IBM J. Res. Dev..

[38]  A. Taflove,et al.  Numerical Solution of Steady-State Electromagnetic Scattering Problems Using the Time-Dependent Maxwell's Equations , 1975 .

[39]  Masao Nakagawa,et al.  Fundamental analysis for visible-light communication system using LED lights , 2004, IEEE Transactions on Consumer Electronics.

[40]  Robert K. Brayton,et al.  Speculative reduction-based scalable redundancy identification , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[41]  Atsuo Kawamura,et al.  Analysis of impedance matching control , 2009, 2009 IEEE 6th International Power Electronics and Motion Control Conference.

[42]  M.M. Artimy,et al.  Connectivity in inter-vehicle ad hoc networks , 2004, Canadian Conference on Electrical and Computer Engineering 2004 (IEEE Cat. No.04CH37513).

[43]  Nahid Shahmehri,et al.  A peer-to-peer approach to vehicular communication for the support of traffic safety applications , 2002, Proceedings. The IEEE 5th International Conference on Intelligent Transportation Systems.

[44]  T. Fujii,et al.  Basic Experiments on Paralle Wireless Optical Communication for ITS , 2007, 2007 IEEE Intelligent Vehicles Symposium.

[45]  K. Yee.  Numerical solution of initial boundary value problems involving maxwell's equations in isotropic media , 1966 .

[46]  Ren Wang,et al.  Adaptive bandwidth share estimation in TCP Westwood , 2002, Global Telecommunications Conference, 2002. GLOBECOM '02. IEEE.

[47]  A. W. M. van den Enden,et al.  Discrete Time Signal Processing , 1989 .

[48]  Igor L. Markov,et al.  Node Mergers in the Presence of Don't Cares , 2007, 2007 Asia and South Pacific Design Automation Conference.

[49]  S.M. Savaresi,et al.  Robust Nonlinear Proportional-Integral Control for Active Braking Control Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[50]  George T.-C. Chiu,et al.  Fuzzy controller design for synchronous motion in a dual-cylinder electro-hydraulic system , 2008 .

[51]  Weng Cho Chew,et al.  Generalized Impedance Boundary Condition for Conductor Modeling in Surface Integral Equation , 2007, IEEE Transactions on Microwave Theory and Techniques.

[52]  W. Chew.  Waves and Fields in Inhomogeneous Media , 1990 .

[53]  Mark G. Karpovsky,et al.  Design of Reliable and Secure Multipliers by Multilinear Arithmetic Codes , 2009, ICICS.

[54]  Sudhakar M. Reddy,et al.  On the effectiveness of residue code checking for parallel two's complement multipliers , 1994, Proceedings of IEEE 24th International Symposium on Fault- Tolerant Computing.

[55]  H. Makino,et al.  Design of an Indoor Self-Positioning System for the Visually Impaired - Simulation with RFID and Bluetooth in a Visible Light Communication System , 2007, 2007 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[56]  W. Enkelmann.  FleetNet - applications for inter-vehicle communication , 2003, IEEE IV2003 Intelligent Vehicles Symposium. Proceedings (Cat. No.03TH8683).

[57]  Shih-Chieh Chang,et al.  Perturb and simplify: multilevel Boolean network optimizer , 1996, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[58]  Reto Zimmermann.  Datapath Synthesis for Standard-Cell Design , 2009, 2009 19th IEEE Symposium on Computer Arithmetic.

[59]  Robert Baumann,et al.  Soft errors in advanced computer systems , 2005, IEEE Design & Test of Computers.

[60]  Jason Baumgartner,et al.  Exploiting suspected redundancy without proving it , 2005, Proceedings. 42nd Design Automation Conference, 2005..

[61]  Paul D. Franzon,et al.  FreePDK: An Open-Source Variation-Aware Design Kit , 2007, 2007 IEEE International Conference on Microelectronic Systems Education (MSE'07).

[62]  Antonio Ortiz,et al.  A fuzzy logic control for antilock braking system integrated in the IMMa tire test bench , 2005, IEEE Transactions on Vehicular Technology.

[63]  Miron Abramovici,et al.  One-pass redundancy identification and removal , 1992, Proceedings International Test Conference 1992.

[64]  Chih-Min Lin,et al.  Self-learning fuzzy sliding-mode control for antilock braking systems , 2003, IEEE Trans. Control. Syst. Technol..

[65]  M. Meincke,et al.  On traffic dynamical aspects of inter vehicle communications (IVC) , 2003, 2003 IEEE 58th Vehicular Technology Conference. VTC 2003-Fall (IEEE Cat. No.03CH37484).

[66]  J. Kong,et al.  Scattering of Electromagnetic Waves: Theories and Applications , 2000 .

[67]  Robert K. Brayton,et al.  Recording Synthesis History for Sequential Verification , 2008, 2008 Formal Methods in Computer-Aided Design.

[68]  Robert K. Brayton,et al.  Multi-level logic minimization using implicit don't cares , 1988, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[69]  Grantham Pang,et al.  Positioning beacon system using digital camera and LEDs , 2003, IEEE Trans. Veh. Technol..

[70]  Jian-Ming Jin,et al.  The Finite Element Method in Electromagnetics , 1993 .

[71]  W. Choy,et al.  Comprehensive investigation of absolute optical properties of organic materials , 2008 .

[72]  Hamid Savoj,et al.  Don't cares in multi-level network optimization , 1992 .

[73]  Roger F. Harrington,et al.  Field computation by moment methods , 1968 .

[74]  C. Hafner.  The generalized multipole technique for computational electromagnetics , 1990 .

[75]  Jian-Ming Jin,et al.  On the variational formulation of hybrid finite element-boundary integral techniques for electromagnetic analysis , 2004, IEEE Transactions on Antennas and Propagation.

[76]  M. Gerla,et al.  Inline Path Characteristic Estimation to Improve TCP Performance in High Bandwidth-Delay Networks , 2006 .

[77]  Cheng Jin,et al.  FAST TCP: Motivation, Architecture, Algorithms, Performance , 2006, IEEE/ACM Transactions on Networking.

[78]  J. P. Webb.  Hierarchal vector basis functions of arbitrary order for triangular and tetrahedral finite elements , 1999 .

[79]  Takehiro Imura,et al.  Wireless Power Transfer System via Magnetic Resonant Coupling at Fixed Resonance Frequency-Power Transfer System Based on Impedance Matching- , 2010 .

[80]  Yunje Oh,et al.  Improvement of Date Rate by using Equalization in an Indoor Visible Light Communication System , 2008, 2008 4th IEEE International Conference on Circuits and Systems for Communications.

[81]  Weng Cho Chew,et al.  Large‐scale computation for electrically small structures using surface‐integral equation method , 2005 .

[82]  I. Emre Köse,et al.  Robust control of anti-lock brake system , 2007 .

[83]  D. Wilton,et al.  A tetrahedral modeling method for electromagnetic scattering by arbitrarily shaped inhomogeneous dielectric bodies , 1984 .

[84]  A. Diaz-Mendez,et al.  An adaptive impedance matching approach based on fuzzy control , 2009, 2009 52nd IEEE International Midwest Symposium on Circuits and Systems.

[85]  W. Stamm,et al.  Urinary tract infection , 2010 .

[86]  Hyungsuck Cho,et al.  A fuzzy controller for an electro-hydraulic fin actuator using phase plane method , 2003 .

[87]  Tutomu Murase,et al.  Improving efficiency-friendliness tradeoffs of TCP congestion control algorithm , 2005, GLOBECOM '05. IEEE Global Telecommunications Conference, 2005..

[88]  T. Cwik,et al.  Modeling three-dimensional scatterers using a coupled finite element-integral equation formulation , 1996 .

[89]  Jin-Fa Lee,et al.  Analysing microwave devices using a symmetric coupling of finite and boundary elements , 2005 .

[90]  Haiping Du,et al.  Fuzzy Control for Nonlinear Uncertain Electrohydraulic Active Suspensions With Input Constraint , 2009, IEEE Trans. Fuzzy Syst..

[91]  Karim Faez,et al.  A Fault Tolerant Method for Residue Arithmetic Circuits , 2009, 2009 International Conference on Information Management and Engineering.

[92]  Patrick Amestoy,et al.  A Fully Asynchronous Multifrontal Solver Using Distributed Dynamic Scheduling , 2001, SIAM J. Matrix Anal. Appl..

[93]  X. Sheng,et al.  A Flexible and Efficient Higher Order FE-BI-MLFMA for Scattering by a Large Body With Deep Cavities , 2008, IEEE Transactions on Antennas and Propagation.

[94]  Yoichi Hori,et al.  Convergence improvement of efficiency-optimization control of induction motor drives , 2000, Conference Record of the 2000 IEEE Industry Applications Conference. Thirty-Fifth IAS Annual Meeting and World Conference on Industrial Applications of Electrical Energy (Cat. No.00CH37129).

[95]  Kezhong Zhao,et al.  A domain decomposition method for solving electrically large electromagnetic problems , 2007 .

[96]  E. Swartzlander,et al.  Floating-point implementation of complex multiplication , 2009, 2009 Conference Record of the Forty-Third Asilomar Conference on Signals, Systems and Computers.

[97]  W. P. Hall,et al.  A Localized Surface Plasmon Resonance Biosensor: First Steps toward an Assay for Alzheimer's Disease , 2004 .

[98]  Zhiqiang Du,et al.  Adhesion Control Method Based on Fuzzy Logic Control for Four-Wheel Driven Electric Vehicle , 2010 .

[99]  Reza Mahmoudi,et al.  Adaptive Impedance-Matching Techniques for Controlling L Networks , 2010, IEEE Transactions on Circuits and Systems I: Regular Papers.

[100]  Michael Schreckenberg,et al.  A cellular automaton model for freeway traffic , 1992 .

[101]  Tom Kelly,et al.  Scalable TCP: improving performance in highspeed wide area networks , 2003, CCRV.

[102]  Junji Hirai,et al.  Study on intelligent battery charging using inductive transmission of power and information , 2000 .

[103]  Carl Pixley,et al.  The Verifiacation Problem for Safe Replaceability , 1994, CAV.

[104]  J. Kottmann,et al.  Accurate solution of the volume integral equation for high-permittivity scatterers , 2000 .

[105]  D. Wilton,et al.  Electromagnetic scattering by surfaces of arbitrary shape , 1980 .

[106]  Grant Covic,et al.  Design considerations for a contactless electric vehicle battery charger , 2005, IEEE Transactions on Industrial Electronics.

[107]  De-gan Zhang.  A new approach and system for attentive mobile learning based on seamless migration , 2010, Applied Intelligence.

[108]  J. Bongaarts.  United Nations Department of Economic and Social Affairs, Population Division World Mortality Report 2005 , 2006 .

[109]  Jenshan Lin,et al.  Design and Test of a High-Power High-Efficiency Loosely Coupled Planar Wireless Power Transfer System , 2009, IEEE Transactions on Industrial Electronics.

[110]  Michael Nicolaidis,et al.  A CAD framework for generating self-checking multipliers based on residue codes , 1999, Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).

[111]  A. Politano,et al.  Tuning the lifetime of the surface plasmon upon sputtering , 2009 .

[112]  M. Green,et al.  Surface plasmon enhanced silicon solar cells , 2007 .

[113]  A. Majda,et al.  Absorbing boundary conditions for the numerical simulation of waves , 1977 .

[114]  Z. Q. Zhang,et al.  Three‐dimensional weak‐form conjugate‐ and biconjugate‐gradient FFT methods for volume integral equations , 2001 .

[115]  H. Rohling,et al.  Performance of UTRA TDD ad hoc and IEEE 802.11b in vehicular environments , 2003, The 57th IEEE Semiannual Vehicular Technology Conference, 2003. VTC 2003-Spring..

[116]  Weng Cho Chew,et al.  A 3D perfectly matched medium from modified maxwell's equations with stretched coordinates , 1994 .

[117]  S. Haruyama,et al.  High-accuracy positioning system using visible LED lights and image sensor , 2008, 2008 IEEE Radio and Wireless Symposium.

[118]  Sai Chun Tang,et al.  A wireless batteryless deep-seated implantable ultrasonic pulser-receiver powered by magnetic coupling , 2010, 2010 IEEE International Ultrasonics Symposium.

[119]  Hoa Le Minh,et al.  80 Mbit/s Visible Light Communications using pre-equalized white LED , 2008, 2008 34th European Conference on Optical Communication.

[120]  Robert K. Brayton,et al.  Combinational techniques for sequential equivalence checking , 2010, Formal Methods in Computer Aided Design.

[121]  Jin-Fa Lee,et al.  A Domain Decomposition Method for Electromagnetic Radiation and Scattering Analysis of Multi-Target Problems , 2008, IEEE Transactions on Antennas and Propagation.

[122]  Robert K. Brayton,et al.  SAT-based complete don't-care computation for network optimization , 2005, Design, Automation and Test in Europe.

[123]  C. A. J. van Eijk,et al.  Sequential equivalence checking without state space traversal , 1998, DATE.

[124]  Mario Gerla,et al.  Improving efficiency-friendliness tradeoffs of TCP in wired-wireless combined networks , 2005, IEEE International Conference on Communications, 2005. ICC 2005. 2005.

[125]  William G. Scanlon,et al.  Off-body UWB channel characterisation within a hospital ward environment , 2010, Int. J. Ultra Wideband Commun. Syst..

[126]  Jian-Ming Jin,et al.  Solution of combined-field integral equation using multilevel fast multipole algorithm for scattering by homogeneous bodies , 1998 .

[127]  Takehiro Imura,et al.  Basic experimental study on helical antennas of wireless power transfer for Electric Vehicles by using magnetic resonant couplings , 2009, 2009 IEEE Vehicle Power and Propulsion Conference.

[128]  Hiroshi Sasaki,et al.  Simulation of information propagation for vehicles in physical communication network models , 2004, 2004 International Symposium on Applications and the Internet Workshops. 2004 Workshops..

[129]  P. Heremans,et al.  Large-signal-modulation of high-efficiency light-emitting diodes for optical communication , 2000, IEEE Journal of Quantum Electronics.

[130]  Joung-Hu Park,et al.  Design of a contactless battery charger for cellular phone , 2001, IEEE Trans. Ind. Electron..

[131]  Naresh R. Shanbhag,et al.  Energy-efficient soft error-tolerant digital signal processing , 2006, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[132]  Takehiro Imura,et al.  Study on open and short end helical antennas with capacitor in series of wireless power transfer using magnetic resonant couplings , 2009, 2009 35th Annual Conference of IEEE Industrial Electronics.

[133]  Fei Zhang,et al.  In vitro and in vivo studies on wireless powering of medical sensors and implantable devices , 2009, 2009 IEEE/NIH Life Science Systems and Applications Workshop.

[134]  Giulia Fanti,et al.  Wireless power transfer using weakly coupled magnetostatic resonators , 2010, 2010 IEEE Energy Conversion Congress and Exposition.

[135]  R. Brayton,et al.  Improvements to Combinational Equivalence Checking , 2006, 2006 IEEE/ACM International Conference on Computer Aided Design.

[136]  T. Lee.  The nonlinearity of double-heterostructure LED's for optical communications , 1977, Proceedings of the IEEE.