Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002)
- Type
- Modulo (Classe)
- Label
- Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002) (literal)
- Prodotto
- Intelligent Supervision for Ambient Intelligence: Customizing Scheduling Technology (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Using Validation and Verification Techniques for Robust Plan Execution (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Un sistema robotico integrato di supporto agli anziani (Articolo in rivista) (Prodotto della ricerca)
- Dynamic Contexts and Concepts as a Set of State Variations Under Emerging Functions: A Logical Model for Evolving Ontologies and Autopoietic Multi-Agent Systems (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Proceedings of the Second RoboCare Workshop (Curatela) (Prodotto della ricerca)
- The Third Competition on Knowledge Engineering for Planning and Scheduling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Evaluating Proactive Support in RoboCare: The User's View (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- RoboCare: Pervasive Intelligence for the Domestic Care of the Elderly (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- What about having a robot at home? (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- DiPRA: Distributed Practical Reasoning Architecture (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Robots in a domestic setting: A psychological approach. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Validation and Verification Issues in a Timeline-Based Planning System (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Preface to Special Issue on Planning and Scheduling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Robocare, un progetto pilota su tecnologie intelligenti per aiutare anziani in casa (Articolo in rivista) (Prodotto della ricerca)
- Exploiting Scheduling Techniques to Monitor the Execution of Domestic Activities (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- T-Rex: a Tool for schedule Representation and EXecution (Contributo in atti di convegno) (Prodotto della ricerca)
- TGA-Based Controllers for Flexible Plan Execution (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Restorative environments in later life. An approach to well-being from the perspective of environmental psychology (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Biasing the Structure of Scheduling Problems Through Classical Planners (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Applicazioni a supporto della terza età (Comunicazione a convegno) (Prodotto della ricerca)
- Lucia: a Cognitive Robot in an Intelligent Environment (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- RoboCare Domestic Environment: Sistema multi-agente con componenti fisse e robotiche mobili per monitorare anziani in casa (Manufatti, prototipi d'arte e relativi progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1729)
- Psychological implications of domestic assistive technology for the elderly (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Casting Project Scheduling with Time Windows as a DTP (Contributo in atti di convegno) (Prodotto della ricerca)
- User-Oriented Problem Abstractions in Scheduling: Customization and Reuse in Scheduling Software Architectures (Articolo in rivista) (Prodotto della ricerca)
- Flexible Timeline-Based Plan Verification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Integrating Intelligent Systems for Elder Care in RoboCare (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Project Scheduling as a Disjunctive Temporal Problem (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Pursuing Interactivity in Mission Planning Support - A Retrospective View (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Towards a framework for proactive monitoring of service choreography (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Towards Ambient Intelligence for the Domestic Care of the Elderly (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Cognition in Information Evaluation. The effect of Reputation in Decision Making and Learning Strategies for Discovering Good Sellers in a Base Market (Contributo in atti di convegno) (Prodotto della ricerca)
- If I had a robot at home Peoples representation of domestic robots (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Monitoring Domestic Activities with Scheduling Techniques (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The RoboCare Project: Intelligent Systems for Elder Care (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Coordinating Heterogeneous Agents to Synthesize Proactive Monitoring (Contributo in atti di convegno) (Prodotto della ricerca)
- 'Robotically Rich' Environments for Supporting Elderly People at Home: the RoboCare Experience (Curatela) (Prodotto della ricerca)
- T-REX: Un sistema per la creazione di astrazioni ontologiche su architetture di scheduling (Risultati di valorizzazione applicativa) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1724)
- Il robot Lucia - Un sistema robotico per la competizione RoboCup@Home dal progetto RoboCare (Risultati di valorizzazione applicativa) (Prodotto della ricerca)
- Elderly People at Home: Technological Help in Everyday Activities (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Injecting On-Board Autonomy in a Multi-Agent System for Space Service Providing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Simulating On-Board Autonomy in a Multi-Agent System with Planning and Scheduling (Contributo in atti di convegno) (Prodotto della ricerca)
- Exploiting Iterative Flattening Search to Solve Job Shop Scheduling Problems with Setup Times (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal Methods for Plan-based Robot Autonomy: A Case Study (Contributo in atti di convegno) (Prodotto della ricerca)
- Job Shop Scheduling with Setup Times: Exploring the Applicability of a Constraint-based Iterative Sampling Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?. (Contributo in atti di convegno) (Prodotto della ricerca)
- Multi-agent Frameworks for Space Applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Enabling Social Interaction Through Embodiment in ExCITE (Contributo in atti di convegno) (Prodotto della ricerca)
- Generating Controllers for Flexible Plan Execution: a TGA approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Analyzing Flexible Timeline-based Plans (Contributo in atti di convegno) (Prodotto della ricerca)
- Deploying Interactive Mission Planning Tools - Experiences and Lessons Learned (Contributo in atti di convegno) (Prodotto della ricerca)
- Synthesizing Proactive Assistance with Heterogeneous Agents (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Validation and Verification Issues in a Timeline-based Planning System (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Proactive Assistive Technology: An Empirical Study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Enriching APSI with Validation Capabilities: the KEEN environment and its use in Robotics (Contributo in atti di convegno) (Prodotto della ricerca)
- A Cross-Cultural Evaluation of Domestic Assistive Robots (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Caring About the User's View: The Joys and Sorrows of Experiments with People (Contributo in atti di convegno) (Prodotto della ricerca)
- Supporting Interaction in the RoboCare Intelligent Assistive Environment (Contributo in atti di convegno) (Prodotto della ricerca)
- DCOP for Smart Homes: a Case Study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Key Issues in Interactive Problem Solving: An Empirical Investigation on Users Attitude (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Rappresentazioni Anticipatorie: Tre Studi Simulativi (Curatela) (Prodotto della ricerca)
- The RoboCare Project: The Users View (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Supporting Increment Planning Processes within the ULISSE Framework (Contributo in atti di convegno) (Prodotto della ricerca)
- Mediating the Knowledge of End-Users and Technologists: a Problem in the Development of Scheduling Technology (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Coping strategies and technology in later life (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Metodologia di valutazione sperimentale per sistemi robotici diretti a utenti anziani (Risultati di valorizzazione applicativa) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1724)
- Codice
- ICT.P09.005.002 (literal)
- Anno di chiusura previsto
- 2014-01-01T00:00:00+01:00 (literal)
- Istituto esecutore
- Primo anno di attività
- 2005-01-01T00:00:00+01:00 (literal)
- Abstract
- Questo modulo (coordinato con la commessa ISTI su \"robust software intensive systems\") ha un po' cambiato natura nel corso del tempo. E' nato con l' obiettivo di creare ambienti sensorizzati intelligenti. Ad es. ambienti che ricreino le condizioni abitative di una persona che necessita di supervisione in cui sono inseriti in maniera funzionalmente utile delle tecnologie avanzate sia sensoristiche che software. Tale ambiente doveva costituire un benchmark di supporto alle altre attivita' della commessa. In realta' queste attivita', nate con il progetto RoboCare (http://robocare.istc.cnr.it), conclusosi nel 2006 sono continuate dal lavoratorio di Pianificazione e Scheduling dell'ISTC in altre commesse. In questo modulo sono al momento svolte ricerche su sistemi software intensive per la pianificazione e lo scheduling, ed in particolare ricerche per la verifica di proprieta' di piani. Questo cambiamento, iniziato nel 2010, si e' consolidato nel 2011 e proseguira' negli anni successivi. Il coordinamento con l'ISTI, anche se lasco, e' rilevante per gli aspetti connessi sia software engineering che alla software dependability. (literal)
- Nome
- Architetture a componenti per sistemi complessi affidabili (literal)
- Descrizione
- Descrizione collaborazioni del modulo "Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002)" (Descrizione collaborazioni)
- Descrizione del modulo "Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002)" (Descrizione modulo)
- Descrizione dello stato di avanzamento delle attività del modulo "Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002)" (Descrizione stato avanzamento attività)
- Modulo di
- Gestore
- AMEDEO CESTA (Unità di personale interno)
Incoming links:
- Prodotto di
- RoboCare: Pervasive Intelligence for the Domestic Care of the Elderly (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Un sistema robotico integrato di supporto agli anziani (Articolo in rivista) (Prodotto della ricerca)
- Lucia: a Cognitive Robot in an Intelligent Environment (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Biasing the Structure of Scheduling Problems Through Classical Planners (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Coordinating Heterogeneous Agents to Synthesize Proactive Monitoring (Contributo in atti di convegno) (Prodotto della ricerca)
- Flexible Timeline-Based Plan Verification (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Project Scheduling as a Disjunctive Temporal Problem (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Pursuing Interactivity in Mission Planning Support - A Retrospective View (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Casting Project Scheduling with Time Windows as a DTP (Contributo in atti di convegno) (Prodotto della ricerca)
- Robots in a domestic setting: A psychological approach. (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- User-Oriented Problem Abstractions in Scheduling: Customization and Reuse in Scheduling Software Architectures (Articolo in rivista) (Prodotto della ricerca)
- Monitoring Domestic Activities with Scheduling Techniques (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The RoboCare Project: Intelligent Systems for Elder Care (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Caring About the User's View: The Joys and Sorrows of Experiments with People (Contributo in atti di convegno) (Prodotto della ricerca)
- Supporting Interaction in the RoboCare Intelligent Assistive Environment (Contributo in atti di convegno) (Prodotto della ricerca)
- Validation and Verification Issues in a Timeline-based Planning System (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Exploiting Iterative Flattening Search to Solve Job Shop Scheduling Problems with Setup Times (Contributo in atti di convegno) (Prodotto della ricerca)
- Formal Methods for Plan-based Robot Autonomy: A Case Study (Contributo in atti di convegno) (Prodotto della ricerca)
- Injecting On-Board Autonomy in a Multi-Agent System for Space Service Providing (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Simulating On-Board Autonomy in a Multi-Agent System with Planning and Scheduling (Contributo in atti di convegno) (Prodotto della ricerca)
- Key Issues in Interactive Problem Solving: An Empirical Investigation on Users Attitude (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Proactive Assistive Technology: An Empirical Study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Synthesizing Proactive Assistance with Heterogeneous Agents (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Validation and Verification Issues in a Timeline-Based Planning System (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Preface to Special Issue on Planning and Scheduling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- The Third Competition on Knowledge Engineering for Planning and Scheduling (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- DCOP for Smart Homes: a Case Study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Restorative environments in later life. An approach to well-being from the perspective of environmental psychology (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Exploiting Scheduling Techniques to Monitor the Execution of Domestic Activities (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Robocare, un progetto pilota su tecnologie intelligenti per aiutare anziani in casa (Articolo in rivista) (Prodotto della ricerca)
- Psychological implications of domestic assistive technology for the elderly (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- T-Rex: a Tool for schedule Representation and EXecution (Contributo in atti di convegno) (Prodotto della ricerca)
- Cognition in Information Evaluation. The effect of Reputation in Decision Making and Learning Strategies for Discovering Good Sellers in a Base Market (Contributo in atti di convegno) (Prodotto della ricerca)
- A Cross-Cultural Evaluation of Domestic Assistive Robots (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Analyzing Flexible Timeline-based Plans (Contributo in atti di convegno) (Prodotto della ricerca)
- Deploying Interactive Mission Planning Tools - Experiences and Lessons Learned (Contributo in atti di convegno) (Prodotto della ricerca)
- Job Shop Scheduling with Setup Times: Exploring the Applicability of a Constraint-based Iterative Sampling Approach (Contributo in atti di convegno) (Prodotto della ricerca)
- How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?. (Contributo in atti di convegno) (Prodotto della ricerca)
- Multi-agent Frameworks for Space Applications (Contributo in atti di convegno) (Prodotto della ricerca)
- Enabling Social Interaction Through Embodiment in ExCITE (Contributo in atti di convegno) (Prodotto della ricerca)
- What about having a robot at home? (Abstract/Poster in atti di convegno) (Prodotto della ricerca)
- Applicazioni a supporto della terza età (Comunicazione a convegno) (Prodotto della ricerca)
- Evaluating Proactive Support in RoboCare: The User's View (Comunicazione a convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1303)
- Elderly People at Home: Technological Help in Everyday Activities (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- If I had a robot at home Peoples representation of domestic robots (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Integrating Intelligent Systems for Elder Care in RoboCare (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Towards Ambient Intelligence for the Domestic Care of the Elderly (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- The RoboCare Project: The Users View (Contributo in volume (capitolo o saggio)) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1201)
- Proceedings of the Second RoboCare Workshop (Curatela) (Prodotto della ricerca)
- Intelligent Supervision for Ambient Intelligence: Customizing Scheduling Technology (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Mediating the Knowledge of End-Users and Technologists: a Problem in the Development of Scheduling Technology (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- Coping strategies and technology in later life (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- DiPRA: Distributed Practical Reasoning Architecture (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Dynamic Contexts and Concepts as a Set of State Variations Under Emerging Functions: A Logical Model for Evolving Ontologies and Autopoietic Multi-Agent Systems (Contributo in volume (capitolo o saggio)) (Prodotto della ricerca)
- RoboCare Domestic Environment: Sistema multi-agente con componenti fisse e robotiche mobili per monitorare anziani in casa (Manufatti, prototipi d'arte e relativi progetti) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1729)
- Metodologia di valutazione sperimentale per sistemi robotici diretti a utenti anziani (Risultati di valorizzazione applicativa) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1724)
- 'Robotically Rich' Environments for Supporting Elderly People at Home: the RoboCare Experience (Curatela) (Prodotto della ricerca)
- Rappresentazioni Anticipatorie: Tre Studi Simulativi (Curatela) (Prodotto della ricerca)
- T-REX: Un sistema per la creazione di astrazioni ontologiche su architetture di scheduling (Risultati di valorizzazione applicativa) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1724)
- Il robot Lucia - Un sistema robotico per la competizione RoboCup@Home dal progetto RoboCare (Risultati di valorizzazione applicativa) (Prodotto della ricerca)
- Supporting Increment Planning Processes within the ULISSE Framework (Contributo in atti di convegno) (Prodotto della ricerca)
- TGA-Based Controllers for Flexible Plan Execution (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Generating Controllers for Flexible Plan Execution: a TGA approach (Contributo in atti di convegno) (Prodotto della ricerca)
- Enriching APSI with Validation Capabilities: the KEEN environment and its use in Robotics (Contributo in atti di convegno) (Prodotto della ricerca)
- Towards a framework for proactive monitoring of service choreography (Rapporti tecnici/preprint/working paper) (Prodotto della ricerca)
- Using Validation and Verification Techniques for Robust Plan Execution (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Modulo
- Gestore di
- AMEDEO CESTA (Unità di personale interno)
- Istituto esecutore di
- Descrizione di
- Descrizione del modulo "Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002)" (Descrizione modulo)
- Descrizione dello stato di avanzamento delle attività del modulo "Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002)" (Descrizione stato avanzamento attività)
- Descrizione collaborazioni del modulo "Architetture a componenti per sistemi complessi affidabili (ICT.P09.005.002)" (Descrizione collaborazioni)