Return to labex

Ctrl-A seminars

Ctrl-A team on Supervisory control Techniques for Autonomic, Adaptive and Reconfigurable computing Systems

since June 2012

to be informed by the mailing list, just ask

formerly supported, in its beginnings, by STAARS projet exploratoire (march 2013 – dec. 2014) of the LabEx Persyval-lab


  • 23 october 2017, 10h,

    Imag, salle de séminaires 2

    second day of the

    4th Grenoble Workshop on Autonomic Computing and Control

    https://team.inria.fr/ctrl-a/members/eric-rutten/autoctrl/

  • 17 october 2017, 11h,

    Gipsa-lab, salle Mont-Blanc

    first day of the

    4th Grenoble Workshop on Autonomic Computing and Control

    https://team.inria.fr/ctrl-a/members/eric-rutten/autoctrl/

  • 26 septembre 2017, 10h,

    salle de séminaire (en face de l’amphi), batiment Imag

    Oualid Koucham
    (doctorant Gipsa-lab, co-encadré par Jean-Marc Thiriet et Stéphane Mocanu)

    « Détection d’intrusions et corrélation d’alertes dans les systèmes de contrôle séquentiels »

    Abstract:
    Du fait des menaces de cybersécurité auxquelles font face les systèmes de contrôle industriels (ICS), ainsi que de l’insuffisance des mécanismes de protection, le développement d’approches de détection d’intrusions adaptées devient crucial. En particulier, le processus physique constitue une cible privilégiée pour les attaquants. Cependant, les approches actuelles de détection d’intrusions ne permettent pas une contextualisation des alertes par rapport à l’état du processus physique. Par conséquent, les opérateurs de sécurité peinent à distinguer entre attaques et faux positifs dus à des interventions manuelles légitimes. Nos travaux cherchent à répondre à ce besoin en développant des approches de détection d’intrusions et de corrélation d’alertes tenant compte des aspects cyber et physique des ICS, notamment dans le cadre peu exploré des attaques visant les systèmes de contrôle séquentiels.

  • 4 july 2017, 10h,

    salle 203, Inria Minatec (50C 1er étage)

    Emmanuel Stahl
    (stagiaire ENSE3 co-encadré entre Gipsa-lab, Datamove et Ctrl-A)

    « Techniques de contrôle pour la gestion autonomique des plateformes de calcul »

    Abstract:
    Cet exposé présente un travail sur les techniques de contrôle pour la gestion autonomique des plateformes de calculs. On considère en particulier le mésocentre de calcul intensif de l’Université Grenoble-Alpes : le mésocentre “Ciment”. L’objectif consiste à mettre en œuvre une régulation afin de maximiser l’utilisation des ressources sans entraîner de surcharge. Après analyse du fonctionnement du système, différents tests en boucle ouverte afin d’observer son comportement. Ceci permet d’identifier un modèle, qui est utilisé dans la mise en place d’une correction Proportionnelle – Intégrale. Des tests expérimentaux sont effectués pour valider cette régulation.

  • 19 june 2017, 14h,

    salle de séminaire (en face de l’amphi), batiment Imag

    Lénaïc Terrier
    (stagiaire M2R co-encadré entre Ctrl-A et IIHM au LIG)

    « A Language for the Smart Home »

    Abstract:
    This work aims to propose a end user development language which allows inhabitants of a smart home to express the behaviours they want to their home automation system. This language should bring together the best features of existing ECA-based solutions and missing properties that are asked by current users or highlighted by research works.

  • mardi 15 nov 2016, 14h,

    room 206, Minatec Batiment50C, first floor (INRIA / CEA building)

    Soguy Gueye
    (Inria Ctrl-A)

    « Application-aware control for dynamically reconfigurable architectures »

    Abstract:
    Dynamic Partial Reconfiguration (DPR) available in modern FPGA allows an FPGA device to support more hardware available than physically possible. It enables dynamic reconfiguration of part of an FPGA at run-time without having to reconfigure the entire device. The unmodified regions can continue executing their computation tasks without any interruption during partial reconfiguration.

    DPR is a promising solution for embedded systems that require high performance and high flexibility while achieving energy efficiency and minimal footprints. This is typically the case of small autonomous UAVs. These systems mostly require to be self-adaptive to address uncertainties related to the environment. Self-adaptation can require to replace the computation tasks at runtime according to observations. Hence, there is need for a decision making component that manages at runtime the tasks to execute and the hardware reconfiguration.

    In this presentation we will describe ongoing work on our approach for designing a control architecture for the management of the reconfiguration of the hardware architecture at run-time.

  • mercredi 19 Octobre 2016, 10h00

    campus : amphi F018, UFR IM²AG)

    Naweiluo ZHOU
    (Ctrl-A & Corse)

    « Autonomic Thread Parallelism and Mapping Control for Software Transactional Memory »

    Abstract:
    Parallel programs need to manage the trade-off between the time spent in synchronisation and computation. The trade-off is significantly affected by the number of active threads. High parallelism may decrease computing time while increase synchronisation cost. Furthermore, thread placement on different cores may impact on program performance, as the data access time can vary from one core to another due to intricacies of its underlying memory architecture. Therefore, the performance of a program can be improved by adjusting its parallelism degree and the mapping of its threads to physical cores. Alas, there is no universal rule to decide them for a program from an offline view, especially for a program with online behaviour variation. Moreover, offline tuning is less precise. This thesis presents work on dynamical management of parallelism and thread placement. It addresses multithread issues via Software Transactional Memory (STM). STM has emerged as a promising technique, which bypasses locks, to tackle synchronisation through transactions. Autonomic computing offers designers a framework of methods and techniques to build autonomic systems with well-mastered behaviours. Its key idea is to implement feedback control loops to design safe, efficient and predictable controllers, which enable monitoring and adjusting controlled systems dynamically while keeping overhead low. This dissertation proposes feedback control loops to automate management of threads at runtime and diminish program execution time.

    Jury :

    M.Raymond Namyst: Professeur, Université de Bordeaux, Rapporteur
    M.Lionel Seinturier: Professeur, Université Lille 1, Rapporteur
    M.Christian Perez: Directeur de recherche, INRIA Lyon , Examinateur
    M.Jean-François Méhaut: Professeur, Université de Grenoble Alpes, Directeur de thèse
    M.Éric Rutten: Chargé de recherche, INRIA Grenoble , Directeur de thèse
    M.Gwenaël Delaval: Associate professeur, Université de Grenoble Alpes, Directeur de thèse

  • jeudi 1 septembre 2016, 14h,

    LIG, bâtiment Imag, Campus, room 248

    Armando Ochoa
    (M2R, Ctrl-A & Adele)

    « Smart home applications control and reactive programming
    A service-oriented approach »

    Abstract :

    Avec un nombre sans cesse croissant de moyens de communications divers, le besoin d’adaptabilité en informatique ubiquitaire se fait d’autant plus sentir. Pour des applications autonomes, les architectures de contrôle deviennent alors elle-même très complexes, requérant également des adaptations

    Les applications autonomes sont souvent composées de plusieurs boucles de contrôle – chacune adressant un besoin spécifique – dont l’exécution nécessite d’être coordonnée pour une administration efficace et correcte. Nous proposons donc d’étudier l’usage de modèles de contrôle réactifs avec des événements et états pour coordonner des boucles autonomiques dans des architectures orientées services.

    Dans cet ouvrage, nous illustrons notre approche en intégrant un contrôleur basé sur la synthèse de contrôleurs discrets dans un environnement ubiquitaire autonome. Le rôle du contrôleur est d’influencer les critères de liaison des services de multiples boucles de contrôle, tout en respectant des contraintes logiques. Nous considérons particulièrement les opérations de reconfiguration d’ensembles des services connus et dynamiques.

    Nos résultats suggèrent que, même si le temps de synthèse et la taille finale du contrôleur augmentent rapidement avec le nombre des états et entrées, les systèmes réactifs sont une approche appropriée de coordination pour les applications orientées services.

  • jeudi 12 mai 2016, 14h,

    Inria, Montbonnot, G108

    Stéphane Mocanu
    (Gipsa-lab)

    « Cybersecurity of Industrial Control Systems »

    Abstract :

    We present some ongoing research on the cybersecurity of SCADA systems. We present the specificity and challenges of the Industrial Systems cybersecurity then we focus on Intrusion Detection Systems problem and present our approach. In the last part we’ll try to point out the links between detection and reaction in SCADA systems and autonomic systems and supervisory control.

  • jeudi 7 avril 2016, 14h,

    Inria, Montbonnot, G108

    Adja Ndeye SYLLA
    (CEA)

    « Combining Reactive Coordination Rules and Automata Languages for Safe Smart Environments »

    Abstract :

    This work combines two reactive programming approaches
    in order to support the safe design and execution of control systems,
    in the application domain of smart environments. Rule-based languages,
    like the one in the coordination environment LINC, provide for high-level
    programming of smart environments behaviours. LINC also ensures safe
    execution supported by transactional management of rules. However,
    when the rules are numerous, they can be inconsistent or bring the system
    into unsafe states. On the other hand, reactive languages based on
    automata, enable verification, and even synthesis of controllers in the case
    of Heptagon/BZR. This paper studies these two languages and combines
    their reactive execution mechanisms. A case study taken in the field of
    building automation is presented to illustrate the proposed approach.

  • friday 11 march 2016

    Naweiluo Zhou
    UGA / Inria

    « Autonomic Parallelism and Thread Mapping Control on Software Transactional Memory »

    Inria Montbonnot, C208

    Abstract :

    Parallel programs need to manage the time trade-off between synchronization and computation. The time trade-off is hugely affected by the number of active threads. A high parallelism may decrease computing time meanwhile increase synchronization cost. Additionally threads locality on different cores may impact on program performance too, as the memory access time can vary from one core to another due to the complexity of the underlying memory architecture. Therefore a program performance can be improved by adjusting the number of active threads as well as their localities. However, there is no universal rule to decide the parallelism and the thread locality for a program from an offline view. Furthermore, an offline tuning is costly and error-prone. In this paper, we dynamically adjust parallelism and thread localities. We address multiple threads issues via Software Transactional Memory (STM). STM has emerged as a promising technique, which bypasses locks, to address synchronization issues through transactions. Autonomic computing offers designers a framework of methods and techniques to build autonomic systems with well-mastered behaviours. Its key idea is to implement feedback control loops to design safe, efficient and predictable controllers, which enable monitoring and adjusting controlled systems dynamically while keeping overhead low. We propose to design a feedback control loop to automate thread management at runtime and diminish program execution time.

  • thursday 14 january 2016

    Alessandro Papadopoulos
    Lund University, Sweden

    « Control and Performance Evaluation of Computing Systems in Presence of Uncertainty »

    DAUTO – salle des Séminaires B208, Gipsa-lab, Campus
    http://www.gipsa-lab.grenoble-inp.fr/plan-d-acces.php

    Abstract :

    The increasing complexity in different areas of computing systems calls for novel inter-disciplinary approaches, able to cope with dynamic and uncertain environments. Different decision-making mechanisms are considered in the literature, but the robustness of the proposed techniques is proven only on a limited number of cases, without providing general guarantees. The aim of this talk is to present: 1) an overview of simple control techniques that can be applied to relevant problems in computing systems, 2) a performance assessment methodology that gives probabilistic guarantees of the propose techniques in presence of uncertainty. These concepts will be explained via a running example on load-balancing techniques for cloud computing.

  • wednesday 7 october 2015

    3rd Grenoble Workshop on Autonomic Computing and Control

    place : in Grenoble, on the campus, GIPSA-lab, Seminary room

    DAUTO – salle des Séminaires B208, Gipsa-lab, Campus
    http://www.gipsa-lab.grenoble-inp.fr/plan-d-acces.php

  • jeudi 17 septembre, 9h30

    Naweiluo Zhou,
    Grenoble University/ INRIA Corse & Ctrl-A

    « Autonomic Parallelism Adaptation on Software Transactional Memory »

    DAUTO – salle des Séminaires B208, Gipsa-lab, Campus
    http://www.gipsa-lab.grenoble-inp.fr/plan-d-acces.php

  • jeudi 18 juin 2015 à 14h

    Vincent Lanore,
    Inria Avalon / LIP, Lyon

    « A Reconfigurable Component Model for HPC »

    DAUTO – salle des Séminaires B208, Gipsa-lab, Campus
    http://www.gipsa-lab.grenoble-inp.fr/plan-d-acces.php

  • jeudi 7 mai 2015 à 10h

    Mengxuan Zhao
    Orange labs

    « Contrôle Discret pour l’Internet des Objets et les Environnements Intelligents au travers d’une infrastructure partagée »

    Orange Labs, 28 chemin du vieux chêne, 38240 Meylan

    PhD defense (in french)

  • jeudi 9 avril, 14h

    Adja Sylla
    CEA LETI

    « Coordination Rules Generation from Coloured Petri Net Models »

    DAUTO – salle des Séminaires B208, Gipsa-lab, Campus
    http://www.gipsa-lab.grenoble-inp.fr/plan-d-acces.php

  • 9 mars 2015, 9h30

    Luigi Carro
    Universidade Federal do Rio Grande do Sul (UFRGS), Brazil

    « Future technologies and the challenge of high speed, low energy, high reliability computing: what are the challenges? »

    DAUTO – salle des Séminaires B208, Gipsa-lab, Campus
    http://www.gipsa-lab.grenoble-inp.fr/plan-d-acces.php

  • 3 december 2014

    at 14h
    on the campus at UFRIMA,
    60 Rue de la Chimie, 38400 Saint-Martin-d’Hères,
    room F316

    Soguy Mak-Karé Gueye

    « Coordination Modulaire de Gestionnaires Autonomes par Contrôle Discret »

    PhD defense (in french)

  • 4 november 2014

    the whole day

    2nd Grenoble Workshop on Autonomic Computing and Control

    7 talks

  • 22 septembre 2014

    Frederico Alvares

    « High-level language support for the control of reconfigurations in component-based architectures »

  • 30 june 2014

    Emil Dumitrescu e.a. (INSA Lyon)

    « Synthesizing control-command systems out of reusable COTS (Commercial
    off the shelf) »

  • 27 may 2014

    the whole day

    Grenoble Workshop on Autonomic Computing and Control

  • 27 march 2014

    Julio Cano

    « Correct coordination of ECA rules by verification and control »
    work with : Gwenaël Delaval, Eric Rutten

  • 14 march 2014

    Frederico Alvares

    « A Language Support for Cloud Elasticity Management »
    work with : Thomas Ledoux (Inria/EMNantes)

  • 4 fév. 2014

    Nicolas Berthier

    « Discrete Controller Synthesis for Logico-numerical Programs with ReaX »
    work with : H. Marchand (INRIA Rennes)
    reax

    « Designing Autonomic Management Systems by using Reactive Control Techniques »
    work with : Soguy Mak-Karé Gueye, Noël de Palma, Eric Rutten

    sams

  • 14 jan. 2014

    Soguy Mak-Karé Gueye

    « Modular coordination of multiple autonomic managers »
    work with : Gwenaël Delaval, Noël de Palma, Eric Rutten

    modular-coordination

  • 25 nov. 2013

    Mihaly Berekmeri (Gipsa-lab)

    « A control approach for performance in Big Data systems »

    work with : Bogdan Robu (Gipsa-lab), Sara Bouchenak (LIG), Damian Serano (LIG INRIA) et Nicolas Marchand (Gipsa-lab)

  • 11 oct. 2013

    Eric Rutten (INRIA, Grenoble)

    « Introduction générale au “Feedback Computing”, et aspects Contrôle discret »

    Mengxuan Zhao (Orange labs)

    « Modèles génériques applicables à la synthèse de contrôleurs discrets pour l’internet des objets »

  • 24 sept. 2013

    (réunion sans présentation)

  • 18 juin 2013

    Patrice Moreaux, LISTIC, Université de Savoie (Projet OpenCloudware)

    « Analyse et décision pour la gestion prédictive des applications déployées dans le Cloud – quelles solutions envisager? »

  • 27 mai 2013

    Julio Cano

    “Run-time Adaptation in Dynamic Component-based Real-time Systems”

  • 18 avril 2013

    (réunion sans présentation)

  • 9 april 2013

    kick-off meeting
    of STAARS,
    projet exploratoire (march 2013 – sept. 2014) of the LabEx Persyval-lab

  • 27 mars 2013

    Rafael Ferreira da Silva

    (avec Tristan Glatard –
    CNRS, U. Lyon, CREATIS,
    &
    Frédéric Desprez –
    INRIA, LIP)

    « Self-healing of workflow executions: application to late task
    execution, task granularity, and fairness among workflows »

  • 26 février 2013

    Nicolas Berthier

    « (Towards a) Reactive Design of Autonomic Management Systems »

  • 31 janvier 2013

    Yliès Falcone (LIG, Vasco)

    Towards distributed monitoring (of Android applications)

  • 18 décembre 2012

    Nicolas Marchand

    introduction au contrôle – commande “continu” de systèmes informatiques

  • 27 novembre 2012

    Gwenaël Delaval

    modularité en Synthèse de Contrôleurs Discrets, et dans la compilation de BZR

  • 17 oct. 2012

    Mengxuan Zao

    premières approches en contrôle supervisé dans le “smart home”

  • 12 juin 2012

    • Soguy Gueye

      Coordinating energy-aware administration loops
      using discrete control

    • Xin An

      Discrete Controller Synthesis for Runtime
      Management of Dynamically Reconfigurable
      Embedded Systems

Leave a Reply

Your email address will not be published.

Time limit is exhausted. Please reload CAPTCHA.