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

Séance de cours

Formulaire non commutatif de Smith

Dans cours

EE-611: Linear system theory

The course covers control theory and design for linear time-invariant systems : (i) Mathematical descriptions of systems (ii) Multivariables realizations; (iii) Stability ; (iv) Controllability and Observability; (v) Minimal realizations and coprime fracti ...

Description

Cette séance de cours couvre le calcul de la forme Smith pour les systèmes non commutatifs, en se concentrant sur des exemples et des algorithmes pour trouver des zéros de découplage entrée-sortie, des pôles et une équivalence stricte du système.

Enseignant·e

Philippe Müllhaupt

Source officielle

Concepts associés (21)

Computation

A computation is any type of arithmetic or non-arithmetic calculation that is well-defined. Common examples of computations are mathematical equations and computer algorithms. Mechanical or electronic devices (or, historically, people) that perform computations are known as computers. The study of computation is the field of computability, itself a sub-field of computer science. The notion that mathematical statements should be ‘well-defined’ had been argued by mathematicians since at least the 1600s, but agreement on a suitable definition proved elusive.

Theory of computation

In theoretical computer science and mathematics, the theory of computation is the branch that deals with what problems can be solved on a model of computation, using an algorithm, how efficiently they can be solved or to what degree (e.g., approximate solutions versus precise ones). The field is divided into three major branches: automata theory and formal languages, computability theory, and computational complexity theory, which are linked by the question: "What are the fundamental capabilities and limitations of computers?".

Géométrie non commutative

La géométrie non commutative, développée par Alain Connes, est une branche des mathématiques, et plus précisément un type de géométrie algébrique distincte de la géométrie algébrique telle qu'on l'entend habituellement (celle développée par Alexandre Grothendieck), car s'intéressant à des objets définis à partir de structures algébriques non commutatives. L'idée principale est qu'un espace au sens de la géométrie usuelle peut être décrit par l'ensemble des fonctions numériques définies sur cet espace.

Model of computation

In computer science, and more specifically in computability theory and computational complexity theory, a model of computation is a model which describes how an output of a mathematical function is computed given an input. A model describes how units of computations, memories, and communications are organized. The computational complexity of an algorithm can be measured given a model of computation. Using a model allows studying the performance of algorithms independently of the variations that are specific to particular implementations and specific technology.

Noncommutative quantum field theory

In mathematical physics, noncommutative quantum field theory (or quantum field theory on noncommutative spacetime) is an application of noncommutative mathematics to the spacetime of quantum field theory that is an outgrowth of noncommutative geometry and index theory in which the coordinate functions are noncommutative. One commonly studied version of such theories has the "canonical" commutation relation: which means that (with any given set of axes), it is impossible to accurately measure the position of a particle with respect to more than one axis.

Afficher plus

Séances de cours associées (29)

Complexité et induction: Algorithmes et preuves

Couvre la complexité, les algorithmes et les preuves du pire cas, y compris l'induction mathématique et la récursion.

Scénarios et algorithmes: MATLAB et Octave Basics MOOC: Matlab et Octave pour débutants

Introduit les bases des scripts et des algorithmes en utilisant MATLAB et Octave pour les débutants.

Algorithmes et croissance des fonctions

Couvre les algorithmes d'optimisation, l'appariement stable et la notation Big-O pour l'efficacité de l'algorithme.

Résoudre les jeux de parité dans la pratique

Explore les aspects pratiques de la résolution des jeux de parité, y compris les stratégies gagnantes, les algorithmes, la complexité, le déterminisme et les approches heuristiques.

Théorie de calcul : Problèmes Définition et comptage (Dnumérabilité)

Explore la théorie du calcul, mettant l'accent sur la définition des problèmes, le comptage et les limites du calcul algorithmique.

Afficher plus

Concepts associés (21)

Computation

Theory of computation

Géométrie non commutative

Model of computation

Noncommutative quantum field theory

Afficher plus