Course Handouts

• Course syllabus

• Observability

• On Complexity of some supervisory control problems

• Stability

• Predicate Transformers

• Predicate Transformers - Junctivity

• Supervisory control using Predicate Transformers

• Synthesis of controller

• Software for supervisory control