(Created page with "==FSA composition and supervisor design== Due date: 30.11.2018 In this assignment you will # perform parallel composition of two automata # translate rules into FSA # constru...") |
(→FSA composition and supervisor design) |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
==FSA composition and supervisor design== | ==FSA composition and supervisor design== | ||
| − | Due date: | + | Due date: 6.11.2020 |
In this assignment you will | In this assignment you will | ||
| Line 9: | Line 9: | ||
'''There is no need to do more than you're asked!! No need to write up a report or enclose your work in a nice binding.''' | '''There is no need to do more than you're asked!! No need to write up a report or enclose your work in a nice binding.''' | ||
| + | |||
| + | *[http://ccy.zcu.cz/images/6/6b/Assignment_1.pdf Assignment 1] | ||
Latest revision as of 08:20, 23 October 2020
FSA composition and supervisor design
Due date: 6.11.2020
In this assignment you will
- perform parallel composition of two automata
- translate rules into FSA
- construct observer automata
- test controllability and observability
There is no need to do more than you're asked!! No need to write up a report or enclose your work in a nice binding.