Output Feedback Control of Nondeterministic Finite–State Systems with Reach–Avoid Specifications

Abstract

In this paper we address control design of nondeterministic 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 [1] 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 [1].