Autonomic goal-oriented device management for Smart Environments-Reference-Cited by-同舟云学术

Autonomic goal-oriented device management for Smart Environments

Published:2015-07-13 Issue:4 Volume:7 Page:425-448
ISSN:1876-1372
Container-title:Journal of Ambient Intelligence and Smart Environments
language:
Short-container-title:AIS

Author:

Sanaullah Muhammad¹,Corno Fulvio¹,Razzak Faisal¹

Affiliation:

1. Politecnico di Torino, Dipartimento di Automatica ed Informatica, Corso Duca degli Abruzzi 24, 10129 Torino, Italy. E-mails: sanaullah_20@hotmail.com, fulvio.corno@polito.it, raja.faisal@gmail.com

Publisher

IOS Press

Subject

Software

Reference58 articles.

1. [1]OSGi Alliance, Osgi service platform, core specification, release 4, version 4.1, OSGi Specification, 2007.

2. What planner for ambient intelligence applications?;Amigoni;IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans,2005

3. [3]C. Baier and J. Katoen, Principles of Model-Checking, The MIT Press, May 2008, ISBN-10: 0-262-02649-X, ISBN-13: 978-0-262-02649-9.

4. Statechart testing method for aircraft control systems;Bogdanov;Software Testing, Verification and Reliability,2001

5. [6]S. Bonhomme, E. Campo, D. Esteve and J. Guennec, Methodology and tools for the design and verification of a smart management system for home comfort, in: 4th International IEEE Conference on Intelligent Systems, IEEE, 2008, pp. 24-2–24-7.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Sustainable goal-oriented smart environments: a declarative programming approach;Journal of Logic and Computation;2023-03-28

2. Behavioral modeling of manufacturing skills in OPC UA for automated execution by an independent cell controller;Procedia CIRP;2021

3. Orchestrating light – Gesture-based control of smart lighting;Lighting Research & Technology;2016-06-22