English | Language | Course Jukebox

Inverse problem and optimisation

This course focuses on formulating signal and image processing problems as convex optimization problems, analyzing their properties (e.g. existence and uniqueness of solutions) and designing efficient algorithms to solve them numerically. We aim at giving students the background and skills to formulate problems and use appropriate algorithms on their own applications.
Syllabus: * Convex optimization: existence and uniqueness of solutions, subdifferential and gradient, constraints and indicator functions, monotone inclusions, nonexpansive operators and fixed point algorithms, duality, proximal operator, splitting algorithms. * From estimation to optimization: formulating priors and constraints, regularity and parsimony, Bayesian interpretation.
* Inverse problems: well- and ill-posed problems, data fidelity and regularization, study of signal and image recovery problems.

The objective is to introduce the concepts of convex optimization and applications to inverse problems. Grenoble INP Institute of Engineering Univ. Grenoble Alpes Grenoble – Polygone scientifique This course focuses on formulating signal and image processing problems as convex optimization problems, analyzing their properties (e.g. existence and uniqueness of solutions) and designing efficient algorithms to solve them numerically. We aim at giving students the background and skills to formulate problems and use appropriate algorithms on their own applications.
Syllabus:
* Convex optimization: existence and uniqueness of solutions, subdifferential and gradient, constraints and indicator functions, monotone inclusions, nonexpansive operators and fixed point algorithms, duality, proximal operator, splitting algorithms.
* From estimation to optimization: formulating priors and constraints, regularity and parsimony, Bayesian interpretation.
* Inverse problems: well- and ill-posed problems, data fidelity and regularization, study of signal and image recovery problems. basic analysis and linear algebra Laurent Condat 2 2nd year of master Lecture Course content can evolve at any time before the start of the course. It is strongly recommended to discuss with the course contact about the detailed program.

Please consider the following deadlines for inbound mobility to Grenoble:
– April 1st, 2020 for Full Year (September to June) and Fall Semester (September to January) intake ;
– September 1st, 2020 for Spring Semester intake (February – June). Lab work report and written exam international.cic_tsukuba@grenoble-inp.fr

Image and signal processing apllications and processing (astrophysical and geophysical sciences

Part I : in-orbit remote sensing of planets
Introduction : optical sensors for planetary exploration,
correcting artifacts on images and spectra using linear transforms : quality improvement,
statistical inference (SIR) and bayesian methods for inverting physical models applied to analysing images,
optimisation problems for generating digital elevation models.

Part II : telescopic imagery of the Universe
Image formation in astronomy,
High contrast imaging,
Aperture synthesis imaging,
image reconstruction.

http://phelma.grenoble-inp.fr/en/studies/image-and-signal-processing-apllications-and-processing-astrophysical-and-geophysical-sciences-wpmtisp7 This course presents advanced numerical methods and algorithms for the restoration/analysis of planetary and astrophysical data. It is not intended as a comprehensive courses on the discipline but as the presentation of some key techniques. It is intended to convey a multi-disciplinary view of the image exploitation problem in astrophysics. Grenoble INP Institute of Engineering Univ. Grenoble Alpes Grenoble – Polygone scientifique Part I : in-orbit remote sensing of planets
Introduction : optical sensors for planetary exploration,
correcting artifacts on images and spectra using linear transforms : quality improvement,
statistical inference (SIR) and bayesian methods for inverting physical models applied to analysing images,
optimisation problems for generating digital elevation models.

Part II : telescopic imagery of the Universe
Image formation in astronomy,
High contrast imaging,
Aperture synthesis imaging,
image reconstruction. Basics of linear transforms (PCA), optimization/estimation methods, and Bayesian inference. Sylvain DOUTE 2 2nd year of master Lecture Course content can evolve at any time before the start of the course. It is strongly recommended to discuss with the course contact about the detailed program.

Please consider the following deadlines for inbound mobility to Grenoble:
– April 1st, 2020 for Full Year (September to June) and Fall Semester (September to January) intake ;
– September 1st, 2020 for Spring Semester intake (February – June). Final exam international.cic_tsukuba@grenoble-inp.fr

Multi and hyperspectral methods in image processing

The core of the course will focus on the following aspects:
– color theory, interaction between light an matter
– spectral unmixing with linear and non linear mixing models
– dimension reduction and sparse representations
– classification of hyperspectral data
– anomaly detection
– high performance computing
The course will also include basic notions of physics and vision, which are important to understand and take into account when designing an algorithm (for instance, spectral unmixing is a source separation problem, but not all source separation techniques are suited to this problem).

http://phelma.grenoble-inp.fr/en/studies/multi-and-hyperspectral-methods-in-image-processing-wpmtmhm7 Multispectral imaging consists in acquiring several images of the same scene using tens of narrow (e.g. 10 nm) and contiguous spectral bands (e.g. higher than 100 nm) in the visible range (380-780 nm). This enables to characterize objects by their color appearance or by their spectral reflectance function and to study the influence of lighting conditions, viewing geometry, sensor sensibility and material properties on color appearance. This course will cover the main issues related to the acquisition, the processing and the visualization of multispectral images. A variety of study cases (e.g. food industry, medical imaging, automotive industry, cultural heritage) will illustrate this course.
Refining the concept, hyperspectral imaging, also called imaging spectroscopy, consists in acquiring simultaneously hundreds of images of the same scene using hundreds of narrow and contiguous spectral bands. This enables a fine description of the materials that are observed. This field is blooming in a number of applications, from planetary exploration to material sciences in industry, from quality control to astrophysics, from biomedical imaging to airborne and satellite remote sensing. This course will cover the main issues related to the signal and image processing challenges raised by these data and cover the whole chain, from basic notions in instrumentations to a variety of applications (the applications being addressed during the lab sessions). Grenoble INP Institute of Engineering Univ. Grenoble Alpes Grenoble – Polygone scientifique The core of the course will focus on the following aspects:

color theory, interaction between light an matter
spectral unmixing with linear and non linear mixing models
dimension reduction and sparse representations
classification of hyperspectral data
anomaly detection
high performance computing
The course will also include basic notions of physics and vision, which are important to understand and take into account when designing an algorithm (for instance, spectral unmixing is a source separation problem, but not all source separation techniques are suited to this problem). Basics in digital signal and image processing. Jocelyn Chanussot 2 2nd year of master Lecture Course content can evolve at any time before the start of the course. It is strongly recommended to discuss with the course contact about the detailed program.

Please consider the following deadlines for inbound mobility to Grenoble:
– April 1st, 2020 for Full Year (September to June) and Fall Semester (September to January) intake ;
– September 1st, 2020 for Spring Semester intake (February – June). Final exam international.cic_tsukuba@grenoble-inp.fr

5PMSAST6 : Machine statistical Learning

Introduction to the statistical learning theory and prediction (regression/classification)
* Review of Models/Algorithms for supervised/unsupervised learning
* Illustration de ces algorithmes sur différents jeux de données on different dataset
(intelligence artificielle, Bioinformatics, vision, etc …)

http://phelma.grenoble-inp.fr/en/studies/5pmsast6-machine-statistical-learning-wpmbdas9 Introduction to the statistical learning theory and prediction (regression/classification)

Review of Models/Algorithms for supervised/unsupervised learning
Illustration of these algorithms on different dataset
(Artificial Intelligence, Bioinformatics, vision, etc …) Grenoble INP Institute of Engineering Univ. Grenoble Alpes Grenoble – Polygone scientifique * General introduction to the statistical learning theory and prediction (regression/classification)
* Generative approaches: Gaussian discriminant analysis, naïve Bayes hypothesis
* Discriminative approaches: logistic regression
* Prototype approaches: support vector machines (SVM)
* Unsupervised classification (kmeans and mixture model)
* Dictionnary learning / Sparse reconstruction
* Source separation Basic elements of probability/statistics, filtering Florent Chatelain 3 2nd year of master Lecture Course content can evolve at any time before the start of the course. It is strongly recommended to discuss with the course contact about the detailed program.

Please consider the following deadlines for inbound mobility to Grenoble:
– April 1st, 2020 for Full Year (September to June) and Fall Semester (September to January) intake ;
– September 1st, 2020 for Spring Semester intake (February – June). Written exam international.cic_tsukuba@grenoble-inp.fr

Cryptography for embedded systems

Models for security analysis;
The need for cryptographic primitives and protocols;
Symmetric cryptosystems: design, make-up, analysis;
Other symmetric protocols and algorithms;
Arithmetic for asymmetric cryptography;
Examples of asymmetric cryptosystems;
Implementation of cryptographic primitives

Grenoble INP Institute of Engineering Univ. Grenoble Alpes Valence – Autres After the course, the student should be able to:
analyze the security needs of a communication and/or computation system at an algorithmic/informational level;
grasp the design principles of cryptographic primitives;
implement a cryptographic primitive in hardware knowing its specification. Hardware design courses: digital design, FPGA, VHDL or Verilog Yann KIEFFER 3 2nd year of master Lecture Course content can evolve at any time before the start of the course. It is strongly recommended to discuss with the course contact about the detailed program.

Please consider the following deadlines for inbound mobility to Grenoble:
– April 1st, 2020 for Full Year (September to June) and Fall Semester (September to January) intake ;
– September 1st, 2020 for Spring Semester intake (February – June). E1: result of end-term written exam (90 min);
E2: individual oral examination (30 min);
CC: semester-long assessment international.cic_tsukuba@grenoble-inp.fr

Decentralized Control of Complex Systems

1. An optimization-based approach for control of complex systems (Optimization-based control; Generic prediction models; Generation of a reference trajectory/profile; Set-theoretic elements; Mixed-integer representations in control design)
2. Cooperative control of multi-agent dynamical systems (System description; collision avoidance formulation; Area coverage for multi-agent systems in multi-obstacle environment; A tight configuration of multi-agent formation; centralized MPC, Distributed MPC; decentralized MPC)
3. Stability analysis
4. Examples, simulations, benchmarks and applications (Flight control experiments of Unmanned Aerial Vehicles; Microgrid energy management; Decentralized supervision and control of water networks)

http://esisar.grenoble-inp.fr/en/academics/decentralized-control-of-complex-systems-5amac554 Grenoble INP Institute of Engineering Univ. Grenoble Alpes Valence – Autres The goal of this course is the optimal constrained control of complex dynamical systems. Elements from control theory and optimization will be merged together in order to provide useful tools which will be further applied to various problems involving multi-agent dynamical systems and interconnected systems in general. Beside classic control challenges related to the centralized vs distributed vs decentralized approaches, the stabilization and the tracking performances of each agent, there are a series of constraints imposed by the interaction with the environment and between themselves (anti-collision, avoidance constraints) as well as solving a collaborative task (e.g., maintain a fixed formation). This is generally the case with vehicles evolving in the same physical space, collaborative robots or drones covering a certain area. Some application benchmarks like control and coordination of multiple drones, energy management in complex energy systems and water distribution networks are discussed. Algorithms and programming, Linear and non-linear control, Optimal and predictive control Ionela PRODAN 2.5 2nd year of master Lecture Course content can evolve at any time before the start of the course. It is strongly recommended to discuss with the course contact about the detailed program.

Please consider the following deadlines for inbound mobility to Grenoble:
– April 1st, 2020 for Full Year (September to June) and Fall Semester (September to January) intake ;
– September 1st, 2020 for Spring Semester intake (February – June). E1 : Oral exam (in English) of 20 minutes for a team of students. E2 : Oral exam (in English) of 20 minutes and a report (in English). international.cic_tsukuba@grenoble-inp.fr

Model based Fault-Diagnosis for Linear Systems

There ar only tree main approaches. The observer-based approach, the parity-space approach, and parameter identification-based methods. In order to optimize FDI indications, the following two step are developped :
The first step is to design a filter based on a model of the plant to generate a vector known as the residual. The residual should ideally be zero (or zero mean) under no-fault conditions.
The second step is to make decisions on whether a fault has occurred. This step is usually done using statistical tools to test if the residual has significantly deviated from zero.

http://esisar.grenoble-inp.fr/en/academics/model-based-fault-diagnosis-for-linear-systems-5amac514 Grenoble INP Institute of Engineering Univ. Grenoble Alpes Valence – Autres Fault detection and isolation (FDI) is a subfield of control engineering which involves monitoring a system, identifying when a fault has occurred, and pinpointing the type of fault and its location. Model-based techniques of fault detection and isolation use a model to investigate/analyze the occurrence of faults. The system model may be mathematical or knowledge-based. We focus our attention on mathematical models. State space representation
Observer design
Identification H2
Algebre of matrice : Rank, ker, eigenvalue … Damien KOENIG 3 2nd year of master Lecture Course content can evolve at any time before the start of the course. It is strongly recommended to discuss with the course contact about the detailed program.

Please consider the following deadlines for inbound mobility to Grenoble:
– April 1st, 2020 for Full Year (September to June) and Fall Semester (September to January) intake ;
– September 1st, 2020 for Spring Semester intake (February – June). Final exam session 1, calculators authorized + 1 handwritten sheet A4 R/V, duration 1h30. international.cic_tsukuba@grenoble-inp.fr

Verification and test of secure circuits

1 Verification and test of critical and secure digital systems: Introduction (Context and issues; Verification vs Test; DO-254 Standard); Hardware systems verification (Simulation; Emulation & Prototyping); Hardware Testing (Defects and faults modeling; Automatic Test Pattern Generation (ATPG); Design for Test and Bult-in-Self-Test (DfT, BIST); Digital board testing (boundary scan).
2 HW/SW Co-Verification & Co-Development: Microelectronic context and trends (SoC, MPSOC); SoC design flow (Hadware/Software Co-design approach; Plateform based design); Introduction to SystemC (Starting with SystemC; Communication channels; New abstraction level: Transaction Level Modeling); Co-verification of Harware and Software systems (Context and definitions; Co-verification approaches based on ISS, BFM, TLM and emulation, criteria to choose a verification approach)
3 Hardware Security: Introduction & cryptography basis; Hardware Vulnerabilities (Fault Attacks; Side Chanel Attacks; Integrated Circuit Trustworthiness (Countermeasures, Security Certification and Case studies) Smartcard; FPGA)
Laboratories:
– VHDL & PSL Simulation with QuestaSim (Mentor GraphiCs)
– Simulation vs “prototyping and integrated logical analyzer” ChipScopePro (Xilinx)
– SRAM embedded memory test on FPGA Spartan 3 card (Xilinx)
– On the use of communication channels (Fifo, Mutex, Semaphore) to model a communication architecture
– SoCLib – “Emulation of a Hardware/Software architecture used for image processing”

http://esisar.grenoble-inp.fr/en/academics/verification-and-test-of-secure-circuits-5amse515 Grenoble INP Institute of Engineering Univ. Grenoble Alpes Valence – Autres At the end of the lecture, the students will be able to verify, to test digital architectures and to analyse the vulnerabilities of embedded systemes. Then, they will be able to perform attacks and to design appropriate countermeasures. Neccessary: Hardware Description Language (HDL, verilog or VHDL) for simulation (testbench) and design, logical synthesis, FPGA, processor architecture (processor models, instruction set architecture), C programming
Ideally: bases of object oriented programming David HELY; Vincent BEROULLE 6 2nd year of master Lecture Course content can evolve at any time before the start of the course. It is strongly recommended to discuss with the course contact about the detailed program.

Please consider the following deadlines for inbound mobility to Grenoble:
– April 1st, 2020 for Full Year (September to June) and Fall Semester (September to January) intake ;
– September 1st, 2020 for Spring Semester intake (February – June). Terminal Exam, First session, written, 3h, only document allowed “syntaxe VHDL”, no calculator
Labs: average of laboratory exams international.cic_tsukuba@grenoble-inp.fr

Innovation Project

Groups consist of at least 4 students following different specialties. Subjects (open and multidisciplinary) are offered by responsible of 5th year module. The job is done by each group independently; groups have access to the SACCO platform and TP classrooms of the school.

http://esisar.grenoble-inp.fr/en/academics/innovation-project-5ampx504 Grenoble INP Institute of Engineering Univ. Grenoble Alpes Valence – Autres Assess and enhance: Skills for the development of multidisciplinary systems; Work in a multidisciplinary team; The ability to innovate; Autonomy David HELY, Etienne PERRET, Vincent BEROULLE, Damien KOENIG 4 2nd year of master Seminar Course content can evolve at any time before the start of the course. It is strongly recommended to discuss with the course contact about the detailed program.

Please consider the following deadlines for inbound mobility to Grenoble:
– April 1st, 2020 for Full Year (September to June) and Fall Semester (September to January) intake ;
– September 1st, 2020 for Spring Semester intake (February – June). P1 = Mean of report evaluation and oral presentation international.cic_tsukuba@grenoble-inp.fr

Dependability and security of computing systems

I. Dependability: Functional and structural redundancy; Structural redundancy techniques (hardware, temporal, information and software); Dependability evaluation techniques: combinatorial and Markov models; The FMEA analysis.
II. Software Testing: Goals and limitations of testing; Testing techniques based on the program structures or on specifications; Regression testing, conformance testing.
III. Industrial Case Study: Software vulnerability: pragmatic dependability of software (IR); Application to aeronautics (EIS)

http://esisar.grenoble-inp.fr/en/academics/dependability-and-security-of-computing-systems-5amse504 Grenoble INP Institute of Engineering Univ. Grenoble Alpes Valence – Autres Students should be able to :
determine safety properties for computing systems;
implement appropriate fault tolerance approaches depending on the nature of studied systems;
evaluate dependability attributes using analytical approaches;
improve system robustness by using fault detection and elimination techniques; – Computer architecture
– Programming skills
– Graph theory basics Ioannis PARISSIS, Oum-El-Kheir AKTOUF, Stéphanie CHOLLET 3 2nd year of master Lecture Course content can evolve at any time before the start of the course. It is strongly recommended to discuss with the course contact about the detailed program.

Real Time kernels

1. Introduction to time constraints and basic definitions.
2. Architecture and functioning of a real time kernel (tasks, interrupts,…)
3. Mutual exclusion: mutex, semaphores, priority inversion (priority inheritance protocols, ceiling priority protocol)
4. Task synchronisation and communication in a real time kernel.
5. Introduction to real time scheduling.
6. Memory management within a real time executive.
7. UML for designing real-time applications

http://esisar.grenoble-inp.fr/en/academics/real-time-kernels-5amos517 Grenoble INP Institute of Engineering Univ. Grenoble Alpes Valence – Autres This course is an introduction to Real Time kernels. At the end of this course, the students will be able to:
understand the main tools of a RT kernel and use them efficiently,
design a real time application using to the best the capabilities of a RT kernel. – Operating System basics
– Linux system programming (processes, signals, pipes, IPC)
– C programming language
– Computer architecture basics (interrupt handling, timer, …) Oum-El-Kheir AKTOUF 3 2nd year of master Lecture Course content can evolve at any time before the start of the course. It is strongly recommended to discuss with the course contact about the detailed program.

E2 : second session exam mark international.cic_tsukuba@grenoble-inp.fr

Modeling, analysis and simulation of dynamical systems

Multiphysics modelling – Systems of conservation laws – Irreversible systems and thermodynamics – Compartment and reactional systems – Discrete dynamical systems

http://esisar.grenoble-inp.fr/en/academics/modeling-analysis-and-simulation-of-dynamical-systems-5amac524 Grenoble INP Institute of Engineering Univ. Grenoble Alpes Valence – Autres Building dynamical models for complex multiphysics systems with the appropriate resolution for predefined control objectives – Analysing internal and input-uotput dynamical properties of these models – Performing numerical time integration (dynamical simulations) for these systems and making connections with discrete time systems and digital control problems. Any introductive course on scientific computing (including time integration of ordinary differential equations)
Any introductive course the state space approach for control systems Laurent LEFEVRE 3 2nd year of master Lecture Course content can evolve at any time before the start of the course. It is strongly recommended to discuss with the course contact about the detailed program.