1 Introduction à la théorie des langages formels. - 1. 1 Introduction. - 1. 2 Langages. - 1. 3 Machines à états. - 1. 4 Langages réguliers. - 1. 5 Langages non réguliers. - 1. 6 Exercices. - 1. 7 Remarques bibliographiques. - 2 Introduction à la théorie des treillis. - 2. 1 Ordre partiel et treillis. - 2. 2 Points fixes extrémaux. - 2. 3 Opérations inverses et converses duales co-duales. - 2. 4 Solutions extrémales d'inéquations. - 2. 5 Remarque sur l'opération inverse. - 2. 6 Exercices. - 2. 7 Remarques bibliographiques. - 3 Contrôle sous observation complète. - 3. 1 Introduction. - 3. 2 Contrôle centralisé. - 3. 3 Contrôle modulaire. - 3. 4 Exercices. - 3. 5 Remarques bibliographiques. - 4 Contrôle sous observation partielle. - 4. 1 Introduction. - 4. 2 Contrôle centralisé. - 4. 3 Contrôle modulaire. - 4. 4 Contrôle décentralisé. - 4. 5 Exercices. - 4. 6 Remarques bibliographiques. - 5 Contrôle du comportement non terminal. - 5. 1 Introduction. - 5. 2 Machine de Buchi comme accepteur pour les langages ?. - 5. 3 Contrôlabilité ?. - 5. 4 Exercices. - 5. 5 Remarques bibliographiques. - Références. - Index 141. Langue : anglais