Modeling Context-Aware and Agent-Ready Systems for the Outdoor Smart Lighting

  • Radosław Klimek
  • Grzegorz Rogus
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8468)


Smart lighting systems considered as context-awareness systems are challenging. The use of advanced technology for street lighting allows to achieve a number of potential benefits of improving the efficiency of lighting, enhance the ability to monitor and control street lighting. A context-aware based system in architecture for street lighting control dealing with intelligent software applications in pervasive computing has been proposed. Some diagrams in the UML language are extended by some elements of the CML language in order to provide possibilities to design and verify behaviour of context-aware-based systems.


Smart lighting system architecture pervasive computing Ambient Intelligence context-awareness Context-Modeling Language activity diagrams 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bettini, C., Brdiczka, O., Henricksen, K., Indulska, J., Nicklas, D., Ranganathan, A., Riboni, D.: A survey of context modelling and reasoning techniques. Pervasive Mobile Computing 6(2), 161–180 (2010), CrossRefGoogle Scholar
  2. 2.
    Byun, J., Park, S.: Development of a self-adapting intelligent system for building energy saving and context aware smart services. IEEE Transactions on Consumer Electronics 57, 90–98 (2011)CrossRefGoogle Scholar
  3. 3.
    Caponetto, R., Dongola, G., Fortuna, L., Riscica, N., Zufacchi, D.: Power consumption reduction in a remote controlled street lighting system. In: International Symposium on Power Electronics, Electrical Drives, Automation and Motion(SPEEDAM 2008), Ischia, June 11-13, pp. 428–33. IEEE Computer Society (2008)Google Scholar
  4. 4.
    Cho, S., Dhingra, V.: Street lighting control based on lonworks power line communication. In: IEEE International Symposium on Power Line Communications and Its Applications (ISPLC 2008), Jeju city, Jeju Island, Apri 2-4, pp. 396–8. IEEE Computer Society Press (2008)Google Scholar
  5. 5.
    Denardin, G.W., Barriquello, C.H., Pinto, R.A., Silva, M.F., Campos, A., do Prado, R.N.: An intelligent system for street lighting control and measurement. In: IEEE Industry Applications Society Annual Meeting (IAS 2009), Houston, TX, October 4-8, pp. 1–5. IEEE Computer Society (2009)Google Scholar
  6. 6.
    Dey, A.K.: Understanding and using context. Personal Ubiquitous Computing 5(1), 4–7 (2001), CrossRefGoogle Scholar
  7. 7.
    Dey, A.K., Abowd, G.D.: Towards a better understanding of context and context-awareness. In: Workshop on The What, Who, Where, When, and How of Context-Awareness, CHI 2000 (April 2000),
  8. 8.
    Emerson, E.: Temporal and Modal Logic. In: Handbook of Theoretical Computer Science, vol. B, pp. 995–1072. Elsevier, MIT Press (1990)Google Scholar
  9. 9.
    Fan, S., Yang, C., Wang, Z.: Automatic control system for highway tunnel lighting. In: Li, D., Liu, Y., Chen, Y. (eds.) Computer and Computing Technologies in Agriculture IV. IFIP AICT, vol. 347, pp. 116–123. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  10. 10.
    Iordache, C., Gavat, S., Mada, C., Stanciu, D., Holban, C.: Streetlight monitoring and control system part i: system structure. In: IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2008), Cluj-Napoca, May 22-25, pp. 183–186. IEEE (2008)Google Scholar
  11. 11.
    Klimek, R.: From extraction of logical specifications to deduction-based formal verification of requirements models. In: Hierons, R.M., Merayo, M.G., Bravetti, M. (eds.) SEFM 2013. LNCS, vol. 8137, pp. 61–75. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  12. 12.
    Klimek, R., Faber, Ł., Kisiel-Dorohinicki, M.: Verifying data integration agents with deduction-based models. In: Proceedings of Federated Conference on Computer Science and Information Systems (FedCSIS 2013), Kraków, Poland, September 8-11, pp. 1049–1055. IEEE Xplore Digital Library (2013)Google Scholar
  13. 13.
    Lee, J.D., Nam, K.Y., Jeong, S.H., Choi, S.B., Ryoo, H.S., Kim, D.K.: Development of zigbee based street light control system. In: IEEE PES Power Systems Conference and Exposition (PSCE 2006), Atlanta, GA, October 29 - November 1, pp. 2236–40. IEEE Computer Society (2006)Google Scholar
  14. 14.
    Li, L., Chu, X., Wu, Y., Wu, Q.: The development of road lighting intelligent control system based on wireless network control. In: International Conference on Electronic Computer Technology, Macau, February 20-22, pp. 353–7 (2009)Google Scholar
  15. 15.
    Schilit, B., Adams, N., Want, R.: Context-aware computing applications. In: Proceedings of the 1994 First Workshop on Mobile Computing Systems and Applications (WMCSA 1994), pp. 85–90. IEEE Computer Society (1994),
  16. 16.
    Wang, C., Zhang, D.L., Qin, H.L., Yao, Y.Y., Sun, Y., Shen, Y.: Hps street lighting lamp networking over power-lines. In: International Conference on Power System Technology (PowerCon 2006), Chongqing, October 22-26, pp. 1–5. IEEE Computer Society (2006)Google Scholar
  17. 17.
    Wojnicki, I., Sedziwy, A., Kotulski, L.: Towards ai-based distributed lighting control systems. Automatyka/Automatics 16, 189–198 (2012)CrossRefGoogle Scholar
  18. 18.
    Wouters, I., Chen, W., van Oorschot, B., Smeenk, W.: Interactive green street enhancement using light dependent sensors and actuators. In: IEEE International Symposium on Consumer Electronics (ISCE 2008), Vilamoura, April 14-16, pp. 1–3. IEEE Computer Society (2008)Google Scholar
  19. 19.
    Ying-Wen, B., Yi-Te, K.: Automatic room light intensity detection and control using a icroprocessor and light sensors. IEEE Transactions on Consumer Electronics 54, 1173–1176 (2008)CrossRefGoogle Scholar
  20. 20.
    Zhang, D., Guo, M., Liu, L., Zhong, M., Liu, X., Ota, K., Zhu, X.: A reference model for context-awareness in pervasive computing environments. In: Pervasive Computing. Nova Publisher (2011)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Radosław Klimek
    • 1
  • Grzegorz Rogus
    • 1
  1. 1.AGH University of Science and TechnologyKrakowPoland

Personalised recommendations