avatar
ESSeNCE Lab
Embedded Software, Sensors, Networks, Cyberphysical, Energy Lab
  • HOME
  • PUBLICATIONS
  • PATENTS
  • PEOPLE
  • TEACHING
Home Teaching Discrete Event Systems Control
Discrete event systems control
Cancel

E E 571 Discrete Event Systems Control

Course catalog page: Course catalog

DES Software and other Resources: Discrete Event Control and Diagnosis Analyzer (DECADA)

Lectures

  • Chapter 1 : Introduction to Formal Language
    • Introduction
    • Examples
      • Manufacturing
      • Traffic Control
      • Elevator
      • Parking Meter
      • Process Control
      • Protocol Conversion
      • Robotics
      • Botton tie-down
    • Language/State-Machine Models of DESs
    • Operations on Languages/State-Machines
    • DFSMs/Regular languages
    • Properties & Algorithms
  • Chapter 3 : Control under Complete Observation
    • Introduction
    • Existence & Test
    • Synthesis
    • Modular Control
  • Chapter 4 : Control under Partial Observation
    • Introduction
    • Existence & Test
    • Synthesis
    • Local Control
  • Real-Time Systems
    • Timed-Automata
    • An Example
    • Emptiness Problem
    • Region Automata
    • Containment Problem
    • Application - Hardware Verification
    • Supervisory Control

Homework Problems

  • Homework 1
  • Homework 2
  • Homework 3
  • Homework 4
  • Homework 5
  • Homework 6
  • Homework 7
  • Homework 8
  • Homework 9

© 2024 Prof. Ratnesh Kumar. Some rights reserved.

Powered by Jekyll with Chirpy theme.

A new version of content is available.