Skip to main content
SpringerLink
Log in

Formal Methods Supporting Agent Aided Smart Lighting Design

  • Conference paper
Complex Systems and Dependability

Part of the book series: Advances in Intelligent and Soft Computing ((AINSC,volume 170))

  • 881 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. 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. OW2_Consortium: The fractal project, http://fractal.ow2.org

  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)

    Chapter  Google Scholar 

  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. 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)

    Chapter  Google Scholar 

  13. Szpyrka, M.: Alvis on-line manual (2011), http://fm.ia.agh.edu.pl/alvis:manual

  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. 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 Systems

    Article  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Automatics, AGH University of Science and Technology, al. Mickiewicza 30, 30-059, Krakow, Poland

    Adam Sędziwy, Leszek Kotulski & Marcin Szpyrka

Authors
  1. Adam Sędziwy
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Leszek Kotulski
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marcin Szpyrka
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Adam Sędziwy .

Editor information

Editors and Affiliations

  1. , Institute of Computer Engineering,, Wrocław University of Technology, ul. Janiszewskiego 11/17, Wroclaw, 50-372, Poland

    Wojciech Zamojski

  2. Institute of Computer Engineering, Control and Robotics, Wrocław University of Technology, ul. Janiszewskiego 11/17, Wrocław, 50-372, Poland

    Jacek Mazurkiewicz

  3. , Institute of Computer Engineering,, Wrocław University of Technology, ul. Janiszewskiego 11/17, Wroclaw, 50-372, Poland

    Jarosław Sugier

  4. , Institute of Computer Engineering,, Wrocław University of Technology, ul. Janiszewskiego 11/17, Wroclaw, 50-372, Poland

    Tomasz Walkowiak

  5. Systems Research Instiute, Polish Academy of Sciences, Newelska 6, Warszawa, 01-447, Poland

    Janusz Kacprzyk

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Sędziwy, A., Kotulski, L., Szpyrka, M. (2013). Formal Methods Supporting Agent Aided Smart Lighting Design. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds) Complex Systems and Dependability. Advances in Intelligent and Soft Computing, vol 170. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30662-4_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-30662-4_15

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-30661-7

  • Online ISBN: 978-3-642-30662-4

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation