Wyznaczanie optymalnego oświetlenia wspomagane metodami formalnymi

• Autorzy: Sędziwy A.

Warianty tytułu

EN

Optimal Lighting Design Supported by Formal Methods

• Języki publikacji: PL

Abstrakty

PL

W niniejszym artykule przedstawiam kierunki swoich badań oraz motywację ich podjęcia. Dotyczą one budowy formalnego modelu wspierającego tworzenie inteligentnych systemów projektowania i sterowania oświetleniem ulicznym.

EN

The article presents my recent work and its future direction including their motivation and background. Developing formal methods underlying intelligent systems of design and control of street lighting are in my research area.

Słowa kluczowe

PL

inteligentne sterowanie oświetleniem; LED; graf; hipergraf; system wieloagentowy

EN

intelligent lighting control; LED; graph; hypergraph; multi-agent system

• Wydawca: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów PIAP
• Czasopismo: Pomiary Automatyka Robotyka
• Rocznik: 2011
• Tom: R. 15, nr 12
• Strony: 135--136
• Opis fizyczny: Bibliogr. 5 poz.

Twórcy

autor

Sędziwy A.

• AGH Akademia Górniczo-Hutnicza, Wydział EAIiE, Katedra Automatyki,

Bibliografia

• 1. Sędziwy A., Kotulski L.: Solving Large-Scale Multipoint Lighting Design Problem Using Multi-Agent Environment, Key Engineering Materials Vol. 486, Advanced Design and Manufacture IV (2011).
• 2. Sędziwy A.: Transformacja danych GIS do reprezentacji grafowej dla przetwarzania agentowego, Automatyka (2011).
• 3. Kotulski L., Sędziwy A.: GRADIS the multiagent environment supported by graph transformations. Simulation Modelling Practice and Theory 18(10) Simulation-based Design and Evaluation of Multi-Agent Systems (2010), 1515-1525.
• 4. Kotulski L., Sędziwy A.: Parallel Graph Transformations with Double Pushout Grammars, Proceedings of the 10th International Conference on Artifical Intelligence and Soft Computing: Part II (ICAISC’10), Leszek Rutkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, and Jacek M. Zurada (Eds.). Springer-Verlag, Berlin, Heidelberg, (2010), 280-288.
• 5. Kotulski L., Sędziwy A.: Parallel graph transformations supported by replicated complementary graphs. [In:] Proceedings of the 10th International Conference on Adaptive and Natural Computing Algorithms - Vol. Part II (ICANNGA’11), Andre) Dobnikar, Uroš Lotrič, and Branko Šter (Eds.), Springer-Verlag, Berlin, Heidelberg, (2011), 254-264.