Search

Your search keyword '"Sébastien Guillet"' showing total 14 results
Start Over Author "Sébastien Guillet" Topic business
14 results on '"Sébastien Guillet"'

1. Reports of the AAAI 2014 Conference Workshops

Author

Paul Weng, Byron C. Wallace, Biplav Srivastava, Andre Barreto, Jenna Wiens, Rosario A. Uceda-Sosa, Kristian Kersting, Markus Endres, Lawrence Hunter, Mark S. Fox, Amir-massoud Farahmand, Lutz Frommberger, David Poole, Sam Ganzfried, Arnav Jhala, Martijn van Otterlo, Sheila A. McIlraith, Jie Zhang, Arash Shaban-Nejad, Yolanda Gil, Rémi Ronfard, Sriraam Natarajan, Freddy Lecue, Zeinab Noorian, Nina Dethlefs, Guy Van den Broeck, Alessandro Saffiotti, Sébastien Guillet, Darius Braziunas, David L. Buckeridge, Stefano V. Albrecht, Gerald Tesauro, George Konidaris, and Heriberto Cuayáhuitl

Subjects
Open data, Engineering, Artificial Intelligence, Human intelligence, business.industry, Music and artificial intelligence, Cognitive computing, Big data, Smart environment, Applications of artificial intelligence, Web intelligence, business, Data science
Abstract

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.

Published
2015
Full Text
View/download PDF

3. Extending UML/MARTE to Support Discrete Controller Synthesis, Application to Reconfigurable Systems-on-Chip Modeling

Author

Florent de Lamotte, Nicolas Le Griguer, Eric Rutten, Jean-Philippe Diguet, Guy Gogniat, Sébastien Guillet, Lab-STICC_UBS_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Control for Autonomic computing systems (CTRL-A), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), ANR-09-BLAN-0346,FAMOUS(2009), Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), and Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)

Subjects
[INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], MicroBlaze, General Computer Science, Computer science, business.industry, Controller (computing), 0211 other engineering and technologies, Control reconfiguration, Applications of UML, 02 engineering and technology, Formal methods, 020202 computer hardware & architecture, Unified Modeling Language, Embedded system, 0202 electrical engineering, electronic engineering, information engineering, Model-driven architecture, business, Reactive system, computer, ComputingMilieux_MISCELLANEOUS, 021106 design practice & management, computer.programming_language
Abstract

This article presents the first framework to design and synthesize a formal controller managing dynamic reconfiguration, using a model-driven engineering methodology based on an extension of UML/MARTE. The implementation technique highlights the combination of hard configuration constraints using weights ( control part )—ensured statically and fulfilled by the system at runtime—and soft constraints ( decision part ) that, given a set of correct and accessible configurations, choose one of them. An application model of an image processing application is presented, then transformed and synthesized to be executed on a Xilinx platform to show how the controller, executed on a Microblaze, manages the hardware reconfigurations.

Published
2014
Full Text
View/download PDF

4. Designing smart homes dedicated to disabled people using modular Discrete Controller Synthesis

Author

Bruno Bouchard, Abdenour Bouzouane, and Sébastien Guillet

Subjects
Engineering, Ambient intelligence, business.industry, Fault tolerance, General Medicine, Modular design, Computer security, computer.software_genre, Home automation, Human–computer interaction, Management system, Redundancy (engineering), Smart environment, Cognitive decline, business, computer
Abstract

In the domain of smart homes dedicated to disabled people, especially cognitively impaired people, providing an adequate assistance to allow the users to carry out their activities of daily living is the main challenge tackled by many contributions. New assistive technologies based on the concept of Ambient Intelligence have been developed to alleviate the effects of cognitive decline, however, the reliability of such propositions is seldom discussed while the smart home environment — consisting of several electronic or mechanic components — is usually not reliable. Over time, components can fail, threatening to compromise the ability of implemented assistive technologies to maintain their services, thus endangering an already frail user. To deal with the problem of reliability and failure tolerance, redundancy and Quality of Service management systems can be implemented. However, correctly designing such systems is a difficult problem. To address this challenge, this paper presents a formal methodology to model fault tolerant smart homes assistive technologies. The contribution consists in representing a smart home as a controllable reactive program, on which the proposed methodology exploits the modular application of Discrete Controller Synthesis to automatically obtain the various parts of its fault tolerance management system.

Published
2014
Full Text
View/download PDF

5. Correct by Construction Security Approach to Design Fault Tolerant Smart Homes for Disabled People

Author

Abdenour Bouzouane, Sébastien Guillet, and Bruno Bouchard

Subjects
Computer science, business.industry, Synchronous framework, Control (management), Fault tolerance, Disabled people, Computer security, computer.software_genre, Discrete Controller Synthesis, Smart home, Control theory, Home automation, BZR, Security, General Earth and Planetary Sciences, business, computer, General Environmental Science
Abstract

Smart homes dedicated to people with disabilities, specially those with dementia, are critical systems which need to remain safe and adapted to the user. However the control part of these systems, that is ensuring their safety, is both difficult to design as well as to verify without appropriate tools. Formal techniques have been used to cope with the verification problem, but this paper proposes a new way to specify smart home safety which also eases the design aspect. It enables the use of a correct by construction technique – Discrete Controller Synthesis – to automatically build from constraints a maximally permissive safety controller.

Published
2013
Full Text
View/download PDF

6. Safe and Automatic Addition of Fault Tolerance for Smart Homes Dedicated to People with Disabilities

Author

Abdenour Bouzouane, Bruno Bouchard, and Sébastien Guillet

Subjects
Engineering, business.industry, 05 social sciences, Control (management), 020207 software engineering, Context (language use), Fault tolerance, 02 engineering and technology, Computer security, computer.software_genre, Formal synthesis, Home automation, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, business, Design methods, Software engineering, computer, 050107 human factors
Abstract

In this chapter, we discuss a project of the LIARA laboratory that introduces a methodology to design and control smart homes dedicated to people with disabilities. In this context, this project aims at improving the security of the environment through a design methodology involving formal synthesis techniques.

Published
2016
Full Text
View/download PDF

7. An MDE Approach for Rapid Prototyping and Implementation of Dynamic Reconfigurable Systems

Author

Guy Gogniat, Jean-Philippe Diguet, Sébastien Guillet, Florent de Lamotte, Gilberto Ochoa-Ruiz, Eric Rutten, El-Bay Bourennane, Lab-STICC_UBS_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance ( Lab-STICC ), École Nationale d'Ingénieurs de Brest ( ENIB ) -Université de Bretagne Sud ( UBS ) -Université de Brest ( UBO ) -Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques ( IBNM ), Université de Brest ( UBO ) -Université européenne de Bretagne ( UEB ) -ENSTA Bretagne-Institut Mines-Télécom [Paris]-Centre National de la Recherche Scientifique ( CNRS ) -École Nationale d'Ingénieurs de Brest ( ENIB ) -Université de Bretagne Sud ( UBS ) -Université de Brest ( UBO ) -Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques ( IBNM ), Université de Brest ( UBO ) -Université européenne de Bretagne ( UEB ) -ENSTA Bretagne-Institut Mines-Télécom [Paris]-Centre National de la Recherche Scientifique ( CNRS ), Control techniques for Autonomic, adaptive and Reconfigurable Computing systems ( CTRL-A ), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ), Laboratoire Electronique, Informatique et Image ( Le2i ), Université de Bourgogne ( UB ) -AgroSup Dijon - Institut National Supérieur des Sciences Agronomiques, de l'Alimentation et de l'Environnement-Centre National de la Recherche Scientifique ( CNRS ), ANR FAMOUS,ANR FAMOUS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Control techniques for Autonomic, adaptive and Reconfigurable Computing systems (CTRL-A), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), Laboratoire Electronique, Informatique et Image [UMR6306] (Le2i), Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Arts et Métiers (ENSAM), Arts et Métiers Sciences et Technologies, HESAM Université (HESAM)-HESAM Université (HESAM)-Arts et Métiers Sciences et Technologies, HESAM Université (HESAM)-HESAM Université (HESAM)-AgroSup Dijon - Institut National Supérieur des Sciences Agronomiques, de l'Alimentation et de l'Environnement, Ochoa-Ruiz, Gilberto, Blanc - - FAMOUS2009 - ANR-09-BLAN-0346 - Blanc - VALID, Control for Autonomic computing systems (CTRL-A), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Université de Bourgogne (UB)-École Nationale Supérieure d'Arts et Métiers (ENSAM), HESAM Université (HESAM)-HESAM Université (HESAM)-AgroSup Dijon - Institut National Supérieur des Sciences Agronomiques, de l'Alimentation et de l'Environnement-Centre National de la Recherche Scientifique (CNRS), ANR-09-BLAN-0346,FAMOUS(2009), Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-Arts et Métiers Sciences et Technologies, and HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-AgroSup Dijon - Institut National Supérieur des Sciences Agronomiques, de l'Alimentation et de l'Environnement-Centre National de la Recherche Scientifique (CNRS)

Subjects
IP Reuse, Computer science, IP-XACT, 02 engineering and technology, Discrete Controller Synthesis, 020204 information systems, VHDL, Partial Reconfiguration, 0202 electrical engineering, electronic engineering, information engineering, CAD, [ INFO.INFO-ES ] Computer Science [cs]/Embedded Systems, Electrical and Electronic Engineering, Field-programmable gate array, FPGA, computer.programming_language, business.industry, System Generation, Control reconfiguration, computer.file_format, Computer Graphics and Computer-Aided Design, Automation, UML MARTE, 020202 computer hardware & architecture, Computer Science Applications, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, Model Driven Engineering, Embedded system, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Executable, Model-driven architecture, business, computer
Abstract

This article presents a co-design methodology based on RecoMARTE, an extension to the well-known UML MARTE profile, which is used for the specification and automatic generation of Dynamic and Partially Reconfigurable Systems-on-Chip (DRSoC). This endeavor is part of a larger framework in which Model-Driven Engineering (MDE) techniques are extensively used for modeling and via model transformations, generating executable models, which are exploited by implementation tools to create reconfigurable systems. More specifically, the methodological aspects presented in this article are concerned with expediting the conception and implementation of the hardware platform and the integration of correct by construction reconfiguration controller. This article builds upon previous research by integrating previously separated endeavors to obtain a complete PR system generation chain, which aims at shielding the designer of many of the burdensome technological and tool-specific requirements. The methodology permits for the verification of the platform description at different stages in the development process (i.e., HDL for simulation, static FPGA implementation, controller simulation and verification). Furthermore, automation capabilities embedded in the flow enable the generation of the platform description and the integration of the reconfiguration controller executive seamlessly. In order to demonstrate the benefits of the proposed approach, we present a case study in which we target the creation of an image-processing application to be deployed onto an FPGA board. We present the required modeling strategies and we discuss how the generation chains are integrated with the back-end Xilinx tools (the most mature version of PR technology) to produce the necessary executable artifacts: VHDL for the platform description and a C description of the reconfiguration controller to be executed by an embedded processor.

Published
2015

8. Electronic cigarette: use and perceptions among French military nurses in 2013

Author

Sébastien Sicard, A. Mayet, Jean-Baptiste Meynard, Sébastien Guillet, Ecole Du Personnel Paramédical Des Armées [Toulon] (EPPA), Centre d'épidémiologie et de santé publique des armées [Marseille] (CESPA), Service de Santé des Armées, Sciences Economiques et Sociales de la Santé & Traitement de l'Information Médicale (SESSTIM - U912 INSERM - Aix Marseille Univ - IRD), Institut de Recherche pour le Développement (IRD)-Aix Marseille Université (AMU)-Institut National de la Santé et de la Recherche Médicale (INSERM), Institut de Recherche pour le Développement (IRD)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Aix Marseille Université (AMU), and Malbec, Odile

Subjects
Adult, Male, Tobacco use, Adolescent, [SDV]Life Sciences [q-bio], Population, Nurses, 030209 endocrinology & metabolism, Electronic Nicotine Delivery Systems, Logistic regression, tobacco, law.invention, 03 medical and health sciences, Young Adult, 0302 clinical medicine, healthcare worker, law, Environmental health, Health care, Prevalence, Medicine, Humans, 030212 general & internal medicine, harm reduction, education, education.field_of_study, Harm reduction, Motivation, business.industry, Smoking, Tobacco Smokers, General Medicine, Electronic Cigarette Use, armed forces, 3. Good health, [SDV] Life Sciences [q-bio], electronic cigarette, Cross-Sectional Studies, Military Personnel, Socioeconomic Factors, Female, Perception, Smoking Cessation, France, business, Electronic cigarette
Abstract

International audience; AIMS: Paramedical personnel are exposed to tobacco smoking. Electronic cigarettes (e-cigarettes) may be considered as a lower-risk substitute for cigarettes. The aim of the study was to estimate the prevalence of e-cigarette use, the motives for use and the perceptions among French military nurses. METHODS: A cross-sectional survey, using self-administered questionnaires, was conducted in 2013 among 300 students and instructors of the French school of military paramedical personnel. Prevalences of e-cigarette use among smokers and nonsmokers were compared using logistic regressions adjusted on age and gender. RESULTS: The prevalence of smoking was 40% among the 200 responders. E-cigarette current use prevalence was 25% (6% daily users), without significant difference according to gender and age. Tobacco smokers reported significantly more e-cigarette current use (51% vs7%). Motives for e-cigarette use reported by smokers were curiosity (48%), intention to reduce tobacco consumption (43%) or to quit smoking (8%). Among users of both tobacco and e-cigarettes, 48% reported a significant decrease in tobacco consumption following e-cigarette initiation (average decrease of 5-10 cigarettes smoked per day; p

Published
2015
Full Text
View/download PDF

9. Reports on the 2015 AAAI Workshop Program

Author

Yu Zheng, Matteo Leonetti, Thorsten Koch, Marlos C. Machado, J. Christopher Beck, Yuri Malitsky, Eric Eaton, Manuela Veloso, C. Lee Giles, Jie Zhang, Francesca Rossi, Can Wang, Sébastien Guillet, Marius Lindauer, Sebastiaan Meijer, Adi Botea, Frank Hutter, David L. Buckeridge, Cornelia Caragea, Sam Ganzfried, Stefano V. Albrecht, Theodoros Damoulas, Bistra Dilkina, Chi Hung Chi, Pooyan Fazli, Arash Shaban-Nejad, Robert C. Holte, Toby Walsh, Sylvie Thiébaux, and Gary Marcus

Subjects
Engineering, business.industry, Big data, Perfect information, Computational sustainability, Actor modeling, GeneralLiterature_MISCELLANEOUS, World Wide Web, symbols.namesake, Artificial Intelligence, Analytics, Turing test, symbols, Robot, Smart environment, business
Abstract

AAAI's 2015 Workshop Program was held Sunday and Monday, January 25-26, 2015, at the Hyatt Regency Austin Hotel in Austin, Texas, USA. The AAAI-15 workshop program included 16 workshops covering a wide range of topics in artificial intelligence. Most workshops were held on a single day. The titles of the workshops included Algorithm Configuration; Artificial Intelligence and Ethics; Artificial Intelligence Applied to Assistive Technologies and Smart Environments; Artificial Intelligence for Cities; Artificial Intelligence for Transportation: Advice, Inter-activity, and Actor Modeling; Beyond the Turing Test; Computational Sustainability; Computer Poker and Imperfect Information; Incentive and Trust in E-Communities; Knowledge, Skill, and Behavior Transfer in Autonomous Robots; Learning for General Competency in Video Games; Multiagent Interaction without Prior Coordination; Planning, Search, and Optimization; Scholarly Big Data: AI Perspectives, Challenges, and Ideas; Trajectory-Based Behaviour Analytics; and World Wide Web and Public Health Intelligence.

Published
2015

10. Ensuring safe prevention and reaction in smart home systems dedicated to people becoming disabled

Author

Bruno Bouchard, Abdenour Bouzouane, and Sébastien Guillet

Subjects
Engineering, Home automation, business.industry, Control theory, Embedded system, Control (management), Verification problem, business
Abstract

Smart homes dedicated to people with disabilities, specially those with dementia, are critical systems which need to remain safe and adapted to the user. However the control part of such systems — ensuring their safety — is both difficult to design and verify without appropriate tools. Formal techniques have been used to cope with the verification problem, but this paper proposes a new way to specify smart home safety which also eases the design aspect. It enables the use of a correct by construction technique — Discrete Controller Synthesis — to automatically build from constraints a maximally permissive safety controller that can also reconfigure itself as the disabilities of the associated user evolve.

Published
2014
Full Text
View/download PDF

11. Designing formal reconfiguration control using UML/MARTE

Author

Nicolas Le Griguer, Sébastien Guillet, Eric Rutten, Guy Gogniat, Jean-Philippe Diguet, and Florent de Lamotte

Subjects
MicroBlaze, business.industry, Computer science, Control reconfiguration, Applications of UML, Set (abstract data type), Unified Modeling Language, Control theory, Embedded system, System on a chip, Model-driven architecture, business, computer, computer.programming_language
Abstract

This paper presents the first framework to design and synthesize a formal controller managing dynamic reconfiguration, using a Model Driven Engineering methodology base on an extension of UML/MARTE. The implementation technique highlights the combination of hard configuration constraints using weights (control part) — ensured statically and fulfilled by the managed system at runtime — and soft constraints (decision part) which, given a set of correct and accessible configurations, choose one of them. An application model of an image processing application is presented, then transformed and synthesized to be executed on a Xilinx platform to show how the controller, executed on a Microblaze, manages the hardware reconfigurations.1

Published
2012
Full Text
View/download PDF

12. Dynamic applications on reconfigurable systems: From UML model design to FPGAs implementation

Author

Jorgiano Vidal, Guy Gogniat, Sébastien Guillet, Jean-Philippe Diguet, Florent de Lamotte, Lab-STICC_UBS_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), and ANR-06-TLOG-0022,MOPCOM SOC/SOPC,Modélisation et spécialisatiOn de Plates-formes et COmposants Model driven architecture pour les SOC/SOPC(2006)

Subjects
Flexibility (engineering), [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], business.industry, Modeling language, Computer science, 0211 other engineering and technologies, Control reconfiguration, Multiprocessing, 02 engineering and technology, Integrated circuit design, 020202 computer hardware & architecture, Computer architecture, Unified Modeling Language, Embedded system, Software design pattern, 0202 electrical engineering, electronic engineering, information engineering, business, Field-programmable gate array, computer, ComputingMilieux_MISCELLANEOUS, 021106 design practice & management, computer.programming_language
Abstract

In this paper we propose a design methodology to explore dynamic and partial reconfiguration (DPR) of modern FPGAs. We define a set of rules in order to model DPR by means of UML and design patterns. Our approach targets MPSoPC (Multiprocessor System on Programmable Chip) which allows: a) area optimization through partial reconfiguration without performance penalty and b) increased system flexibility through dynamic behavior modeling and implementation. In our case, area reduction is achieved by reconfiguring co-processors connected to embedded processors, and flexibility is achieved by permitting new behavior to be easily added to the system. Most of the system is automatically generated by means of MDE techniques. Our modeling approach allows designers to target dynamic reconfiguration without being experts of modern FPGAs. Such a methodology allows design time speed-up and a significant reduction of the gap between hardware and software modeling.

Published
2011
Full Text
View/download PDF

13. Modeling and formal control of partial dynamic reconfiguration

Author

Jean-Philippe Diguet, Sébastien Guillet, Guy Gogniat, Florent de Lamotte, Eric Rutten, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192) (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Lab-STICC_UBS_CACS_MOCS, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), System architecture for reflective distributed computing environments (SARDES), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), Lab-STICC_UBS_CACS_CS, Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université européenne de Bretagne - European University of Brittany (UEB)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Télécom Bretagne-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), and Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)

Subjects
Formal control, business.industry, Computer science, Control reconfiguration, 02 engineering and technology, 020202 computer hardware & architecture, Automaton, [SPI.TRON]Engineering Sciences [physics]/Electronics, Logic synthesis, Unified Modeling Language, Control theory, Embedded system, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, System on a chip, Field-programmable gate array, business, computer, ComputingMilieux_MISCELLANEOUS, computer.programming_language
Abstract

This paper introduces an approach for the safe design and modeling of dynamically reconfigurable FPGA based Systems-on-Chip. This approach is carried out in a design framework, Gaspard2, dedicated to high-performance embedded systems modeling using the OMG standard profile UML/MARTE. Information employed by the reconfiguration mechanism is identified to be extracted from MARTE models in order to synthesize a controller using a formal technique which significantly simplifies the correct design of reconfiguration control. This methodology is then demonstrated in a case study.

Published
2010

14. Using a Virtual Plant to Support the Development of Intelligent Gateway for Sensors/Actuators Security

Author

Sébastien Guillet, Thomas Toublanc, Pascal Berruet, Florent de Lamotte, Vianney Lapotre, Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), Institut Mines-Télécom [Paris] (IMT)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192) (Lab-STICC), Université européenne de Bretagne - European University of Brittany (UEB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Institut Brestois du Numérique et des Mathématiques (IBNM), Université de Brest (UBO)-Télécom Bretagne-Institut Mines-Télécom [Paris] (IMT)-Centre National de la Recherche Scientifique (CNRS), Lab-STICC_UBS_CACS_MOCS, and Institut Mines-Télécom [Paris] (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-Institut Mines-Télécom [Paris] (IMT)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique)

Subjects
0209 industrial biotechnology, Engineering, business.industry, Reliability (computer networking), 020208 electrical & electronic engineering, Cyber-physical system, 02 engineering and technology, Automation, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, 020901 industrial engineering & automation, Control and Systems Engineering, Filter (video), Embedded system, Default gateway, [INFO.INFO-AU]Computer Science [cs]/Automatic Control Engineering, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, business, Resilience (network), Cyberspace, Protocol (object-oriented programming), ComputingMilieux_MISCELLANEOUS
Abstract

Our industries are facing a new revolution, about Connectivity, Information and Network. Nowadays, the threats on industrial cyber physical systems are not just theoretical. They can do major damage to our real world through cyberspace. In this paper, a demonstrator for security on Sensor/Actuator network in industrial applications is proposed. It consists of an operational part simulator SimSED and automation emulator Straton Runtime, linked together by TCP/IP. This demonstrator is dedicated to evaluate a secure gateway for security in Network Control System (NCS). Two support bricks of the gateway are introduced. The first one is a filter for demonstrator protocol. The second one an auto-generated input/output model which represents the protected system. The intelligent gateway will support safety, reliability and resilience objectives for security of NCS.

Catalog

Books, media, physical & digital resources
See catalog results