In this paper we address control design of non-deterministic finite state systems with reach-avoid specifications. A general class of controllers is considered, which combines feedforward and output feedback schemes. Results proposed here extend those of  in two directions: first, here we consider reach avoid-specifications instead of simply reachability specifications; second, we propose algorithms exhibiting better time computational complexity than those given in .
File in questo prodotto:
Non ci sono file associati a questo prodotto.