Formal Methods Supporting Agent Aided Smart Lighting Design

  • Adam Sędziwy
  • Leszek Kotulski
  • Marcin Szpyrka
Conference paper
Part of the Advances in Intelligent and Soft Computing book series (AINSC, volume 170)


In the paper we present the formal description of the agent-based light sensors (LSA - Light Sensors Agents) serving as data suppliers for a multiagent system controlling the distribution and work parameters of lighting points distributed across a given urban area. The cooperation and behavior of sensor agents are modeled and verified using Alvis modeling language.


Multiagent System Embed System Graph Transformation Label Transition System Lighting Point 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baumgart, S., Toledo, B., Spors, K., Schimmler, M.: PLUG: An Agent Based Prototype Validation of CAD-Constructions. In: IKE, pp. 183–190 (2006)Google Scholar
  2. 2.
    Yabuki, N., Kotani, J., Shitani, T.: A Cooperative Design Environment Using Multi-Agents and Virtual Reality. In: Luo, Y. (ed.) CDVE 2004. LNCS, vol. 3190, pp. 96–103. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  3. 3.
    Shitani, T., Yabuki, N.: A concrete bridge design system using multi-agents. In: Abraham, A., Dote, Y., Furuhashi, T., Köppen, M., Ohuchi, A., Ohsawa, Y. (eds.) Soft Computing as Transdisciplinary Science and Technology. Advances in Soft Computing, vol. 29, pp. 695–704. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  4. 4.
    Ligong, X., Zude, Z., Quan, L.: Multi-agent architecture for collaborative cad system. In: Proceedings of the 2008 International Conference on Computer Science and Information Technology. ICCSIT 2008, pp. 7–11. IEEE Computer Society, Washington, DC (2008)CrossRefGoogle Scholar
  5. 5.
    Kotulski, L., Strug, B.: Distributed Adaptive Design with Hierarchical Autonomous Graph Transformation Systems. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2007. LNCS, vol. 4488, pp. 880–887. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  6. 6.
    Sędziwy, A., Kotulski, L.: Solving large-scale multipoint lighting design problem using multi-agent environment. Key Engineering Materials 486, 182–197 (2011)Google Scholar
  7. 7.
    van Ommering, R., van der Linden, F., Kramer, J., Magee, J.: The koala component model for consumer electronics software. Computer (33), 78–85 (2000)Google Scholar
  8. 8.
    Bures, T., Hnetynka, P., Plasil, F.: Sofa 2.0: Balancing advanced features in a hierarchical component model. In: Proceedings of the Fourth International Conference on Software Engineering Research, Management and Applications, pp. 40–48. IEEE Computer Society, Washington, DC (2006)Google Scholar
  9. 9.
    OW2_Consortium: The fractal project,
  10. 10.
    Borde, E., Carlson, J.: Towards verified synthesis of procom, a component model for real-time embedded systems. In: Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, CBSE 2011, pp. 129–138. ACM, New York (2011)CrossRefGoogle Scholar
  11. 11.
    Szpyrka, M., Matyasik, P., Mrówka, R., Kotulski, L.: Formal modeling and verification of concurrent system with alvis. International Journal of Applied Mathematics and Computer Science (to appear, 2012)Google Scholar
  12. 12.
    Szpyrka, M., Matyasik, P., Mrówka, R.: Alvis – Modelling Language for Concurrent Systems. In: Bouvry, P., González-Vélez, H., Kołodziej, J. (eds.) Intelligent Decision Systems in Large-Scale Distributed Environments. SCI, vol. 362, pp. 315–341. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  13. 13.
    Szpyrka, M.: Alvis on-line manual (2011),
  14. 14.
    Szpyrka, M., Matyasik, P., Mrówka, R., Kotulski, L.: Communication with environment in Alvis models. International Journal of Electronics and Telecommunications (to appear, 2012)Google Scholar
  15. 15.
    Kotulski, L., Sędziwy, A.: Gradis - the multiagent environment supported by graph transformations. Simulation Modelling Practice and Theory 18(10), 1515–1525 (2010); Simulation-based Design and Evaluation of Multi-Agent SystemsCrossRefGoogle Scholar
  16. 16.
    Kotulski, L., Sędziwy, A.: On the Effective Distribution of Knowledge Represented by Complementary Graphs. In: Jędrzejowicz, P., Nguyen, N.T., Howlet, R.J., Jain, L.C. (eds.) KES-AMSTA 2010. LNCS, vol. 6070, pp. 381–390. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  17. 17.
    Kotulski, L., Szpyrka, M., Sędziwy, A.: Labelled Transition System Generation from Alvis Language. In: König, A., Dengel, A., Hinkelmann, K., Kise, K., Howlett, R.J., Jain, L.C. (eds.) KES 2011, Part I. LNCS, vol. 6881, pp. 180–189. Springer, Heidelberg (2011)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Adam Sędziwy
    • 1
  • Leszek Kotulski
    • 1
  • Marcin Szpyrka
    • 1
  1. 1.Department of AutomaticsAGH University of Science and TechnologyKrakowPoland

Personalised recommendations