Guillet, Sébastien


Reports of the AAAI 2014 Conference Workshops

AI Magazine

The AAAI-14 Workshop program was held Sunday and Monday, July 27–28, 2012, at the Québec City Convention Centre in Québec, Canada. The AAAI-14 workshop program included fifteen workshops covering a wide range of topics in artificial intelligence. The titles of the workshops were AI and Robotics; Artificial Intelligence Applied to Assistive Technologies and Smart Environments; Cognitive Computing for Augmented Human Intelligence; Computer Poker and Imperfect Information; Discovery Informatics; Incentives and Trust in Electronic Communities; Intelligent Cinematography and Editing; Machine Learning for Interactive Systems: Bridging the Gap between Perception, Action and Communication; Modern Artificial Intelligence for Health Analytics; Multiagent Interaction without Prior Coordination; Multidisciplinary Workshop on Advances in Preference Handling; Semantic Cities -- Beyond Open Data to Models, Standards and Reasoning; Sequential Decision Making with Big Data; Statistical Relational AI; and The World Wide Web and Public Health Intelligence. This article presents short summaries of those events.


Reports of the AAAI 2014 Conference Workshops

AI Magazine

The AAAI-14 Workshop program was held Sunday and Monday, July 27–28, 2012, at the Québec City Convention Centre in Québec, Canada. Canada. The AAAI-14 workshop program included fifteen workshops covering a wide range of topics in artificial intelligence. The titles of the workshops were AI and Robotics; Artificial Intelligence Applied to Assistive Technologies and Smart Environments; Cognitive Computing for Augmented Human Intelligence; Computer Poker and Imperfect Information; Discovery Informatics; Incentives and Trust in Electronic Communities; Intelligent Cinematography and Editing; Machine Learning for Interactive Systems: Bridging the Gap between Perception, Action and Communication; Modern Artificial Intelligence for Health Analytics; Multiagent Interaction without Prior Coordination; Multidisciplinary Workshop on Advances in Preference Handling; Semantic Cities — Beyond Open Data to Models, Standards and Reasoning; Sequential Decision Making with Big Data; Statistical Relational AI; and The World Wide Web and Public Health Intelligence. This article presents short summaries of those events.


Reconfiguration Control and Decision, Application to Smart Environments

AAAI Conferences

This work addresses the problem of optimising the reconfiguration under control of a smart home system dedicated to people with disabilities. The paper presents the transformations to combine both the control and decision parts of the reconfiguration management system and then demonstrates its execution.


Guillet

AAAI Conferences

This work addresses the problem of optimising the reconfiguration under control of a smart home system dedicated to people with disabilities. The paper presents the transformations to combine both the control and decision parts of the reconfiguration management system and then demonstrates its execution.


Self-Reconfigurable Control, Application to Smart Environments

AAAI Conferences

This work addresses the problem of controlling smart homes dedicated to people with disabilities when their disabilities evolve. These people being usually frail by nature, keeping their environment constantly safe and adapted is crucial. While it is possible to prove the security of such an environment given both its behavioral definition and a patient profile, proving that it will remain secure for all possible profile evolution is a combinatorial problem. A solution to this problem is to define secure execution points on which the control of the environment's behavior can be changed for a new one that is adapted to an evolution of the patient's profile. This paper presents the methodology to implement this solution based on the definition of the environment as a synchronous program containing controllability information. From such a program, we use a synthesis technique named Discrete Controller Synthesis to obtain — when it exists — a control function that will enforce temporal properties on the execution of the synchronous program. A use case is presented, showing a partial model of a smart home, on which security properties are defined to be enforced at runtime. During execution, the patient profile is updated, and a new controller obtained through DCS is integrated to adapt the environment's behavior appropriately.