Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Analyse dynamique de programmes

Cours associés (5)

CS-550: Formal verification

We introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to use formal verification tools and explain the theory and ...

ME-221: Dynamical systems

Provides the students with basic notions and tools for the analysis of dynamic systems. Shows them how to develop mathematical models of dynamic systems and perform analysis in time and frequency domains. ...

MICRO-313: Actionneurs et systèmes électromagnétiques I

Le cours aborde les principales méthodes pour l'analyse de systèmes électromécaniques. Une étude des grandeurs physiques magnétiques est suivie par la conversion de l'énergie électrique en énergie mécanique. L'aimant permanent est étudié de manière macrosc ...

EE-477: Multivariable control and coordination systems

The objective is to enable students to design advanced digital solutions for the control and the coordination of distributed dynamic systems, such as production or distribution energy systems, as well as intelligent transportation systems. ...

EE-206: Méthodes de mesure

Ce cours vise à transférer les concepts théoriques et les savoir-faire nécessaires à la réalisation de mesures de bonne qualité. Les contenus méthodologiques et technologiques seront exposés sous forme ex-cathedra et les savoir-faire seront entrainés lors ...